基于谓词的全路径覆盖软件测试方法研究

All Path Coverage Software Testing Technique Based on Predication

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

Path coverage testing is the top coverage testing technique in white box testing. In order to realize all path coverage test of complex program, an all path coverage software testing technique is proposed based on predication. Firstly the basic theory of predication coverage is researched. Then the test of isolated chain is tested after the predication has been moved out. From the point of integration testing, all path coverage can be realized through the integration of predication and the isolated chains. Meanwhile, the basis path coverage is added into the algorithm so as to test the main path of the program. The applicable example shows that the algorithm is practical, high efficiency and worthy of using abroad.