Full metadata record
DC FieldValueLanguage
dc.contributor.author游學嵩en_US
dc.contributor.authorYOU, XUE-GAOen_US
dc.contributor.author鍾乾癸en_US
dc.contributor.authorZHONG, QIAN-KUIen_US
dc.date.accessioned2014-12-12T02:09:12Z-
dc.date.available2014-12-12T02:09:12Z-
dc.date.issued1991en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#NT802393015en_US
dc.identifier.urihttp://hdl.handle.net/11536/55847-
dc.description.abstractADA 是一種並行程式語言,其所提供之聚合作用及不確定選擇機構,導致並行ADA 程式執行行為之不可重複性,因而造成ADA 程式測試的困難,若藉同時輸入數據及 各工作間之聚合順序即可解決並行ADA 程式執行結果之不可重複產生問題。 本論文之目的是設計並行ADA 程式結構性測試環境,其具有下列三項子工具: (1)最佳受測路徑集合及相關聚合順序產生器,包括程式控制流程圖產生器、程 式路徑圖產生器、工作聚合路徑圖產生器、並行路徑可行性分析器及最佳受 測路徑選取機構等子系統。 (2)並行ADA 程式執行追蹤器。 (3)並行ADA 程式執行控制器,包括整體輸入強迫執行控制器及交談輸入強迫執 行控制器。 此環境已在IBM PC機器上使用C語言製作完成。zh_TW
dc.language.isozh_TWen_US
dc.subjectADA程式zh_TW
dc.subject結構性zh_TW
dc.subject測試工具設計zh_TW
dc.title並行ADA程式結構性測試工具之設計zh_TW
dc.titlePath-based structural testing tool kits for concurrent ADA programsen_US
dc.typeThesisen_US
dc.contributor.department資訊科學與工程研究所zh_TW
Appears in Collections:Thesis