Abstract FR:

Nous affirmons le besoin d'un langage intégré dans UML pour décrire des test fonctionnels de composants, et nous proposons un tel langage, TeLa, fondé sur les diagrammes de séquence UML, où l'architecture de test se décrit avec des diagrammes de composant UML. Nous formalisons la base de la sémantique non entrelacée de TeLa, et les notions de déterminisme / contrôlabilité, complétude en entrée, verdicts implicite / explicite et alternative par défaut. La sémantique par projection sur les événements du testeur permet l'usage d'une syntaxe avec lignes de vie pour le SUT. Lárchitecture de test fournit un cadre pour définir la décomposition des lignes de vie et des propriétés de composant telles que la sémantique de communication et le schéma de flôt de contrôle. Nous définissons les concepts d'une description de test bien fondée, d'un cas de test centralisable et de trois types de cas de test parallèles. Nous expérimentons l'utilisation de TeLa dans la synthèse de test avec Umlaut/TGV.