Rapport d'activité 1998
BEHNIA
Type de document
RAPPORT DE RECHERCHE
Langue
francais
Auteur
BEHNIA
Résumé / Abstract
Ce rapport a pour but de donner une vue d'ensemble des travaux de recherche sur le test de logiciel avec pour objectif l'élimination de fautes. Il récapitule les travaux menés en 1998 sur le test et les méthodes formelles. Les premiers résultats sur les tests des modèles formels B sont présentés et les perspectives sont énoncées dans ce document.
