LSR

Outils pour le Génie LogicielOutils pour le Génie Logiciel

Option M1Option M1

Didier Didier DonsezDonsez,Christophe ,Christophe JoubetJoubet, , Ioannis ParissisIoannis Parissis, ,

(J.M. Favre)(J.M. Favre)

M.L. M.L. PotetPotet, M. , M. PerinPerin

LSR

Génie logicielGénie logiciel

�� Génie logiciel :Génie logiciel :

méthodes et outilsméthodes et outils permettant permettant

le développement et l'évolution le développement et l'évolution

de de logiciels complexeslogiciels complexes

tout en contrôlant la tout en contrôlant la

qualitéqualité de la production.de la production.

�� Génie civil :Génie civil :

�� Logiciels concernés :Logiciels concernés :

�� logiciels de grande taillelogiciels de grande taille

�� logiciels critiqueslogiciels critiques

�� Exemples :Exemples :

�� CAO, transports, gestion...CAO, transports, gestion...

�� métro, centrale nucléaire, ...métro, centrale nucléaire, ...

LSR

Influence de la taille des constructions ?Influence de la taille des constructions ?

extrait du cours de Jezequel

LSR

Exemple de logiciel de grande taille: CATIAExemple de logiciel de grande taille: CATIA

LSR

Vision traditionnelle de l'informatiqueVision traditionnelle de l'informatique

Implementation Algorithmique Algorithmique

ProgrammationProgrammation

InterpreteurInterpreteur

CompilateurCompilateur

OUTILSOUTILS

EstEst--ce suffisantce suffisant

pour le développement de logiciels complexes ?pour le développement de logiciels complexes ?

NECESSAIRE MAIS INSUFFISANTNECESSAIRE MAIS INSUFFISANT

LSR

Cycle de vie du logicielCycle de vie du logiciel

Implementation

Analyse

Specification MéthodeMéthodepour le pour le développementdéveloppement etet l'évolutionl'évolution

desdes logicielslogiciels complexescomplexes

Test

Deploiement

Maintenance Evolution

LSR

Outils pour le génie logicielOutils pour le génie logiciel

Analyse

Specification

Implementation

Test

Deploiement

Maintenance Evolution

NombreuxNombreux outilsoutils de génie logicielde génie logiciel

•• horizontauxhorizontaux

•• verticauxverticaux

LSR

Objectifs de l'optionObjectifs de l'option

�� Comprendre le Comprendre le rôle des outilsrôle des outils

�� Classer Classer et et comparer comparer des outils existantsdes outils existants

�� Initiation aux Initiation aux outils etoutils et méthodes formellesméthodes formelles de développementde développement

�� Sensibilisation à la Sensibilisation à la qualitéqualité des logicielsdes logiciels

LSR

Cours décomposé en 2 modulesCours décomposé en 2 modules

Analyse

Specification

Implementation

Test

Deploiement

Maintenance Evolution

Outils de production Outils de production (3 ECTS)(3 ECTS)

Outils formels Outils formels (3 ECTS)(3 ECTS)

LSR

Implementation

Outils formels Outils formels (3ECTS)(3ECTS)

M.L.M.L. PotetPotet, M., M. PerinPerin

�� LesLes spécifications dansspécifications dans le cycle de viele cycle de vie

�� SpécificationsSpécificationsSpécificationsSpécificationsSpécificationsSpécificationsSpécificationsSpécifications des aspectsdes aspects statiquesstatiques etet dynamiques dynamiques �� PlusPlus faible préfaible pré--condition etcondition et preuvepreuvepreuvepreuvepreuvepreuvepreuvepreuve dede propriétéspropriétés�� RaffinementRaffinementRaffinementRaffinementRaffinementRaffinementRaffinementRaffinement etet preuve preuve �� DéveloppementDéveloppement etet preuve modulaires preuve modulaires �� PreuvePreuve enen logique dulogique du premierpremier ordreordre etet outillageoutillageoutillageoutillageoutillageoutillageoutillageoutillage

Specification

Implementation

SpecificationSpecificationSpecificationSpecificationSpecification

LSR

Outils de production Outils de production (3ECTS)(3ECTS)

J.M. FavreJ.M. Favre, I., I. ParissisParissis, D., D. DonsezDonsez

�� OrganisationOrganisation: : MakeMake et et ANTANT

�� Documentation:Documentation: JavadocJavadoc etet DoxygenDoxygen..

�� Test:Test: JunitJunit etet NounitNounit

�� VersionVersionss: : CvsCvs

�� EnvironnentEnvironnent dede développementdéveloppement: : EclipseEclipse

Specification

Implementation

Test

Deploiement

Maintenance Evolution

�� Rôle des outilsRôle des outilsRôle des outilsRôle des outilsRôle des outilsRôle des outilsRôle des outilsRôle des outils dans le cycle de viedans le cycle de vie�� Outils, méthodes et qualitéOutils, méthodes et qualité�� Problèmes d'intégrationProblèmes d'intégration

�� Exemple d'outilsExemple d'outilsExemple d'outilsExemple d'outilsExemple d'outilsExemple d'outilsExemple d'outilsExemple d'outils

LSR

Programme 2005Programme 2005--20062006

�� 28/09: 28/09: MetaWareMetaWare // MakeMake D.D.D.D.

�� 05/10: 05/10: AntAnt / TP/ TP MakeMake D.D.D.D.

�� 12/10: TP12/10: TP AntAnt / Fin TP D.D./ Fin TP D.D.

�� 19/10: Test I.P.19/10: Test I.P.

�� 26/10: libre pour TP26/10: libre pour TP

�� 02/11: vacances Toussaint (?)02/11: vacances Toussaint (?)

�� 09/11: 09/11: GuidelinesGuidelines Java+ Norme de Sun + JCSCJava+ Norme de Sun + JCSC + + JCheckstyleJCheckstyle C.J.C.J.

�� 16/11: 16/11: JavadocJavadoc++DoxygenDoxygen++JavasourceJavasource/ TP/ TP docdoc C.J.C.J.

�� 23/11: 23/11: LoggerLogger++debuggagedebuggage + + BugzillaBugzilla / TP bug C.J./ TP bug C.J.

�� 30/11: 30/11: JunitJunit I.P.I.P.

�� 07/12: CVS Subversion I.P.07/12: CVS Subversion I.P.

�� 14/12: Bonus 14/12: Bonus track track : : Eclispe Eclispe ou ou Maven Maven ou finir le CCou finir le CC

LSR

SynthèseSynthèse

�� Excellent équilibreExcellent équilibre pratique / théoriquepratique / théorique

�� Synthèse de concepts vus dans différents coursSynthèse de concepts vus dans différents cours

�� Outils essentielsOutils essentiels pour le développement de logicielspour le développement de logiciels

�� Excellente préparation pour Excellente préparation pour

�� la recherchela recherche :: MasterMaster 2 Recherche (SL, III, SI)2 Recherche (SL, III, SI)

�� l'industriel'industrie :: Master Master 22 ProfessionelProfessionel Génie InformatiqueGénie Informatique