中国学术期刊网络出版总库
  关闭
基于程序变异的Simulink模型测试方法  
   推荐 CAJ下载 PDF下载
【英文篇名】 Simulink model testing method based on program mutation
【下载频次】 ★★★☆
【作者】 周艺斌; 殷永峰; 李骁丹; 王明威;
【英文作者】 ZHOU Yibin; YIN Yongfeng; LI Xiaodan; WANG Mingwei; School of Reliability and Systems Engineering; Beijing University of Aeronautics and Astronautics;
【作者单位】 北京航空航天大学可靠性与系统工程学院;
【文献出处】 北京航空航天大学学报 , Journal of Beijing University of Aeronautics and Astronautics, 编辑部邮箱 2015年 03期  
期刊荣誉:中文核心期刊要目总览  ASPT来源刊  CJFD收录刊
【中文关键词】 软件测试; 程序变异; Simulink模型测试; 测试用例生成; 模拟退火算法;
【英文关键词】 software testing; program mutation; Simulink model testing; test case generation; algorithm of simulated annealing;
【摘要】 为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.
【英文摘要】 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 c...
【基金】 航空科学基金资助项目(20095551025); 中央高校基本科研业务费专项资金资助项目(YWF-11-03-Q-114)
【更新日期】 2015-04-14
【分类号】 TP311.53
【正文快照】 随着模型驱动软件设计思想(MBD)的广泛应用,软件开发的重心已由传统的代码设计转移到建模及模型的转换上[1].如果能在完成软件初步设计的同时,及早发现并修复模型中的错误,不仅能缩短后期的代码测试周期,还能提高模型的可靠性,改善软件产品的质量.因此,越来越多的研究开始关注?

xxx
【读者推荐文章】中国期刊全文数据库 中国优秀硕士学位论文全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者,可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献,使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献,从上层导航可以浏览更多相关领域的文献。

工业技术
  自动化技术、计算机技术
   计算技术、计算机技术
    计算机软件
     程序设计、软件工程
      软件工程
       软件维护
  
 
  CNKI系列数据库编辑出版及版权所有:中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有:清华同方知网(北京)技术有限公司
其它数据库版权所有:各数据库编辑出版单位(见各库版权信息)
京ICP证040431号    互联网出版许可证 新出网证(京)字008号