论文部分内容阅读
软件测试过程是软件生命周期中提高软件质量的重要阶段, 但无论结构测试还是接收测试(AT),都很难测试程序的所有分枝.对于容错软件的异常处理和故障恢复代码的测试尤其困难,使得这些代码中可能包含软件故障,反而成为软件质量的隐患.为此采用程序变异的方法对被测软件进行故障注入,用强制的方法执行被测分支,从而提高软件的测试覆盖率.