Une Approche Formelle pour la Combinaison des Tests Fonctionnels et des Tests de Charge

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.Dans ce travail, nous proposons une plate-forme de test basée sur mo-dèle ayant pour but de combiner des tests fonctionnels et des tests de charge. Un modèle adéquat permettant de représenter cette corrélation est proposé. Il s'agit du modèle des automates temporisés étendus avec des entrées/sorties et des variables entières partagées. De plus, nous proposons une technique pour dériver des tests à base d'horloges analogiques à partir de la spécification du système sous test