Reachability testing: An approach to testing concurrent software

Gwan Hwan Hwang, Kuo Chung Tai, Ting Lu Huang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994
PublisherIEEE Computer Society
Pages246-255
Number of pages10
ISBN (Electronic)0818669608
DOIs
Publication statusPublished - 1994 Jan 1
Event1st Asia-Pacific Software Engineering Conference, APSEC 1994 - Tokyo, Japan
Duration: 1994 Dec 71994 Dec 9

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362

Conference

Conference1st Asia-Pacific Software Engineering Conference, APSEC 1994
CountryJapan
CityTokyo
Period94/12/794/12/9

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Reachability testing: An approach to testing concurrent software'. Together they form a unique fingerprint.

  • Cite this

    Hwang, G. H., Tai, K. C., & Huang, T. L. (1994). Reachability testing: An approach to testing concurrent software. In Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994 (pp. 246-255). [465255] (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). IEEE Computer Society. https://doi.org/10.1109/APSEC.1994.465255