Sciweavers

Share
ECMDAFA
2007
Springer

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study

12 years 2 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the availability of a collection of models formally describing various aspects of the system behavior and an execution trace obtained through monitoring the system during the execution of designated test cases. The models describe system properties and are derived from existing (informal) system specifications or other traces. The recorded trace is reverseengineered to produce a model of the system that is used to visualize the architecture of the system during test execution and to verify the system against the specified properties using model checking technology. The obtained results and lessons learned from this case study are discussed.
Andreas Ulrich, Alexandre Petrenko
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ECMDAFA
Authors Andreas Ulrich, Alexandre Petrenko
Comments (0)
books