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

Abstract: 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.

Key words: basic path test, test case generation, compilation technology, automatic reduction extraction, conditional reduction combinatorial optimization