Validation D Un Logiciel Par Le Test Statistique D Usage
Download Validation D Un Logiciel Par Le Test Statistique D Usage PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Validation D Un Logiciel Par Le Test Statistique D Usage book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Industrial Use of Formal Methods
Author: Jean-Louis Boulanger
language: en
Publisher: John Wiley & Sons
Release Date: 2013-05-10
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
Validation d'un logiciel par le test statistique d'usage
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é.
Pratique de l'analyse statistique des données
Author: Richard Bertrand
language: fr
Publisher: PUQ
Release Date: 1986-09-30T20:00:00-04:00
Initiation à l'analyse des données - Concepts de l'analyse exploratoire - Concepts de l'analyse confirmatoire - Analyse de la variance - Corrélation et régression - Étude de cas.