Search-based mutation testing for Simulink models

机译：Simulink模型的搜索突变测试

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that mutation testing is highly effective. This paper describes how search-based automatic test-data generation methods can be used to find mutation adequate test-sets for Matlab/Simulink models.

机译：高级模型的测试数据的高效和有效生成对先进现代软件工程至关重要。实证研究表明，突变检测非常有效。本文介绍了搜索的自动测试数据生成方法如何用于找到 Matlab / Simulink 模型的突变足够的测试集。

著录项

来源
《Conference on Genetic and evolutionary computation》|2005年||共8页
会议地点
作者
Yuan Zhan; John A. Clark;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类生物工程学（生物技术）;
关键词
test-data generation;

机译：测试数据生成;

相似文献

外文文献
中文文献
专利

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. Search-based Mutation Testing for Simulink Models [O] . Yuan Zhan, John A. Clark 2005

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

Search-based mutation testing for Simulink models

摘要

著录项

相似文献

相关主题

期刊订阅