会议专题

变异测试--一种面向缺陷的软件测试方法

软件测试是保证软件质量的重要手段。变异测试是一种行之有效的软件测试方法,它系统地模拟软件中的各种缺陷,然后构造能够发现这些缺陷的测试数据集。本文简要介绍变异测试的基本原理,分析软件故障模型与变异算子的关系,讨论接口变异测试、面向对象软件的变异测试和合约变异测试等方法,并且探讨变异测试中测试数据自动生成的方法,指出变异测试进一步的研究方向。

变异测试 测试数据 充分性准则 软件缺陷 软件测试

单锦辉 李炳斌 孙萍

兰州市27支局15信箱14号,兰州 732750

国内会议

第十二届全国容错计算学术会议

北京

中文

80-85

2007-07-15(万方平台首次上网日期,不代表论文的发表时间)