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.
本文提出了一種基于雙約束傳播的程序輸入域自動確定方法和測試數(shù)據(jù)自動生成方法,并在此基礎(chǔ)上,設(shè)計并實現(xiàn)了一個基于輸入域的自動測試數(shù)據(jù)生成系統(tǒng)。