thesis

Un langage non déterministe pour l'écriture de scénarios de test

Defense date:

Jan. 1, 2007

Edit

Institution:

Rennes 1

Disciplines:

Directors:

Abstract EN:

The testing phase is an important step in the development and now represents a crucial issue for telecommunication companies. One possible way for reducing the development time and increasing the software quality is to automize as possible the testing phase. So, we need tools for expressing easily complex, but common, behaviours in order to execute automatically test compaign without any human intervention. This study tries to get round this problem and, just after an analysis of the current testing languages which deal with active black-box testing, it will put forward several new constructions for this domain trying to solve this problem. Several of this constructions use a nondeterministic paradigm for easily expressing concurrent or non-controllable behaviours. Moreover, we will try to verify these ideas through a prototype which implements these new functionnalities and also validate these constructions during a real test of an industrial project.

Abstract FR:

La phase de test est une étape importante dans le développement et représente aujourd’hui un enjeu capital pour les opérateurs téléphoniques. Il est donc nécessaire d’avoir à disposition des outils permettant d’exprimer facilement certains comportements complexes, mais courants des systèmes télécoms afin de pouvoir exécuter automatiquement des campagnes de tests sans intervention humaine. Cette étude cherche donc à pallier ce problème et essayer, après une analyse rigoureuse des langages actuels, de proposer des constructions innovantes répondant à notre problématique. Certaines de ces constructions utilisent un paradigme non déterministe afin de spécifier facilement des comportements concurrents ou non contrôlables. En plus de cette proposition, nous allons essayer de vérifier les idées avancées au travers d’un prototype permettant d’évaluer les constructions innovantes, mais aussi de valider définitivement celles-ci lors du test réel d’une application industrielle.