Sciweavers

ISSTA
2009
ACM

Run-time conformance checking of mobile and distributed systems using executable models

13 years 8 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the description and execution of models of concurrent, mobile, distributed, and timed computation. In our approach, a kiltera model of the system is constructed from a high-level model which describes system behaviour using, e.g., a suitable UML profile. Check points are identified in the implementation under test (IUT) and the kiltera model and both are instrumented appropriately at these check points. During execution, relevant information flows from the IUT to the kiltera model which signals any non-conformance detected. Unique features of our approach include the support for mobility, distribution, time, dynamic creation and deletion of agents, and distributed monitoring. We describe the approach and a prototype implementation using a running example for illustration. Results of first, preliminary experiments a...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
Added 23 Jul 2010
Updated 23 Jul 2010
Type Conference
Year 2009
Where ISSTA
Authors Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
Comments (0)