double constraint propagation

A method of automatic input domain determination based on double constraint propagation and a method of automatic test data generation are proposed in this paper. On the basis of that, an automatic test data generation system is designed and implemented.
本文提出了一種基於雙約束傳播的程序輸入域自動(dòng)確定方法和測試數(shù)據(jù)自動(dòng)生成方法,竝在此基礎(chǔ)上,設(shè)計(jì)竝實(shí)現(xiàn)了一個(gè)基於輸入域的自動(dòng)測試數(shù)據(jù)生成系統(tǒng)。