期刊
JOURNAL OF SYSTEMS AND SOFTWARE
卷 81, 期 2, 页码 262-285出版社
ELSEVIER SCIENCE INC
DOI: 10.1016/j.jss.2007.05.039
关键词
MATLAB/Simulink; test-data generation; automation structural coverage; mutation testing; state problem; tracing and deducing; test-set reduction
资金
- EPSRC [EP/D050618/1] Funding Source: UKRI
- Engineering and Physical Sciences Research Council [EP/D050618/1] Funding Source: researchfish
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at higher levels of abstraction. In this paper the application of such approaches at the higher levels of abstraction offered by MATLAB/Simulink models is investigated and a wide-ranging framework for test-data generation and management is presented. Model-level analogues of code-level structural coverage criteria are presented and search-based approaches to achieving them are described. The paper also describes the first search-based approach to the generation of mutant-killing test data, addressing a fundamental limitation of mutation testing. Some problems remain whatever the level of abstraction considered. In particular, complexity introduced by the presence of persistent state when generating test sequences is as much a challenge at the Simulink model level as it has been found to be at the code level. The framework addresses this problem. Finally, a flexible approach to test sub-set extraction is presented, allowing testing resources to be deployed effectively and efficiently. (c) 2007 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据