RNTI

MODULAD
Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge
In CAL 2021, vol. RNTI-L-9, pp.91-102
Abstract
In this work, we propose a model-based test platform aiming to combine functional and load tests. An appropriate model to represent this correlation is proposed. The proposed formalism is based on the model of extended timed automata with inputs/ outputs and shared integer variables. In addition, we propose a technique to derive analog clock based tests from the specification of the system under test.