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

Research on automatic generation of basic path test cases

作　　者：孙晶 李硕 赵会群 SUN Jing;LI Shuo;ZHAO Huiqun(College of Computer Science,North China University of Technology,Beijing 100144,China)

机构地区：[1]北方工业大学计算机学院,北京100144

出　　处：《计算机工程与应用》2018年第20期48-53,共6页Computer Engineering and Applications

基　　金：国家自然科学基金(No.61370051)

摘　　要：基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术,并给出相应的算法。实验结果证明了提出算法的有效性。The method of automatic generation is a traditional code analysis and testing technique,widely used in complex software analysis and large software logic coverage test activities.The traditional basic path method is to select the random number that satisfies the statute,as the test case,and does not consider the automatic reduction extraction and reduction combinatorial optimization.In this article,an conditional reduction automatic extraction technology and reduction combinatorial optimization is proposed based on the conditions of compilation technology,and the corresponding algorithm is given.The experimental result shows the effectiveness of the proposed algorithm.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]