Test de modèles formels en b : cadre théorique et critères de couverture
BEHNIA
Type de document
THESE
Langue
francais
Auteur
BEHNIA
Résumé / Abstract
Ce travail de thèse a fait l'objet d'une collaboration entre l'INRETS et le LAAS-CNRS, au groupe tolérance aux fautes et sureté de fonctionnement informatique (TSF) du LAAS-CNRS. Il vise à définir une stratégie pour le test des logiciels de sécurité conçus selon la méthode B. Il s'intéresse à la définition de stratégies de couverture structurelle des modèles B qui soient applicables à la fois à un modèle abstrait et à un modèle concret. Il s'agit de définir une stratégie pour la vérification des logiciels de sécurité conçus selon la méthode B.
