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表現; 情報基礎; 情報シス

项目成果

Agile Formal Engineering Method for Software Productivity and Reliability

• DOI: 10.1145/3290621.3290634
• 发表时间: 2018-10
• 作者: Shaoying Liu

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

Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation

• DOI: 10.1109/isssr.2016.010
• 发表时间: 2016-10
• 期刊: 2016 International Symposium on System and Software Reliability (ISSSR)
• 作者: Shaoying Liu

Integrating Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance

将规范动画与基于规范的程序测试和检查相结合以保证软件质量

• 发表时间: 2015
• 作者: Hashima;A.;Y. Fukahata;C. Hashimoto;and M. Matsu’ura;堀江康晃，藤代一成;Kazuo Okanoya;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