automatic test case generation

基本解釋

This article has first introduced the basic theory of software test and automatic generation technology of test case.
本文作者首先介紹了軟件測(cè)試的基本理論和測(cè)試用例的自動(dòng)生成技術(shù)。
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.
利用迭代松弛法作為核心算法實(shí)現(xiàn)了結(jié)構(gòu)覆蓋測(cè)試用例的自動(dòng)生成。
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.
為了輔助遷移關(guān)系劃分覆蓋測(cè)試準(zhǔn)則自動(dòng)產(chǎn)生測(cè)試用例，提出了分裂樹的算法來(lái)產(chǎn)生謂詞的DNF范式。