An approach to testing distributed software systems
Ulrich, Andreas W.
Chanson, Samuel T.
|Source||Proceedings of the 15th International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland , 1996, p. 121-136|
|Summary||This paper studies the problem of testing distributed software systems consisting of concurrent units running over a network. We present an approach to derive a concurrent transition tour as a test suite from multi-module specifications described by a restricted class of CCS (calculus of communicating systems). The approach avoids the state space explosion problem by introducing a true concurrency model. A new distributed test architecture for executing the concurrent test suite is also described.|
|Rights||The original publication of the article may be found from the publisher's website http://www.springerlink.com/|
Files in this item: