The ALL-DU-PATHS data flow rule is introduced, and the Warshall method is used to check the feasibility and mensurability of DU-pair in the algorithm.
该算法采用ALL-DU-PATHS覆盖准则,应用Warshall算法来计算判定DU对的可行可测性,通过优化选取覆盖DU对的测试序列,给出了基于测试序列的测试数据自动生成的方法,最后通过实例和实验进行了验证。
