Reachability testing: An approach to testing concurrent software

Gwan Hwan Hwang, Kuo Chung Tai, Ting Lu Huang

研究成果: 書貢獻/報告類型會議論文篇章

16 引文 斯高帕斯(Scopus)

摘要

Concurrent programs are more difficult to test than sequential programs because of nondeterministic behavior. An execution of a concurrent program nondeterministically exercises a sequence of synchronization events, called a synchronization sequence (or SYN-sequence). Nondeterministic testing of a concurrent program P is to execute P with a given input many times in order to exercise distinct SYN-sequences and produce different results. We present a new testing approach, called reachability testing. If P with input X contains a finite number of SYN-sequences, reachability testing of P with input X can execute all possible SYN-sequences of P with input X. We show how to perform reachability testing of concurrent programs using read and write operations. Also, we present results of empirical studies comparing reachability and nondeterministic testing. Our results indicate that reachability testing has advantages over nondeterministic testing.

原文英語
主出版物標題Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994
發行者IEEE Computer Society
頁面246-255
頁數10
ISBN(電子)0818669608
DOIs
出版狀態已發佈 - 1994
事件1st Asia-Pacific Software Engineering Conference, APSEC 1994 - Tokyo, 日本
持續時間: 1994 十二月 71994 十二月 9

出版系列

名字Proceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN(列印)1530-1362

會議

會議1st Asia-Pacific Software Engineering Conference, APSEC 1994
國家/地區日本
城市Tokyo
期間1994/12/071994/12/09

ASJC Scopus subject areas

  • 軟體

指紋

深入研究「Reachability testing: An approach to testing concurrent software」主題。共同形成了獨特的指紋。

引用此