Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)

Langue

anglais

Auteur

BEHNIA ; WAESELYNCK

Résumé / Abstract

LE TRAVAIL PRESENTE DANS CET ARTICLE TRAITE DE LA VERIFICATION EXTERNE DU LOGICIEL CRITIQUE DEVELOPPE PAR LA METHODE FORMELLE B. LA METHODE FORMELLE B EST CONNUE COMME UNE METHODE ORIENTEE MODELE. L'OBJECTIF EST D'EXAMINER, EN UTILISANT LES METHODES DE TESTS, QUE LE MODELE B SATISFAIT AUX EXIGENCES FONCTIONNELLES LIEES AU SERVICE A RENDRE PAR LE PRODUIT. UNE PRESENTATION DE LA METHODE B ET D'UNE APPROCHE BASEE SUR LE TEST EST PROPOSEE DANS CET ARTICLE.