標題: 並行ADA程式結構性測試工具之設計
Path-based structural testing tool kits for concurrent ADA programs
作者: 游學嵩
YOU, XUE-GAO
鍾乾癸
ZHONG, QIAN-KUI
資訊科學與工程研究所
關鍵字: ADA程式;結構性;測試工具設計
公開日期: 1991
摘要: ADA 是一種並行程式語言,其所提供之聚合作用及不確定選擇機構,導致並行ADA 程式執行行為之不可重複性,因而造成ADA 程式測試的困難,若藉同時輸入數據及 各工作間之聚合順序即可解決並行ADA 程式執行結果之不可重複產生問題。 本論文之目的是設計並行ADA 程式結構性測試環境,其具有下列三項子工具: (1)最佳受測路徑集合及相關聚合順序產生器,包括程式控制流程圖產生器、程 式路徑圖產生器、工作聚合路徑圖產生器、並行路徑可行性分析器及最佳受 測路徑選取機構等子系統。 (2)並行ADA 程式執行追蹤器。 (3)並行ADA 程式執行控制器,包括整體輸入強迫執行控制器及交談輸入強迫執 行控制器。 此環境已在IBM PC機器上使用C語言製作完成。
URI: http://140.113.39.130/cdrfb3/record/nctu/#NT802393015
http://hdl.handle.net/11536/55847
Appears in Collections:Thesis