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

摘要：

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

关键词：基本路径测试、测试用例生成、编译技术、规约自动提取、条件归约组合优化

所属期刊栏目：54

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61370051

在线出版日期：2018-11-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：48-53