Thèse présentée devant IFSIC
Thesis submitted to IFSIC

Simon Pickin - 2 juillet 2003
Test des composants logiciels pour le télécommunications
http://www.irisa.fr/bibli/publi/theses/2003/pickin/pickin.html
ftp://ftp.irisa.fr/techreports/theses/2003/pickin.pdf

Résumé
Nous affirmons le besoin d'un langage intégré dans UML pour décrire des
tests 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'architecture 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èle. Nous expérimentons l'utilisation de TeLa dans la synthèse de
test avec Umlaut/TGV.

Mots clefs: Testing, test de logiciel, test de composants, test réparti,
test télécom, sémantique non-entrelacée, déterminisme, contrôlabilite,
architecture de test, langages graphiques, langages de description de
test, UML, diagrammes de séquence, MSC, scénarios, modèles formels,
synthèsde de test, automatisation de test

Abstract
We argue the merits of a UML-integrated language for describing
black-box tests of possibly-distributed components and propose such a
language, TeLa, based on UML sequence diagrams, with UML component
diagrams to describe the test architecture. We formalise the basis of a
non-interleaving semantics for TeLa, including notions of determinism /
controllability, input completeness, implicit / explicit verdicts, and
default alternatives. The semantics by projection onto tester events
allows the syntax to include SUT lifelines. The hierarchical component
model of the test architecture provides a framework for defining
lifeline decomposition and component-based properties such as
communication semantics and control flow scheme, the latter being viewed
as a restriction on allowed linearisations. We define the concepts of
well-defined test description, centralisable test case and three types
of parallel test case. We also experiment with the use of the TeLa in
test synthesis using Umlaut/TGV.

Keywords: Software testing, component testing, distributed testing,
telecom testing, non-interleaving semantis, determinism,
controllability, test architecture, graphical languages, test
description languages, UML, sequence diagrams, MSC, scenarios, formal
models, test synthesis, test automation