HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/2187
Title: An approach to testing distributed software systems
Authors: Ulrich, Andreas W.
Chanson, Samuel T.
Keywords: Formal specifications
True concurrency model
Test suite generation
Distributed test architecture
Issue Date: 1996
Citation: Proceedings of the 15th International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, 1996, p. 121-136
Abstract: 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/
URI: http://hdl.handle.net/1783.1/2187
Appears in Collections:CSE Conference Papers

Files in This Item:

File Description SizeFormat
1_5approtest.pdfpre-published version1971KbAdobe PDFView/Open

All items in this Repository are protected by copyright, with all rights reserved.