论文部分内容阅读
路径覆盖测试是基于白盒的软件测试中覆盖率最高的测试方法;为了实现复杂程序的全路径覆盖测试,提出了一种基于谓词的全路径覆盖软件测试方法;首先研究了谓词覆盖的基本理论,然后对移除谓词后的孤立链进行测试,根据集成测试的观点,将谓词和对应孤立链集成以实现全路径覆盖,同时在算法中加入基本路径覆盖以实现对程序主要路径的重点测试;应用结果表明,该方法实用、高效,具有一定的推广价值。