Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge
Résumé
Dans ce travail, nous proposons une plate-forme de test basée sur modè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.