教師資料查詢 | 類別: 會議論文 | 教師: 莊淇銘 CHUNG CHI-MING (瀏覽個人網頁)

標題:Software Testing and Metrics for Concurrent Computation
學年85
學期1
發表日期1996/12/04
作品名稱Software Testing and Metrics for Concurrent Computation
作品名稱(其他語言)
著者Shih, Timothy K.; Chung, Chi-ming; Wang, Ying-hong; Kuo, Ying-feng; Lin, Wei-chuan
作品所屬單位淡江大學資訊工程學系
出版者N.Y.: Institute of Electrical and Electronic Engineers (IEEE)
會議名稱Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific
會議地點Seoul, Korea
摘要Verification and validation are two important technologies to assure the reliability and quality of software. Software testing and metrics are two approaches to execute the verification and validation. In sequential computation, a fairly mature process exists, with various methodologies and tools available for use in building and demonstrating the correctness of a program being tested. The emergence of concurrent computation in recent years, however, introduces new testing problems and difficulties that cannot be solved by the traditional sequential program testing techniques. Many concurrent program testing methodologies have been proposed to solve controlled execution and determinism. There have been few discussions of concurrent software testing from the inter-task viewpoint, even though the common characteristics of concurrent programming are the explicit identification of the large-grain parallel computation units (tasks) and the explicit inter-task communication via a rendezvous-style mechanism. In this paper, we focus on testing concurrent programs through task decomposition. We propose four testing criteria to test a concurrent program. A programmer can choose an appropriate testing strategy depending on the properties of the concurrent programs. Associated with the strategies, four equations are provided to measure the complexity of concurrent programs
關鍵字
語言英文
收錄於
會議性質國際
校內研討會地點
研討會時間19961204~19961204
通訊作者
國別韓國
公開徵稿
出版型式
出處Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific, pp.336-344
相關連結
Google+ 推薦功能,讓全世界都能看到您的推薦!