本文是描述一個稱為TG-P之自動的測試數據產生系統，它只檢查巴斯卡程式的程式構
造而產生這個程式的測試數據。它用“符號執行”來取得程式的“路由限制”。這路
由限制分割程式的定義域成幾個等級，每個等級規範了被測試程式的一個路由。
對於複雜的數列變數，由於數列的諮詢及指派使符號執行有困難時，每個導致含糊不
清的情況，都被一一的考慮，使得符號執行能夠順利完成。
這系統能產生以程式的輸入變數的符號形式表示的路由限制，這系統的利用者，可經
由這種形式的路由限制，自己找出測試數據。本系統亦可自動的從路由限制提供利用
者測試數據。
|