automatic test case generation

基本解释

This article has first introduced the basic theory of software test and automatic generation technology of test case.
本文作者首先介绍了软件测试的基本理论和测试用例的自动生成技术。
This paper realizes the automatic generation of the test case in the structure coverage test, which takes use of the iterative relaxation method as key algorithm.
利用迭代松弛法作为核心算法实现了结构覆盖测试用例的自动生成。
With these coverage criterions, algorithms for automatic generating test cases are brought forward. To assist test case generation, split tree algorithm for DNF formal is presented in the thesis.
为了辅助迁移关系划分覆盖测试准则自动产生测试用例，提出了分裂树的算法来产生谓词的DNF范式。