计算机应用研究2012,Vol.29Issue(7):2527-2530,4.DOI:10.3969/j.issn.1001-3695.2012.07.033
基于搜索的Simulink测试数据生成
Search-based test-data generation for Simulink
摘要
Abstract
In order to apply model-based testing, this paper focused on search-based approach of Simulink test-data generation. This method firstly constructed the objective function using the principle of cost function which met the requirements of particular target constraint. According to the complexity of Simulink model, it calculated the optimal value of the target function through the algorithm of simulated annealing and searchet the test-data which met the target constraint. And put forward a test-data gen-eration framework which took loose constraints and tense constraints into consideration and illustrated the usage of this framework through a case study. Finally, it shows that search-based test-data generation is useful for Simulink model testing.关键词
测试数据生成/Simulink测试/基于搜索的测试/基于模型的测试/模拟退火Key words
test-data generation/ Simulink testing/ search-based testing/ model-based testing/ simulated annealing分类
信息技术与安全科学引用本文复制引用
邓绍鹏,杨志义,王宇英..基于搜索的Simulink测试数据生成[J].计算机应用研究,2012,29(7):2527-2530,4.基金项目
国家"863"计划资助项目(2011AAO10101) (2011AAO10101)
西安市科技计划项目(CXY1008) (CXY1008)