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.
利用迭代松弛法作為核心算法實現(xiàn)了結構覆蓋測試用例的自動生成。
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.
為了輔助遷移關系劃分覆蓋測試準則自動產(chǎn)生測試用例，提出了分裂樹的算法來產(chǎn)生謂詞的DNF范式。