北京航空航天大学学报 ›› 2015, Vol. 41 ›› Issue (3): 391-397.doi: 10.13700/j.bh.1001-5965.2014.0211

• 论文 • 上一篇    下一篇

基于程序变异的Simulink模型测试方法

周艺斌, 殷永峰, 李骁丹, 王明威   

  1. 北京航空航天大学 可靠性与系统工程学院, 北京 100191
  • 收稿日期:2014-04-17 出版日期:2015-03-20 发布日期:2015-04-02
  • 通讯作者: 殷永峰(1978—),男,山东潍坊人,副教授,yyf@buaa.edu.cn,主要研究方向为软件可靠性工程. E-mail:yyf@buaa.edu.cn
  • 作者简介:周艺斌(1990—),男,山西运城人,博士生,zhouyibin@buaa.edu.cn
  • 基金资助:
    航空科学基金资助项目(20095551025); 中央高校基本科研业务费专项资金资助项目(YWF-11-03-Q-114)

Simulink model testing method based on program mutation

ZHOU Yibin, YIN Yongfeng, LI Xiaodan, WANG Mingwei   

  1. School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
  • Received:2014-04-17 Online:2015-03-20 Published:2015-04-02

摘要: 为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.

关键词: 软件测试, 程序变异, Simulink模型测试, 测试用例生成, 模拟退火算法

Abstract: In order to solve the current problems (expensive testing cost and low efficiency of test case generation) in mutation test for Simulink models, a mutation testing process and an optimized set of mutation operators were proposed for Simulink models based on program mutation according to the current mutation operators for the Simulink models. Experiments show that this set of mutation operators can effectively reduce the generation number of mutation models without prejudice to the mutation score of testing case set, thus it will effectively save the testing cost. Then a search-based test case generation method for Simulink models mutation testing was described. The test case generation problem was transformed into the objective function minimization problem, and the test cases which can kill the mutation models were ultimately obtained through the optimization of objective function by algorithm of simulated annealing. Finally, the application of a typical case for the method verified the correctness and effectiveness.

Key words: software testing, program mutation, Simulink model testing, test case generation, algorithm of simulated annealing

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发