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)。