1. Introduction générale à la SPECIFICATION et à la CONCEPTION de LOGICIELS

Transcription

1 1. Introduction générale à la SPECIFICATION et à la CONCEPTION de LOGICIELS Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Introduction Présentation du cours Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 1

2 I n t r o d u c t i o n le génie logiciel (G.L.) existe depuis bientôt 25 ans le GL est né en Europe en octobre 1968, à Garmisch-Partenkirchen, sous le nom de soflware engineering, et sous le parrainage de l'otan des constations que le logiciel : n'était pas fiable, était incroyablement difficile de réaliser dans des délais prévus ne satisfaisaient pas leurs cahiers des charges Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 2

3 E r r e u r s c é l è b r e s... 1 sonde Mariner vers Vénus s'est perdue dans l'espace à cause d'une erreur dans un pgm Fortran : lors d'une expérience météorologique en France, 72 ballons contenant des instruments de mesure furent détruits tout d'un coup à cause d'un défaut dans le logiciel : un problème logiciel retarda de 2 jours le premier lancement orbital de la navette spatiale; la navette fut lancée sans que l'on ait localisé exactement la cause du problème 1990 : dans nuit du décembre 1990, les abonnés de ATT de la côte Est des Etats-Unis furent privés de tout appel longue distance à cause d'une réaction en chaîne dans le logiciel du réseau due à un changement de version de ce logiciel... Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 3

4 P r o j e t s d o u l o u r e u x : OS pour gamme IBM 360 : livré en retard, nécessitait plus de mémoire que prévu, prix de revient dépassait de beaucoup les estimations, premières versions avec erreurs : Compilateur PL1 chez Control Data : projet avorté 1990 : EDF a dû renoncer à la mise en service du nouveau système de contrôle-commande de ses centrales de mégawatts après plusieurs années d'efforts de développement 1993 : SNCF a rencontré des difficultés importantes à la mise en service du système Socrate... Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 4

5 Q u e s t i o n s un logiciel étant un produit manufacturé complexe, est-il raisonnable d'en attendre une qualité totale? pas de telles exigences dans les autres domaines technologiques (voitures tombent en panne, les circuits ont des défaillances, etc on souhaiterait cependant avoir des estimations de cette qualité la fiabilité et la sûreté de fonctionnement des logiciels, des améliorations spectaculaires ont été obtenues. des projets autres que de développement de logiciel prennent du retard et dépassent leur budget? Oui, mais dans le cas du logiciel ces dépassements en temps et en coût peuvent être énormes (jusqu'à 300, 400%). Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 5

6 L ' i n v i s i b i l i t é d u l o g i c i e l : s a s p é c i f i c a t i o n souvent le logiciel développé ne correspond pas à la demande. Comment exprimer ses spécifications? Comment les soumettre au futur utilisateur et au futur réalisateur? ceci est du au fait qu'un logiciel, surtout en cours de développement, est invisible : on ne peut l'observer qu'en l'utilisant et observation souvent tardive et insuffisante pour comprendre ce qui se passe les modifications sont : F l e x i b i l i t é d u l o g i c i e l : u n m y t h e délicates à concevoir peuvent avoir des conséquences difficiles à anticiper. un changement mineur dans une partie d'un programme peut : avoir un effet énorme sur le fonctionnement de celle-ci affecter le fonctionnement d'autres parties du programme. Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 6

7 L e G é n i e l o g i c i e l Définition du Génie Logiciel : l'art de spécifier, de concevoir, de réaliser, et de faire évoluer, avec des moyens et dans des délais raisonnables, des programmes, des documentations et des procédures de qualité en vue d'utiliser un ordinateur pour résoudre certains problèmes le GL considère le logiciel comme un objet manufacturé complexe le but du GL est de définir des techniques de "fabrication" justifiées soit par la théorie, soit par la pratique depuis sa "naissance" le GL a permis de développer des logiciels : plus fiables qu'il y a vingt ans, plus facilement modifiables et satisfont mieux leurs utilisateurs ceci en utilisant des méthodes, des modèles et des outils Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 7

8 logiciels dans tous les domaines on demande de plus en plus au logiciel : E v o l u t i o n d e s l o g i c i e l s changement continu complexité croissante évolution du programme taille de plus en plus importante : CERN : demi-million d'instructions pour une expérience de physique des particules central téléphonique : le million d'instructions SPATIAL: plus grand projet de GL jamais réalisé est l'ensemble du contrôle au sol et en vol de la navette spatiale : 50 millions d'instructions (plusieurs milliers d'hommes-années)... exigences de correction, de fiabilité, de permanence du service deviennent de plus en plus fortes -> un des plus grands défis scientifiques et technologiques actuels. Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 8

9 p a r t i e 1 : A c t i v i t é s & M o d è l e s d e D é v e l o p p e m e n t Séance 1 : Activités et Modèles de développement du logiciel Les activités associées au développement du logiciel Analyse des besoins Spécification globale Conceptions architecturale et détaillée Programmation Gestion de configurations et Intégration Validation et vérification Les principaux modèles de développement du logiciel Modèle de la cascade Modèle en V Modèle en spirale Modèles par incréments Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 9

10 p a r t i e 2 : L e s O u t i l s d e s p é c i f i c a t i o n Séance 2 : Différents outils de spécification - Les énoncés informels - Les présentations formatées : le dictionnaire de données tables de décision table état-transition - Les outils graphiques ou semi-formels (1) les diagrammes de flot de données les diagrammes de structures Séance 3 : Différents outils de spécification - Les outils graphiques ou semi-formels (2) les diagrammes états-transition les réseaux de Pétri et le Grafcet l'entité-association de base et étendu Intro Générale - Génie Logiciel - Bernard ESPINASSE

11 p a r t i e 3 : L e s M é t h o d e s f o n c t i o n n e l l e s e t s y s t è m i q u e s Séance 4 : Les grands types de méthodes d'analyse et de conception - Les méthodes fonctionnelles - Les méthodes systèmiques - Les méthodes orientées objet Séance 5 : Les méthodes fonctionnelles : SA/SD et SADT - Historique - Domaine d'application - Modèles et formalismes - Démarche préconisée Séance 6 : Les méthodes systèmiques : MERISE/2 - Historique - Domaine d'application - Modèles et formalismes - Démarche préconisée : classique & rapide Intro Générale - Génie Logiciel - Bernard ESPINASSE

12 p a r t i e 3 : L e s M é t h o d e s O r i e n t é e s O b j e t e t F o r m e l l e s Séance 7 : Les méthodes objets : OMT - Intérêt de l'approche objet en génie logiciel - Historique - Domaine d'application - Modèles et formalisme - Démarche préconisée - Articulation MERISE/2 - OMT Séance 8 : Les méthodes formelles : Z - Historique - Domaine d'application - Modèles et formalisme Intro Générale - Génie Logiciel - Bernard ESPINASSE

13 p a r t i e 4 : M é t h o d e s d e T e s t e t d e P r e u v e e n G é n i e l o g i c i e l Séance 9 : Méthodes de Test et de Preuve en génie logiciel Méthodes de test de logiciel Définition du test de logiciel Classification des méthodes Test statique Test dynamique Efficacité des tests Méthodes de preuve de développement de logiciel Définition des preuves en génie logiciel Preuves de conception Preuves de programme Les preuves en pratique Intro Générale - Génie Logiciel - Bernard ESPINASSE