Hybrid Testing Environment of Execution Testing and Model Checking for CPS

CPS执行测试和模型检查的混合测试环境

• 批准号: 16K00100
• 负责人: Kushiro Noriyuki
• 金额: $ 2.83万
• 依托单位: Kyushu Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00100/
• 关键词: テストケース自動生成; テスト自動実行・評価; モデル検査・実行テストの融合; 仕様書論理構造の可視化; 機能・品質テスト; 決定・非決定的テスト; ホワイト・ブラックボックステスト; レビュー支援; モデル検査; 実行テスト; 試験ケース記述言語; テストケースの自動生成; テスト自動実行; 品質試験のパターン化; モデル検査機; モデル検査機・実行テストの融合; システム評価環境; 実行検査; Cyber Physical System; オープンプラットホーム

项目成果

自然言語仕様書からの試験ケース生成のための条件・動作文の同定手法

从自然语言规范生成测试用例的条件/动作语句的识别方法

• 发表时间: 2018
• 作者: 村上響一;青山裕介;村上神龍;久代紀之;牧茂;田畑一政;神代勉;中村潤
• 通讯作者: 中村潤

順序入れ替えテストケースの蓄積を実現するテスト環境

实现重新排序的测试用例累积的测试环境

• 发表时间: 2018
• 作者: 青山裕介;黒岩丈瑠;久代紀之
• 通讯作者: 久代紀之

自然言語で記載された仕様書からのテストケース自動生成アルゴリズムの構築

根据自然语言编写的规范构建自动测试用例生成算法

• 发表时间: 2019
• 作者: 村上響一;青山裕介;村上神龍;久代紀之
• 通讯作者: 久代紀之

自然言語で記載された仕様書からのテストケース生成支援

支持从用自然语言编写的规范生成测试用例

• 发表时间: 2019
• 作者: 村上神龍;村上響一;青山裕介;久代紀之
• 通讯作者: 久代紀之

自然言語仕様書からのテストケース設計プロセスの定義とプロセスを支援する支援ツールの開発

从自然语言规范定义测试用例设计过程并开发支持该过程的支持工具

• 发表时间: 2018
• 作者: 久代紀之;青山裕介;村上響一
• 通讯作者: 村上響一