留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

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

周艺斌, 殷永峰, 李骁丹, 等 . 基于程序变异的Simulink模型测试方法[J]. 北京航空航天大学学报, 2015, 41(3): 391-397. doi: 10.13700/j.bh.1001-5965.2014.0211
引用本文: 周艺斌, 殷永峰, 李骁丹, 等 . 基于程序变异的Simulink模型测试方法[J]. 北京航空航天大学学报, 2015, 41(3): 391-397. doi: 10.13700/j.bh.1001-5965.2014.0211
ZHOU Yibin, YIN Yongfeng, LI Xiaodan, et al. Simulink model testing method based on program mutation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(3): 391-397. doi: 10.13700/j.bh.1001-5965.2014.0211(in Chinese)
Citation: ZHOU Yibin, YIN Yongfeng, LI Xiaodan, et al. Simulink model testing method based on program mutation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(3): 391-397. doi: 10.13700/j.bh.1001-5965.2014.0211(in Chinese)

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

doi: 10.13700/j.bh.1001-5965.2014.0211
基金项目: 航空科学基金资助项目(20095551025); 中央高校基本科研业务费专项资金资助项目(YWF-11-03-Q-114)
详细信息
    作者简介:

    周艺斌(1990—),男,山西运城人,博士生,zhouyibin@buaa.edu.cn

    通讯作者:

    殷永峰(1978—),男,山东潍坊人,副教授,yyf@buaa.edu.cn,主要研究方向为软件可靠性工程.

  • 中图分类号: TP311

Simulink model testing method based on program mutation

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

     

  • [1] Molina J M, Pan X,Grimm C,et al.A framework for model-based design of embedded systems for energy management[C]//Modeling and Simulation of Cyber-Physical Energy Systems(MSCPES).Piscataway,NJ:IEEE,2013:1-6.
    [2] He N, Rümmer P,Kroening D.Test-case generation for embedded Simulink via formal concept analysis[C]//Proceedings of the 48th Design Automation Conference.New York:ACM,2011:224-229.
    [3] DeMillo R A, Lipton R J,Sayward F G.Hints on test data selection:help for the practicing programmer[J].Computer,1978,11(4): 34-41.
    [4] Jia Y, Harman M.An analysis and survey of the development of mutation testing[J].IEEE Transactions on Software Engineering,2011,37(5):649-678.
    [5] King K N, Offutt A J.A fortran language system for mutation-based software testing[J].Software:Practice and Experience,1991,21(7):685-718.
    [6] Mathur A P. Performance,effectiveness,and reliability issues in software testing[C]//15th Annual International Computer Software and Applications Conference.New York:IEEE,1991:604-605.
    [7] Offutt A J, Rothermel G,Zapf C.An experimental evaluation of selective mutation[C]//Proceedings of the 15th International Conference on Software Engineering.Piscataway,NJ:IEEE Computer Society Press,1993:100-107.
    [8] Offutt A J, Lee A,Rothermel G,et al.An experimental determination of sufficient mutant operators[J].ACM Transactions on Software Engineering and Methodology(TOSEM),1996,5(2):99-118.
    [9] Barbosa E F, Maldonado J C,Vincenzi A M R.Toward the determination of sufficient mutant operators for C[J].Software Testing,Verification and Reliability,2001,11(2):113-136.
    [10] Binh N T. Mutation operators for Simulink models[C]//Knowledge and Systems Engineering(KSE),2012 Fourth International Conference on.Piscataway,NJ:IEEE,2012:54-59.
    [11] Zhan Y, Clark J.Search based automatic test-data generation at an architectural level[C]//Genetic and Evolutionary Computation-GECCO 2004.Berlin:Springer,2004:1413-1424.
    [12] 邓绍鹏,杨志义, 王宇英.基于搜索的Simulink测试数据生成[J].计算机应用研究,2012,29(7):2527-2530. Deng S P,Yang Z Y,Wang Y Y.Search-based test-data generation for Simulink[J].Application Research of Computers,2012,29(7):2527-2530(in Chinese).
    [13] Bottaci L. Predicate expression cost functions to guide evolutionary search for test data[C]//Genetic and Evolutionary Computation—GECCO 2003.Berlin:Springer,2003:2455-2464.
    [14] Zhan Y, Clark J A.Search-based mutation testing for Simulink models[C]//Proceedings of the 2005 Conference on Genetic and Evolutionary Computation.New York:ACM,2005:1061-1068.
    [15] McMinn P. Search-based software test data generation:a survey[J].Software Testing,Verification and Reliability,2004,14(2): 105-156.
  • 加载中
计量
  • 文章访问数:  1436
  • HTML全文浏览量:  41
  • PDF下载量:  663
  • 被引次数: 0
出版历程
  • 收稿日期:  2014-04-17
  • 网络出版日期:  2015-03-20

目录

    /

    返回文章
    返回
    常见问答