標題: 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
顯示於類別:會議論文