期刊名称：International Journal of Artificial Intelligence & Applications (IJAIA)
印刷版ISSN：0976-2191
电子版ISSN：0975-900X
出版年度：2017
卷号：8
期号：4
页码：41
DOI：10.5121/ijaia.2017.8404
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：Test case generation techniques are successfully employed to generate test cases from a formal model. Aproblem is that as the model evolves, test suites tend to grow in size, making it too costly to execute entiretest suites. This paper aims to propose a practical approach to reduce the size of test suites for modifiedSimulink/Stateflow (SL/SF) model, which is popularly used for modeling software behavior in manyindustries like automobile manufacturers. The model for describing a system is frequently modified until itis fixed. The proposed technique is capable of extracting the minimized sized test suite in terms of testcoverage, by taking into account both the modified and the affected portion of revised SL/SF model. Tworeal models for the ECUs deployed in a commercial car are used for an empirical study.
关键词：Test Suite Reduction; Simulink/Stateflow Model; Test Case Generation; Model Based Testing
