Software testing and metrics for concurrent computation through task decomposition

Ying Hong Wang; Chi Ming Chung; Timothy K. Shih; Huan Chao Keh; Wei Chuan Lin

Software testing and metrics for concurrent computation through task decomposition

Ying Hong Wang, Chi Ming Chung, Timothy K. Shih, Huan Chao Keh, Wei Chuan Lin

資訊工程學系

研究成果: 會議貢獻類型 › 會議論文 › 同行評審

1 引文斯高帕斯（Scopus）

摘要

Software testing is one of important approaches to assure the reliability and quality of software. Sequential programming testing is fairly sophisticated process. The emergence of concurrent programming in the recent years. Some concurrent program testing methodologies are proposed to solve controlled execution and determinism. However, there are few discussions of concurrent software testing from the inter-task viewpoints. This paper focuses the testing view on the concurrent programming through task decomposition. Four testing criteria are proposed to test a concurrent program. Programmer can choose an appropriate testing strategy depending on the properties of concurrent programs. A coverage criteria hierarchy is provided. Moreover, two suggestions for concurrent programming based on rendezvous complexity are made.

原文	???core.languages.en_GB???
頁面	1857-1861
頁數	5
出版狀態	已出版 - 1998
事件	Proceedings of the 1997 IEEE International Conference on Intelligent Processing Systems, ICIPS'97. Part 1 (of 2) - Beijing, China 持續時間: 28 10月 1997 → 31 10月 1997

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	Proceedings of the 1997 IEEE International Conference on Intelligent Processing Systems, ICIPS'97. Part 1 (of 2)
城市	Beijing, China
期間	28/10/97 → 31/10/97

引用此

@conference{58ec381e1ad144d3b2ae126725b21237,

title = "Software testing and metrics for concurrent computation through task decomposition",

abstract = "Software testing is one of important approaches to assure the reliability and quality of software. Sequential programming testing is fairly sophisticated process. The emergence of concurrent programming in the recent years. Some concurrent program testing methodologies are proposed to solve controlled execution and determinism. However, there are few discussions of concurrent software testing from the inter-task viewpoints. This paper focuses the testing view on the concurrent programming through task decomposition. Four testing criteria are proposed to test a concurrent program. Programmer can choose an appropriate testing strategy depending on the properties of concurrent programs. A coverage criteria hierarchy is provided. Moreover, two suggestions for concurrent programming based on rendezvous complexity are made.",

author = "Wang, {Ying Hong} and Chung, {Chi Ming} and Shih, {Timothy K.} and Keh, {Huan Chao} and Lin, {Wei Chuan}",

year = "1998",

language = "???core.languages.en_GB???",

pages = "1857--1861",

note = "Proceedings of the 1997 IEEE International Conference on Intelligent Processing Systems, ICIPS'97. Part 1 (of 2) ; Conference date: 28-10-1997 Through 31-10-1997",

}

TY - CONF

T1 - Software testing and metrics for concurrent computation through task decomposition

AU - Wang, Ying Hong

AU - Chung, Chi Ming

AU - Shih, Timothy K.

AU - Keh, Huan Chao

AU - Lin, Wei Chuan

PY - 1998

Y1 - 1998

N2 - Software testing is one of important approaches to assure the reliability and quality of software. Sequential programming testing is fairly sophisticated process. The emergence of concurrent programming in the recent years. Some concurrent program testing methodologies are proposed to solve controlled execution and determinism. However, there are few discussions of concurrent software testing from the inter-task viewpoints. This paper focuses the testing view on the concurrent programming through task decomposition. Four testing criteria are proposed to test a concurrent program. Programmer can choose an appropriate testing strategy depending on the properties of concurrent programs. A coverage criteria hierarchy is provided. Moreover, two suggestions for concurrent programming based on rendezvous complexity are made.

AB - Software testing is one of important approaches to assure the reliability and quality of software. Sequential programming testing is fairly sophisticated process. The emergence of concurrent programming in the recent years. Some concurrent program testing methodologies are proposed to solve controlled execution and determinism. However, there are few discussions of concurrent software testing from the inter-task viewpoints. This paper focuses the testing view on the concurrent programming through task decomposition. Four testing criteria are proposed to test a concurrent program. Programmer can choose an appropriate testing strategy depending on the properties of concurrent programs. A coverage criteria hierarchy is provided. Moreover, two suggestions for concurrent programming based on rendezvous complexity are made.

UR - http://www.scopus.com/inward/record.url?scp=0031703104&partnerID=8YFLogxK

M3 - 會議論文

AN - SCOPUS:0031703104

SP - 1857

EP - 1861

T2 - Proceedings of the 1997 IEEE International Conference on Intelligent Processing Systems, ICIPS'97. Part 1 (of 2)

Y2 - 28 October 1997 through 31 October 1997

ER -

Software testing and metrics for concurrent computation through task decomposition

摘要

???event.eventtypes.event.conference???

指紋

引用此