Scalable system-level CTI testing through lightweight coarse-grained coordination

Tiziana Margaria, Bernhard Steffen

Research output: Contribution to journalConference articlepeer-review

Abstract

We propose a solution to the problem of system-level testing of functionally complex communication systems based on lightweight coordination. The enabling aspect is here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment. This induces an understandable modelling paradigm of system-wide test cases which is adequate for the needs and requirements of industrial test engineers. The approach is coarse-grained in the sense that it renounces a detailed model of the system functionality (which would be unfeasible in the considered industrial setting). The coordination is lightweight in the sense that it allows a programming-free definition of system-level behaviours (in this case complex test cases) based on the coarse models of the functionalities. These features enable test engineers to graphically design complex test cases, which, in addition, can even be automatically checked for their intended purposes via model checking.

Original languageEnglish
Pages (from-to)66-83
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume66
Issue number2
DOIs
Publication statusPublished - Dec 2002
Externally publishedYes
EventFMICS'02, 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems (ICALP 2002 Satellite Workshop) - Malaga, Spain
Duration: 12 Jul 200213 Jul 2002

Fingerprint

Dive into the research topics of 'Scalable system-level CTI testing through lightweight coarse-grained coordination'. Together they form a unique fingerprint.

Cite this