標題: | Reachability testing: An approach to testing concurrent software |
作者: | Hwang, GH Tai, KC Huang, TL 資訊工程學系 Department of Computer Science |
關鍵字: | concurrent programs;software testing;non-deterministic testing;deterministic testing;reachability testing |
公開日期: | 1-十二月-1995 |
摘要: | Concurrent programs are more difficult to test than sequential programs because of nondeterministic behavior. An execution of a concurrent program non-deterministically exercises a sequence of synchronization events called a synchronization sequence (or SYN-sequence). Non-deterministic testing of a concurrent program P is to execute P with a given input many times in order to exercise distinct SYN-sequences. In this paper, we present a new testing approach called reachability testing. If every execution of P with input X terminates, reachability testing of P with input X derives and executes 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 non-deterministic testing. Our results indicate that reachability testing has advantages over non-deterministic testing. |
URI: | http://dx.doi.org/10.1142/S0218194095000241 http://hdl.handle.net/11536/1609 |
ISSN: | 0218-1940 |
DOI: | 10.1142/S0218194095000241 |
期刊: | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING |
Volume: | 5 |
Issue: | 4 |
起始頁: | 493 |
結束頁: | 510 |
顯示於類別: | 會議論文 |