以工作元分解機制對並行軟體測試與衡量之研究

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 研究報告 > Item 987654321/7146

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/7146

题名:	以工作元分解機制對並行軟體測試與衡量之研究
其它题名:	Concurrent Software Testing and Metrics Based on Task Decomposition Mechanism
作者:	王英宏;莊淇銘
贡献者:	淡江大學資訊工程學系
关键词:	並行程式;軟體測試;軟體複雜度;工作元;Concurrent program;Software testing;Software complexity;Task
日期:	1998
上传时间:	2009-03-16 15:42:49 (UTC+8)
摘要:	軟體測試與衡量是兩個軟體可靠度與品質保証的方法。在循序軟體方面,軟體測試與衡量已有相當成熟的方法論與工具來驗證被測試程式的正確性。近幾年來並行軟體的興起相對的引導出新的測試問題與困難非傳統循序軟體測試技術所能解決的。其中的困難之一是同一個並行程式在一組相同的資料時可以有許多不同的執行實例產生。已有許多並行程式測試的方法以被提出來,目的在解決執行結果的可控制性及可決定性。但是極少有並行程式測試是從工作元間的觀點來討論軟體測試。然而;並行程式都具有相同的特徵,就是一個並行程式是由許多明確的平行計算單元（即工作元,tasks）組成,而且這些工作元之間會透過一種"會合型式"的機制（Rendezvous-Stylemechanism）來互相傳遞訊息。而事實上,扣除掉這種工作元間的通訊功能,每個工作元可以視為一個循序的程式,因此本研究的目的就是在透過工作元分解的機制來討論並行軟體的測試問題,並以工作元間通訊的觀點,提出並行軟體的測試準則（criterion）。而且透過這種工作元間通訊的機制(Mechanism),我們亦可同時提出對並行軟體複雜度的評量方法。最後本研究計畫將針對所提出的測試標準與衡量方法建構一個工具軟體（CASE tool）,來協助程式設計師對以開發的並行程式進行測試與複雜度衡量。
显示于类别:	[資訊工程學系暨研究所] 研究報告

文件中的档案:

档案	描述	大小	格式	浏览次数
RRPA87032889.pdf		635Kb	Adobe PDF	494	检视/开启

在機構典藏中所有的数据项都受到原著作权保护.

TAIR相关文章

数据加载中.....