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範式。