Task decomposition testing and metrics for concurrent programs

doi:10.1109/ISSRE.1996.558726

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 會議論文 > Item 987654321/37392

請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/37392

題名:	Task decomposition testing and metrics for concurrent programs
作者:	Chung, Chi-ming;Shih, Timothy K.;Wang, Ying-hong;Lin, Wei-chuan;Kou, Ying-feng
貢獻者:	淡江大學資訊工程學系
日期:	1996-10-30
上傳時間:	2010-01-11 13:17:16 (UTC+8)
摘要:	Software testing and metrics are two important approaches to assure the reliability and quality of software. The emergence of concurrent programming in recent years introduces new testing problems and difficulties that cannot be solved by testing techniques for traditional sequential programs. One of the difficult tasks is that concurrent programs can have many instances of execution for the same set of input data. Many concurrent program testing methodologies propose to solve controlled execution and determinism. There are few discussions of concurrent software testing from the inter-task viewpoints. Yet, the common characteristics of concurrent programming are explicit identification of the large grain parallel computation units (tasks), and the explicit inter-task communication via rendezvous-style mechanisms. In this paper, we focus on testing concurrent programs through task decomposition. We propose four testing criteria to test a concurrent program. The programmer can choose an appropriate testing strategy depending on the properties of the concurrent program. Associated with the strategies, four equations are provided to measure the complexity of concurrent programs
關聯:	Proceedings of the international symposium on software reliability engineering, ISSRE, pp.122-130
DOI:	10.1109/ISSRE.1996.558726
顯示於類別:	[資訊工程學系暨研究所] 會議論文

文件中的檔案:

檔案	描述	大小	格式	瀏覽次數
index.html		0Kb	HTML	438	檢視/開啟
Task decomposition testing and metrics for concurrent programs.pdf		797Kb	Adobe PDF	545	檢視/開啟

在機構典藏中所有的資料項目都受到原著作權保護.

TAIR相關文章

資料載入中.....