基于合约变异的构件软件测试技术  

Contract-based Mutation Component Software Testing Techniques

作　　者：刘国丽[1] 张丁丁[1] 张斌[1] 

机构地区：[1]河北工业大学计算机科学与软件学院,天津300401

出　　处：《计算机与现代化》2011年第12期63-66,共4页Computer and Modernization

摘　　要：介绍基于规约说明的变异算法在测试数据生成中的应用思想,分析不同变异算子与故障类别之间的蕴含关系,把这种算法应用到构件合约变异中,提高了测试数据的有效性,简化了最终测试数据集,克服了传统构件合约变异测试产生大量变异体带来的测试低效性。The application ideas of mutation algorithm to generate test data is presented, and the different mutation operators and the fault classes in the relationship between implicitness are analyzed. Applying this algorithm to the contract-based mutation of components, the validity of test data is improved, and the final test data are simplified. That＇ s overcome inefficiencies of traditional contract for testing components which produces a large number of contract mutants.

关 键 词：规格说明 构件合约 变异算子 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]