Génie Logiciel
Génie Logiciel
Génie Logiciel
01/07/10 1
plan
01/07/10 2
Analyse de l’existant : Crise du logiciel
01/07/10 3
Analyse de l’existant : Crise du logiciel
01/07/10 4
Définition:
01/07/10 5
Par quel bout???
Le logiciel
L utilisateur , développeur
L’industrie
Une science
01/07/10 6
Sur le plan théorique : Les Méthodes
Analyse
Conception
Codage
Test
Maintenance
01/07/10 7
Sur le plan théorique : Procédures
Gestion de projet
Assurance qualité du logiciel
Gestion de la configuration du logiciel
Mesures (métriques)
Suivi
Insertion de technologies innovatrices
01/07/10 8
Sur le plan théorique : Des outils (un atelier)
01/07/10 9
Récap :
Des moyens + des procédures
Atelier
Produire un logiciel
01/07/10 10
Exemple d’approche
L’approche formelle
01/07/10 11
Méthodes formelles
01/07/10 12
Pourquoi?
Quand on doit garantir ce que le
programme va et ne va pas faire.
Guichet automatique bancaire
système d’assistance médicale
Quand on ne peut pas se permettre de
construire un prototype pour le tester!
01/07/10 13
Comment?
01/07/10 14
Quand?
Modélisation : spécification plus précise
qu’un bout de code.
Conception : permet de prouver que la
conception correspond bien au modèle.
Vérification : permet de prouver que le
système va fonctionner dans tous les
cas(contrairement aux tests, on l’on n’est
jamais sûr d’avoir tout essayé).
01/07/10 15
Opérationnalisation :
Gérer le cycle de vie du logiciel
Modélisation UML
Réutilisation de modèles
Conception Orienté modèle
MDA – Model Driven Architecture
01/07/10 16
Compétences du génie logiciel
01/07/10 17
Thank You
01/07/10 18
Solutions:
Comment on quantifie la productivité
d’un logiciel?
01/07/10 19