Research on Highly Reliable Agile Formal Engineering Methods

高可靠敏捷形式化工程方法研究

• 批准号: 26240008
• 负责人: LIU Shaoying
• 金额: $ 18.3万
• 依托单位: Hosei University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-06-27 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26240008/
• 关键词: アジャイル開発手法; 形式工学手法; ハイブリッド仕様; 仕様アニメーション; ソフトウェアテスト; ソフトウェア検証; ソフトウェア品質保証; 高信頼ソフトウェア開発; アジャイル開発; テストに基づく形式検証; モデル検査; 形式仕様に基づくテスト; 形式仕様記述手法; 形式仕様; 形式仕様アニメーション; 形式仕様作成の監視; 形式仕様作成の予測; アニメーションデータの自動生成; データ項目のアニメーション; データ項目のGUI表現; 情報基礎; 情報シス

项目成果

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution

TBFV-SE：基于测试的带有符号执行的形式验证

• DOI: 10.1109/qrs.2018.00019
• 发表时间: 2018
• 期刊: proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018)
• 作者: Rong Wang;Shaoying Liu
• 通讯作者: Shaoying Liu

Automated Visualization of Input / Output for Processes in SOFL Formal Specifications

SOFL 正式规范中流程的输入/输出的自动可视化

• 发表时间: 2018
• 期刊: Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)
• 作者: Yu Chen;Shaoying Liu
• 通讯作者: Shaoying Liu

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

证明给我看！

• 发表时间: 2018
• 期刊: ACM Transactions on Software Engineering and Methodology
• 影响因子: 4.4
• 作者: Adrian Riesco;Kazuhiro Ogata
• 通讯作者: Kazuhiro Ogata

A Software Tool to Support the "Vibration" Method

支持“振动”方法的软件工具

• 发表时间: 2018
• 期刊: Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
• 作者: Pan Zhao;Shaoying Liu
• 通讯作者: Shaoying Liu

A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions

公平条件下活性模型检查的分而治之方法

• 发表时间: 2017
• 期刊: Frontiers of Computer Science (FCS)
• 作者: Hibiya S;Tsuchiya K;Shirasaki T;Fukushima K;Oshima S;Okamoto R;Nakamura T;Watanabe M;黒崎知博;Kazuhiro Ogata
• 通讯作者: Kazuhiro Ogata