A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars

TL;DR

This paper introduces a graph transformation-based approach for formal testing of timed automata models, enabling automatic generation of visual tools and test cases through meta-modeling with graph grammars.

Contribution

It presents a novel method for translating DATA* models into TRRGs and automates the creation of visual modeling tools using meta-modeling with AToM3.

Findings

Automated generation of visual modeling tools for DATA* and TRRG.

Effective translation of high-state DATA* models into timed refusals region graphs.

Facilitates formal testing of timed systems with graphical support.

Abstract

The test is one of the approaches commonly used for validating systems to ensure qualitative and quantitative implementation requirements. In this paper, we interest in formal testing using graph transformation, thus we propose an approach for translating a Durational Actions Timed Automata model (DATA*) with a high number of states into a timed refusals region graph (TRRG) for creating a canonical tester and generating test cases using graph transformation. Though, our approach allows to generate automatically a visual modeling tool for DATA*, TRRG and the canonical tester. The cost of building a visual modeling tool from scratch is prohibitive. Meta- modeling approach is useful to deal with this problem since it allows the modeling of the formalisms themselves, by means of graph grammars. The meta-modeling tool AToM3 is used.