Testing of concurrent programs based on message sequence charts

In Sang Chung, Hyeon Soo Kim, hyun Seop Bae, Yong Rae Kwon, Byung Sun Lee
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
Most prior work on specification-based testing of concurrent programs have postulated an equivalence relation between specifications and programs. However, the equivalence relation, which requires a specification and a program to encompass the same set of synchronization sequences, is not well-suited for testing concurrent programs against partial and nondeterministic specifications. In this paper, we present a new specification-based approach to testing concurrent programs againist Message
more » ... ence Charts(MSCs) with partial and nondeterministic semantics. New conformance relations, named behavioral conformance and nondeterminacy conformance, are defined and the details of the proposed testing methodology based on the conformance relations are given. The effectiveness of our testing approach is investigated using a telephone switching system example.
doi:10.1109/pdse.1999.779740 dblp:conf/pdse/ChungKBKL99 fatcat:g4iujlbd4ngsjdir4puzgi7zdy