Gurpreet Singh Saini / Md. Tanzilur Rahman
LibrerÃa Samer Atenea
Kálamo Books
LibrerÃa ElÃas (Asturias)
LibrerÃa Kolima (Madrid)
LibrerÃa Proteo (Málaga)
De nombreux progrès ont été réalisés dans le domaine des techniques de vérification et de validation basées sur des modèles. La plupart d’entre elles reposent sur l’observation du comportement externe du système. Notre approche suit cette même ligne et s’applique même lorsque le code source du système à observer n’est pas disponible. Un mécanisme d’inférence nous permet de déduire ces modèles de machine par l’observation. Nous présentons un cadre permettant de générer des composants à états infinis ou finis et de les adapter aux vérifications formelles. Les modèles utilisés sont des protocoles de communication déduits par inférence régulière à partir de l’observation du comportement des entités du protocole de communication. Nous présentons également une approche permettant de vérifier que le comportement observé du protocole correspond au modèle conçu pour ce protocole.
