Nous recensons dans une première partie de ce rapport, les principaux travaux en modélisation de la fiabilité du logiciel. Cependant, il ne s'agit pas ici d'établir une liste exhaustive de tous les modèles obtenus mais plutôt d'adopter une présentation la moins technique possible du développement depuis une vingtaine d'années des méthodes statistiques d'évaluation de la sûreté de fonctionnement d'un logiciel. Dans une seconde partie, nous abordons le problème de la validation prédictive de ces modèles qui n'a recu une attention particulière que depuis le début des années 80. Nous décrivons alors les outils actuellement disponibles pour juger de la qualité des prédictions réalisées.
