並行ADA程式結構性測試工具之設計

Abstract

ADA 是一種並行程式語言，其所提供之聚合作用及不確定選擇機構，導致並行ADA 程式執行行為之不可重複性，因而造成ADA 程式測試的困難，若藉同時輸入數據及 各工作間之聚合順序即可解決並行ADA 程式執行結果之不可重複產生問題。 本論文之目的是設計並行ADA 程式結構性測試環境，其具有下列三項子工具： （１）最佳受測路徑集合及相關聚合順序產生器，包括程式控制流程圖產生器、程 式路徑圖產生器、工作聚合路徑圖產生器、並行路徑可行性分析器及最佳受 測路徑選取機構等子系統。 （２）並行ADA 程式執行追蹤器。 （３）並行ADA 程式執行控制器，包括整體輸入強迫執行控制器及交談輸入強迫執 行控制器。 此環境已在IBM PC機器上使用Ｃ語言製作完成。