摘要
基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术,并给出相应的算法。实验结果证明了提出算法的有效性。
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.
作者
孙晶
李硕
赵会群
SUN Jing;LI Shuo;ZHAO Huiqun(College of Computer Science,North China University of Technology,Beijing 100144,China)
出处
《计算机工程与应用》
CSCD
北大核心
2018年第20期48-53,共6页
Computer Engineering and Applications
基金
国家自然科学基金(No.61370051)
关键词
基本路径测试
测试用例生成
编译技术
规约自动提取
条件归约组合优化
basic path test
test case generation
compilation technology
automatic reduction extraction
conditional reduction combinatorial optimization
