Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Genie logiciel introduction validation et verification

L informatique et MIAGE Année - Génie logiciel avancé Introduction Génie logiciel validation et véri ?cation Delphine Longuet delphine longuet lri fr COrganisation du cours Modalités de contrôle des connaissances TP noté semaine du octobre Partiel semaine du octobre Examen semaine du décembre Note du contrôle continu CC TP partiel Note ?nale CC examen Note de e session remplace la note ?nale pas de report de CC Seuls les transparents du cours sont autorisés au partiel et aux examens Page web du cours http www lri fr longuet Enseignements - L -GLA D Longuet - GLA CGénie logiciel Dé ?nitions et processus de développement D Longuet - GLA CGénie logiciel Dé ?nition Ensemble des méthodes des techniques et des outils dédiés à la conception au développement et à la maintenance des systèmes informatiques Objectif Avoir des procédures systématiques rigoureuses et mesurables pour des logiciels de grande taille a ?n que la spéci ?cation corresponde aux besoins réels du client le logiciel respecte sa spéci ?cation les délais et les coûts alloués à la réalisation soient respectés D Longuet - GLA CLogiciel dé ?nitions Ensemble d'entités nécessaires au fonctionnement d'un processus de traitement automatique de l'information Programmes données documentation Ensemble de programmes qui permet à un système informatique d ? assurer une t? che ou une fonction en particulier Logiciel programme utilisation D Longuet - GLA CLogiciel caractéristiques Environnement utilisateurs grand public traitement de texte spécialistes calcul météorologique développeurs compilateur autres logiciels librairie composant matériel capteurs système d'alarme réseau physique protocole machine ou composant matériel contrôlé ABS Spéci ?cation ce que doit faire le logiciel ensemble de critères que doivent satisfaire son fonctionnement interne et ses interactions avec son environnement D Longuet - GLA CCrise du logiciel Constat du développement logiciel ?n années délais de livraison non respectés budgets non respectés ne répond pas aux besoins de l'utilisateur ou du client di ?cile à utiliser maintenir et faire évoluer D Longuet - GLA CÉtude du DoD Étude du Department of Defense des États-Unis sur les logiciels produits dans le cadre de gros projets militaires ?? Utilisés directement ?? Utilisés après quelques modi ?cations ?? Utilisés après de fortes modi ?cations ?? Jamais utilisés ?? Payés et pas livrés D Longuet - GLA Jarzombek Stanley J The th annual JAWS S proceedings CÉtude du Standish group Enquête sur des milliers de projets de toutes tailles et de tous secteurs Standish group Chaos Manifesto - Think Big Act Small ?? Projets réussis achevés dans les délais et pour le budget impartis avec toutes les fonctionnalités demandées ?? Projets mitigés achevés et opérationnels mais livrés hors délais hors budget ou sans toutes les fonctionnalités demandées ?? Projets ratés abandonnés avant la ?n ou livrés mais jamais utilisés D Longuet - GLA CPetits vs grands projets ?? Projets réussis ?? Projets mitigés ?? Projets ratés Petits projets budget ? million D Longuet - GLA Grands projets budget ? millions Standish group Chaos Manifesto - Think Big Act Small CUtilisation des fonctionnalités implantées Toujours Souvent Parfois