Please use this identifier to cite or link to this item:

An approach to testing distributed software systems

Authors Ulrich, Andreas W.
Chanson, Samuel T.
Issue Date 1996
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
Language English
Format Conference paper
Files in this item:
File Description Size Format
1_5approtest.pdf pre-published version 2018686 B Adobe PDF