Hybrid Testing Environment of Execution Testing and Model Checking for CPS
Hybrid Testing Environment of Execution Testing and Model Checking for CPS
CPS执行测试和模型检查的混合测试环境
批准号：
16K00100
负责人：
Kushiro Noriyuki
金额：
$2.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
自然言語仕様書からの試験ケース生成のための条件・動作文の同定手法
从自然语言规范生成测试用例的条件/动作语句的识别方法
从自然语言规范生成测试用例的条件/动作语句的识别方法
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[村上響一, 青山裕介, 村上神龍, 久代紀之, 牧茂, 田畑一政, 神代勉, 中村潤]
通讯作者：
中村潤
順序入れ替えテストケースの蓄積を実現するテスト環境
实现重新排序的测试用例累积的测试环境
实现重新排序的测试用例累积的测试环境
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[青山裕介, 黒岩丈瑠, 久代紀之]
通讯作者：
久代紀之
自然言語で記載された仕様書からのテストケース自動生成アルゴリズムの構築
根据自然语言编写的规范构建自动测试用例生成算法
根据自然语言编写的规范构建自动测试用例生成算法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[村上響一, 青山裕介, 村上神龍, 久代紀之]
通讯作者：
久代紀之
自然言語で記載された仕様書からのテストケース生成支援
支持从用自然语言编写的规范生成测试用例
支持从用自然语言编写的规范生成测试用例
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[村上神龍, 村上響一, 青山裕介, 久代紀之]
通讯作者：
久代紀之
自然言語仕様書からのテストケース設計プロセスの定義とプロセスを支援する支援ツールの開発
从自然语言规范定义测试用例设计过程并开发支持该过程的支持工具
从自然语言规范定义测试用例设计过程并开发支持该过程的支持工具
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[久代紀之, 青山裕介, 村上響一]
通讯作者：
村上響一
共 20 条