An integrated test generation tool for enhanced coverage of Simulink/Stateflow models
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models
复制标题
用于增强 Simulink/Stateflow 模型覆盖范围的集成测试生成工具
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
S. Ramesh
中科院分区：
文献类型：
--
作者：
P. Peranandam;Sachin Raviram;M. Satpathy;Anand Yeolekar;Ambar A. Gadkari;S. Ramesh
Simulink/Stateflow (SL/SF) 是汽车和航空航天行业控制系统开发的主要建模符号。在基于模型的测试中，从设计模型派生的测试用例用于显示模型代码一致性。 ISO 26262 等安全标准建议进行基于模型的测试，以显示软件与相应模型的一致性。从我们对各种测试生成技术的实验中，我们发现它们的覆盖能力本质上是互补的。考虑到这一观察，我们开发了一种名为 SmartTestGen 的新工具，它集成了不同的测试生成技术。在本文中，我们讨论 SmartTestGen 和所使用的不同测试生成技术 - 随机测试、约束求解、模型检查和启发式。我们对 20 个生产质量的 SL/SF 模型进行了实验，并将我们的工具的性能与两个著名的商业工具的性能进行了比较。
Simulink/Stateflow (SL/SF) is the primary modeling notation for the development of control systems in automotive and aerospace industries. In model based testing, test cases derived from a design model are used to show model-code conformance. Safety standards such as ISO 26262 recommend model based testing to show the conformance of a software with the corresponding model. From our experiments with various test generation techniques, we have observed that their coverage capabilities are complementary in nature. With this observation in mind, we have developed a new tool called SmartTestGen which integrates different test generation techniques. In this paper, we discuss SmartTestGen and the different test generation techniques utilized - random testing, constraint solving, model checking and heuristics. We experimented with 20 production-quality SL/SF models and compared the performance of our tool with that of two prominent commercial tools.