TOWARDS A FRAMEWORK FOR TESTING B MODELS
WAESELYNCK ; BEHNIA
Type de document
RAPPORT
Langue
anglais
Auteur
WAESELYNCK ; BEHNIA
Résumé / Abstract
CE RAPPORT PRESENTE LE PROBLEME DE LA VERIFICATION EXTERNE DU LOGICIEL DEVELOPPE PAR LA METHODE FORMELLE B. IL TRAITE DE LA COMPLEMENTARITE DU TEST ET DE LA PREUVE EN METTANT L¹ACCENT SUR LA NECESSITE DE L¹ANIMATION DU MODELE FORMEL B ET LE TEST DU CODE.