Abstract FR:

Le test de logiciel est un domaine complexe, et le temps alloué au test peut être réduit dans certains cas. Dans ce cadre nous proposons une méthode complète pour la validation de logiciel allant de l'élaboration du plan de test jusqu'à la décision de livraison. Notre méthode est basée sur le test statistique d'usage, en prenant en considération le test de conformité ainsi que de nouvelles avancées du test de logiciel. La méthode présentée consiste à modéliser le comportement externe du système à l'aide de chaînes de Markov. Plusieurs résultats avant test permettent de planifier au mieux la phase de validation. Ce modèle est ensuite utilisé pour la génération automatique de séquences de test. Nous nous sommes intéressés à la couverture de test lorsque le logiciel est modélisé par des diagrammes à états. En utilisant une définition de couverture de test basée sur les données et la structure fonctionnelle, nous proposons une nouvelle solution pour l'estimation de la fiabilité.