Note publique d'information : Le test de conformité est devenu une activité essentielle dans le cycle de développement
des systèmes de communication. Ce test a pour but de s'assurer que le produit fini
correspond bien à la spécification de référence. La méthodologie consiste à générer
automatiquement un ensemble de tests de conformité, et à stimuler l'implantation sous
test en injectant les séquences de tests, puis à comparer le comportement produit
avec celui attendu par la spécification. Ces méthodes dites actives supposent qu'elles
peuvent toujours Interagir avec l'implantation sous test. Or, cette technique n'est
pas toujours possible dans les systèmes de protocoles en couche. De plus, le contrôle
des entrées émises par le testeur pour stimuler l'implantation limite la détection
de certaines erreurs qui peuvent se produire dans un environnement hostile. La phase
de test monopolise le système et cela peut être coûteux pour les industriels. Dans
cette thèse, nous proposons une approche passive non intrusive pour effectuer du test
de conformité dans le cadre du domaine des protocoles de communication. Notre démarche
de test passif est d'évaluer le comportement de l'implantation dans son environnement
réel à travers une analyse des traces d'exécution produites. Elle s'organise autour
de deux étapes complémentaires. Une première où des experts et/ou testeurs de protocoles
définissent des propriétés fonctionnelles de conformité exigées par la spécification
et exprimées dans le formalisme des invariants. Ces derniers sont vérifiés sur la
spécification représentée sous forme d'une machine à états finis au moyen d'algorithmes
effcaces afin de mesurer leur validité. La seconde étape s'intéresse à retrouver ses
invariants dans les traces d'exécution issues de l'implantation sous test par reconnaissance
de motifs afin d'établir un diagnostic sur le comportement de celle-ci. Nous prolongeons
également le champ de l'applicabilité de la méthode proposée pour le test de conformité
au test d'interopérabilité en étendant nos algorithmes. Nous enrichissons la syntaxe
des invariants en introduisant le concept des signatures contextuelles qui offrent
un cadre adapté pour considérer la partie donnée dans l'expression des invariants,
le type de propriété défini, et d'autres notions telles que les états. Dans cette
thèse, nous fournissions un outil de test que nous avons conçu pour éprouver et automatiser
notre méthodologie de test passif sur l'implantation des couches du protocole réel
WAP.
Note publique d'information : Conformance testing became an essential activity in the life cycle of development
of the communication systems. The purpose of this test is to guarantee that the finished
product corresponds well to the specification of reference. The methodology used consists
of an automated generation of conformance test suite from the specification that are
applied on the implementation under test. The answers of the system are compared to
those expected according to the test sequence. These methods known as active suppose
that they can always interact with the implementation under test. However, this technique
is not always possible in the systems of protocols in layer. Moreover, the control
of the inputs emitted by the tester to stimulate the implementation limits the detection
of certain errors which can occur in a hostile environment. Finally, the testing step
can be costly as it monopolizes the system for a long time. In this thesis, we propose
a none intrusive passive approach to perform conformance testing of communication
protocols. Our passive testing method evaluates the behavior of the implementation
in its real environment through an analysis of the real execution traces. This stepwise
approach is divided in two steps. First, functional properties of the system are expressed
by experts and/or testers by means of invariants. These properties are then checked
against the specification (i.e. a Finite State Machine) of the system in order to
ensure the validity of these properties. We have de_ned algorithms that conduct backward
or forward search in the FSM. The second step consists of the checking of the properties
on real execution traces of the implementation under test by pattern matching techniques.We
extend the applicability of the proposed method for the conformance testing to the
interoperability testing. We improve the expressiveness of our invariants by introducing
the concept of the contextual signatures which other a framework adapted to consider
the data part given in the invariants expression, the type of property defined, and
other concepts such as the states. In this thesis, we provided a test tool that we
designed to experiment and automate our passive testing methodology
paprika.idref.fr
data.idref.fr
Documentation
