Méthodologie de test passif par invariants : application au protocole WAP
Institution:
Evry, Institut national des télécommunicationsDisciplines:
Directors:
Abstract EN:
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
Abstract FR:
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.