Les techniques de test actives supposent que l’on peut interagir avec le système sous test (SUT). En effet, dans la plupart des cas, l’activité de test est basée sur la capacité d’un testeur à stimuler l’implantation sous test, et vérifier les réponses provenant de ce SUT. Cependant dans certaines situations, cette ac- tivité devient difficile et même souvent impossible à réaliser. Pour faire face à de telles situations, des techniques dites de test passif ont été proposées. Elles n’ont pas besoin d’interagir avec le SUT. Au contraire, les traces d’exécution sont ob- servées sans interférer avec l’implantation. Différentes approches de test passif existent, dont certaines qui à partir des traces essaient d’inférer la spécification. Dans le cadre de ce séminaire, nous aborderons la technique que nous avons développée. Avec cette dernière, on essaie de retrouver dans les traces d’exécution le comportement attendu du système. Ce dernier est exprimé sous forme d’une expression réguliere. En outre, les propriétés recherchées dans les traces sont vérifiées sur un modèle formel. Cette vérification peut se faire par une recherche en avant ou en arrière de ces motifs. Nous avons appliqué cette approche de test passif sur un protocole réel, à savoir le protocole WAP
