Loading...
Please wait, while we are loading the content...
Similar Documents
Using SDL Tools to Test Properties of Distributed Systems
| Content Provider | CiteSeerX |
|---|---|
| Author | Hallal, Hesham Petrenko, Alex Ulrich, Andreas Boroday, Sergiy |
| Description | We present an ongoing project on reasoning on properties of distributed systems based on monitoring of their executions. The proposed approach uses SDL to model an execution trace of the system under test and an existing model checker to perform the analysis of properties of interest specified in the SDL-like language GOAL. For this purpose, we use the available ObjectGEODE tool set. We describe how SDL models are built from collected traces, and show how the desired properties are specified. An example is used to illustrate the approach. The proposed methodology can be applied to test distributed systems and to diagnose their faults. 1 |
| File Format | |
| Language | English |
| Publisher Institution | in Proc. of Formal Approches to Testing of Software (FATES’01), Workshop of the Int. Conference on Concurrency Theory (CONCUR’01 |
| Access Restriction | Open |
| Subject Keyword | Distributed System Execution Trace Model Checker Ongoing Project Sdl-like Language Goal Test Property Desired Property Proposed Methodology Sdl Model Sdl Tool Available Objectgeode Tool Set |
| Content Type | Text |
| Resource Type | Article |
