Using SDL Tools to Test Properties of Distributed Systems
نویسندگان
چکیده
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.
منابع مشابه
A Framework for the Performance Evaluation of SDL/MSC-specified Systems
SDL and MSC are standardized specification techniques for the development of reactive real-time systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relati...
متن کاملSDL and MSC based test generation for distributed test architectures
Most of the SDL and MSC based test generation methods and tools produce non-concurrent TTCN test cases only. If the test equipment itself is a distributed system, the implementation of such test cases is a diicult task and requires a substantial amount of additional work. In this paper, we explain how concurrent TTCN test cases can be generated directly from SDL system speciications and MSC tes...
متن کاملTowards a Uml Profile for Trace Analysis of Distributed Systems
TOWARDS A UML PROFILE FOR TRACE ANALYSIS OF DISTRIBUTED SYSTEMS UML concepts and tools are increasingly applied in several areas of software engineering. The recent additions in UML 2.0 and the supporting tools, especially Tau G2, open the door even for wider applicability of these concepts and tools in areas like distributed system development. In this paper, we report on the ongoing work to d...
متن کاملSpecification-driven Performance Monitoring of SDL/MSC-specified Protocols
Protocol testing implies the functional analysis of a given implementation under test as well as its temporal performance evaluation. If protocols are formally specified sophisticated techniques and tools exist for analyzing functional properties, e.g. finding deadlocks or livelocks. Methods, however, for the temporal performance evaluation of formally specified systems are still in their infan...
متن کاملFrom MSC and UML to SDL - Computer Software and Applications Conference, 2002. Proceedings. 26th Annual International
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001