论文部分内容阅读
蜕变测试时经常会出现蜕变关系检错能力低下的情况．基于命题逻辑的推理规则，提出了复合蜕变关系的构造方法，该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系．复合蜕变关系可以把原关系的优点综合起来，具有更强的检错能力．此外，由于将蜕变关系复合后关系数量减少，所以当使用它测试程序时，生成测试用例的数量会大幅度降低．通过2个实例对复合蜕变关系的测试性能进行研究，实验结果表明复合关系的性能主要取决于构成它的核心蜕变关系，以及关系复合的顺序．使用复合蜕变关系可以极大地提高测试效率．