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.