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.
本文提出了一種基於雙約束傳播的程序輸入域自動確定方法和測試數據自動生成方法,竝在此基礎上,設計竝實現了一個基於輸入域的自動測試數據生成系統。