Remerciez-le!

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

Cycle de balzer Méthodes Formelles de spéci ?cation et développement Cycle de Balzer Réalisée par MOUNA ABDELLAOUI GL ANNÉE UNIVERSITAIRE CPlan Introduction Cycle de vie d ? un logiciel Cycle de Balzer a développement incrémental b spéci ?cations formalis

Méthodes Formelles de spéci ?cation et développement Cycle de Balzer Réalisée par MOUNA ABDELLAOUI GL ANNÉE UNIVERSITAIRE CPlan Introduction Cycle de vie d ? un logiciel Cycle de Balzer a développement incrémental b spéci ?cations formalisées Conclusion Bibliographie CIntroduction L ? apparition d ? applications de plus en plus critiques en termes de coût de sécurité des personnes et des installations en termes d ? image de marque de l ? entreprise remet en cause la production du logiciel pour ? ramener ? l ? informatique à ses sources les mathématiques Depuis quelques années la tendance est donc vers l ? utilisation de méthodes formelles dans tout le cycle de vie du logiciel On parle plutôt d ? utilisation de méthodes formelles Ces dernières peuvent être des méthodes de spéci ?cation de transformation et dérivation d ? analyse de preuve de test On parle de méthode formelle lorsque le langage utilisé possède une syntaxe et une sémantique fondées sur les mathématiques logique algèbre probabilité C Cycle de vie d ? un logiciel Comme pour toutes les fabrications il est important d ? avoir un procédé de fabrication du logiciel bien dé ?ni et explicitement décrit et documenté Les modèles de cycle de vie du logiciel décrivent à un niveau très abstrait et idéalisé les di ?érentes manières d ? organiser la production Les étapes leur ordonnancement et parfois les critères pour passer d ? une étape à une autre sont explicités CIl y a plusieurs cycles de vie du logiciel par exemple ? cycle en Cascade ? cycle en V années ? cycle en Spirale Boehm ? cycle de Balzer Balzer ? cycle itératif utilise dans les méthodes RAD Rapid Application Développent ? Méthodes agiles issues des pratiques de ces précédents cycles spirale RAD XP etc Ils sont choisis et appliqués selon les besoins du projet à développer C C Cycle de Balzer Tous les cycles de vie classiques ne marchent pas avec les méthodes formelles Il faut les adapter Le cycle de vie de Balzer représente une nouvelle famille de cycles de vie adapté au développement formel ou rigoureux transformation systématique des spéci ?cations en programmes en utilisant des lois prédé ?nies CLe modèle de Balzer associe ? développement incrémental ? utilisation de spéci ?cations formalisées elles même développées de manière incrémentale et maintenues Ca Spéci ?cation formelle Action de décrire sans ambigu? té un modèle conceptuel en général au moyen d'une méthode ou d'un langage comme NIAM UML EXPRESS -G L'objectif d'une méthode de spéci ?cation formelle est de pouvoir décrire des concepts peut-être compliqués mais ?nalement rendus très simples car on peut toujours décomposer un objet complexe en sousobjets élémentaires Cette méthode de décomposition permet au modèle conceptuel de représenter un aspect du réel sans erreurs d'interprétation possibles Ca Le développement incrémental Le développement incrémental consiste à réaliser successivement des éléments fonctionnels utilisables plutôt que des composants techniques Un découpage en incréments est dit vertical en référence à l'imagerie habituelle qui présente les composants techniques d'une architecture