首页> 外文OA文献 >Search-based Mutation Testing for Simulink Models

【2h】

Search-based Mutation Testing for Simulink Models

机译：simulink模型的基于搜索的变异测试

页面导航

著录项
相似文献
相关主题

著录项

作者
Yuan Zhan; John A. Clark;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A search-based framework for automatic testing of MATLAB/Simulink models [J] . Yuan Zhan, John A. Clark Journal of systems and software . 2008,第2期

机译：一个基于搜索的框架，用于自动测试MATLAB / Simulink模型
2. Parallel Mutant Execution Techniques in Mutation Testing Process for Simulink Models [J] . Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung Journal of Telecommunications and Information Technology . 2017,第4期

机译：Simulink模型的突变测试过程中的并行突变执行技术
3. A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis [J] . Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung The Journal of Systems and Software . 2016,第octa期

机译：基于突变分析的Simulink模型测试数据生成的新启发式元启发式适应度函数
4. Search-based mutation testing for Simulink models [C] . Yuan Zhan, John A. Clark Conference on Genetic and evolutionary computation . 2005

机译：Simulink模型的基于搜索的变异测试
5. A Framework for the Automatic Verification of Discrete-Time Matlab Simulink Models Using Boogie =Ein Framework für die automatische Verifikation von zeitdiskreten MATLAB Simulink Modellen mit Boogie [D] . Reicherdt, Robert. 2015

机译：使用Boogie =自动验证离散时间Matlab Simulink模型的框架，用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
6. A Model Independent S/W Framework for Search-Based Software Testing [O] . Jungsup Oh, Jongmoon Baik, Sung-Hwa Lim -1

机译：基于模型的软件框架用于基于搜索的软件测试
7. Improving Fault Localization for Simulink Models using Search-Based Testing and Prediction Models [O] . Liu, Bing, Lucia, Lucia, Nejati, Shiva, 2017

机译：使用基于搜索的测试和预测模型改进simulink模型的故障定位

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号