|
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 |
Size | Format |
|---|
| 1_5approtest.pdf | pre-published version | 1971Kb | Adobe PDF | View/Open |
|
All items in this Repository are protected by copyright, with all rights reserved.
|
