SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
复制标题
SimCoTest：Simulink/Stateflow 控制器的测试套件生成工具
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Thomas Bruckmann
中科院分区：
文献类型：
--
作者：
Reza Matinnejad;S. Nejati;L. Briand;Thomas Bruckmann
我们提出了SimCoTest，一个为Simulink/ statflow控制器生成具有高故障显示能力的小测试套件的工具。SimCoTest使用元启发式搜索(1)最大化输出信号中特定故障模式存在的可能性（基于故障的测试生成），以及(2)最大化输出信号形状的多样性（输出多样性测试生成）。SimCoTest已经在工业Simulink模型上进行了评估，并与similink设计验证器（SLDV）进行了系统比较，SLDV是一种替代的商业Simulink测试工具。结果表明，SimCoTest的故障显示能力优于SLDV。此外，与SLDV相比，SimCoTest完全适用于Simulink/状态流模型。描述SimCoTest主要特性的视频可在：https://youtu.be/YnXgveiGXEA获得
We present SimCoTest, a tool to generate small test suites with high fault revealing ability for Simulink/Stateflow controllers. SimCoTest uses meta-heuristic search to (1) maximize the likelihood of presence of specific failure patterns in output signals (failure-based test generation), and to (2) maximize diversity of output signal shapes (output diversity test generation). SimCoTest has been evaluated on industrial Simulink models and has been systematically compared with Simuilnk Design Verifier (SLDV), an alternative commercial Simulink testing tool. Our results show that the fault revealing ability of SimCoTest outperforms that of SLDV. Further, in contrast to SLDV, SimCoTest is applicable to Simulink/Stateflow models in their entirety. A video describing the main features of SimCoTest is available at: https://youtu.be/YnXgveiGXEA
影响因子：
7.4
作者：
Barr, Earl T.;Harman, Mark;Yoo, Shin
通讯作者：
Yoo, Shin