Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge
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.