收藏本站
《北京航空航天大学学报》 2015年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 邓绍鹏;杨志义;王宇英;;基于搜索的Simulink测试数据生成[J];计算机应用研究;2012年07期
【共引文献】
中国期刊全文数据库 前6条
1 刘辉;金茂忠;;基于全数字仿真的嵌入式软件测试技术[J];北京航空航天大学学报;2014年03期
2 贺韬;王欣明;周晓聪;李文军;张震宇;张成志;;一种基于程序变异的软件错误定位技术[J];计算机学报;2013年11期
3 孙昌爱;王冠;;MujavaX:一个支持非均匀分布的变异生成系统[J];计算机研究与发展;2014年04期
4 杜元柱;黄松;惠战伟;陆丽丽;;基于变异分析的蜕变测试充分性条件[J];计算机应用;2014年S1期
5 陈军成;薛云志;赵琛;;一种基于事件处理函数的GUI测试方法[J];软件学报;2013年12期
6 郑黎晓;王成;常青玲;;一种基于模式覆盖的XML文档自动生成方法[J];小型微型计算机系统;2015年01期
中国博士学位论文全文数据库 前2条
1 张岩;路径覆盖测试数据进化生成理论与方法[D];中国矿业大学;2012年
2 于倩;基于EPMM的软件演化过程自动化方法的研究[D];云南大学;2014年
中国硕士学位论文全文数据库 前4条
1 刘哲;基于扩展有色Petri网的组合Web服务的在线测试[D];中南大学;2013年
2 陈蕾蕾;基于等价类划分的蜕变测试方法优化[D];华东理工大学;2014年
3 钟超群;基于语句占优关系的软件测试数据生成及缺陷检测[D];中国矿业大学;2014年
4 严满根;基于OWL-S文档变异的Web服务测试用例生成[D];南京大学;2012年
【二级参考文献】
中国期刊全文数据库 前1条
1 赵庆兰;艾丽蓉;刘西洋;王斌;刘鹤辉;;基于进化算法的软件测试数据生成的自动化[J];计算机测量与控制;2006年10期
【相似文献】
中国期刊全文数据库 前10条
1 贺韬;王欣明;周晓聪;李文军;张震宇;张成志;;一种基于程序变异的软件错误定位技术[J];计算机学报;2013年11期
2 徐丽;;基于程序变异的故障注入及故障规则库的设计[J];中国科技信息;2010年22期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前2条
1 王珏;韦群;孟祥航;;程序变异在软件可靠性评估中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
2 韦群;王珏;;基于程序变异技术的分布式软件可靠性估计[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国重要报纸全文数据库 前1条
1 陈阳 北京;对“欣弗”事件应进行全方位的制度性反思[N];中华新闻报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026