基本路径测试用例自动生成的方法研究

作者：孙晶; 李硕; 赵会群基本路径测试测试用例生成编译技术规约自动提取条件归约组合优化

摘要：基本路径测试是一个传统的代码分析与测试技术，被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例，没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术，并给出相应的算法。实验结果证明了提出算法的有效性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社