Mutation-Based Test Case Generation for Simulink Models
Mutation-Based Test Case Generation for Simulink Models
复制标题
Simulink 模型基于突变的测试用例生成
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Georg Weissenbacher
中科院分区：
文献类型：
--
作者：
Angelo Brillout;Nannan He;M. Mazzucchi;D. Kroening;M. Purandare;Philipp Rümmer;Georg Weissenbacher
Matlab/Simulink语言已经成为航空电子、汽车、铁路和过程自动化等领域建模和实现控制软件的标准形式。这类软件通常对安全至关重要，而漏洞可能会给相关人员和材料带来灾难性的后果。我们定义了一种验证方法，通过自动生成测试用例来评估Simulink程序的正确性。在基于故障和突变的测试风格中，测试套件对Simulink程序的覆盖范围是根据检测注入的故障来定义的。使用有界模型检查技术，我们能够有效地自动计算给定故障模型的测试套件。讨论了几种优化方法，使该方法适用于实际的Simulink程序和故障模型，并获得准确的覆盖度量。
The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means of automated test-case generation. In the style of fault- and mutation-based testing, the coverage of a Simulink program by a test suite is defined in terms of the detection of injected faults. Using bounded model checking techniques, we are able to effectively and automatically compute test suites for given fault models. Several optimisations are discussed to make the approach practical for realistic Simulink programs and fault models, and to obtain accurate coverage measures.