INF201 0

Transcript

1. Plan de la partie 1 - Introduction 1 - Introduction 1 G´ enie logiciel 2 Modularit´ e 3 Vers les objets 4 Approche objet 5 La plateforme Java 6 Un exemple « complet » 7 Organisation du cours Christophe Garion IN201 CPOO 5/ 547
2. Plan de la partie 1 - Introduction 1 G´ enie logiciel 2 Modularit´ e 3 Vers les objets 4 Approche objet 5 La plateforme Java 6 Un exemple « complet » 7 Organisation du cours Christophe Garion IN201 CPOO 6/ 547
3. G´ enie logiciel Hypoth` ese : le « g´ enie » (science de l’ing´ enieur) cherche la qualit´ e. D´ efinition Le g´ enie logiciel est la production de logiciels de qualit´ e. Terme « g´ enie » : science de l’ing´ enieur bases th´ eoriques m´ ethodes et outils valid´ es par la pratique D´ efinition (g´ enie logiciel) Art de sp´ ecifier, concevoir, r´ ealiser et faire ´ evoluer, avec des moyens et dans des d´ elais raisonnables des programmes, des documentations et des proc´ edures de qualit´ e en vue d’utiliser un ordinateur pour r´ esoudre certains probl` emes. Christophe Garion IN201 CPOO 7/ 547
4. Qualit´ es d’un logiciel Qualit´ es d’un logiciel externes : celles qui sont importantes ! interne : modularit´ e, lisibilit´ e Les qualit´ es internes influent sur les qualit´ es externes. . . Ouvrage de r´ ef´ erence (disponible ` a la biblioth` eque) : Meyer, B. (1997). Object-Oriented Software Construction . 2e ´ ed. Prentice Hall. Christophe Garion IN201 CPOO 8/ 547
5. Qualit´ es d’un logiciel correct robuste extensible r´ eutilisable compatible e cient facile portable fonctionnel livr´ e ` a temps v´ erifiable int` egre r´ eparable ´ economique maintenable document´ e D´ efinition (correction) Un logiciel est correct s’il agit conform´ ement ` a ses sp´ ecifications. ´ ecriture pr´ ecise des sp´ ecifications correction conditionnelle tests, approches formelles Christophe Garion IN201 CPOO 9/ 547
6. Qualit´ es d’un logiciel correct robuste extensible r´ eutilisable compatible e cient facile portable fonctionnel livr´ e ` a temps v´ erifiable int` egre r´ eparable ´ economique maintenable document´ e D´ efinition (robustesse) Un logiciel est robuste s’il agit de fa¸ con appropri´ e ` a des ´ ev´ enements anormaux. cas di ciles ` a pr´ evoir exemple typique : entr´ ee utilisateur scanf("%d", &i); i++; Christophe Garion IN201 CPOO 9/ 547
7. Qualit´ es d’un logiciel correct robuste extensible r´ eutilisable compatible e cient facile portable fonctionnel livr´ e ` a temps v´ erifiable int` egre r´ eparable ´ economique maintenable document´ e D´ efinition (extensibilit´ e) Un logiciel est extensible s’il s’adapte facilement aux changements de sp´ ecifications software. . . changement de sp´ ecifications, de la fa¸ con dont on les comprend, des algorithmes, des structures de donn´ ees. . . deux id´ ees : simplicit´ e de la conception et d´ ecentralisation Christophe Garion IN201 CPOO 9/ 547
8. Qualit´ es d’un logiciel correct robuste extensible r´ eutilisable compatible e cient facile portable fonctionnel livr´ e ` a temps v´ erifiable int` egre r´ eparable ´ economique maintenable document´ e D´ efinition (r´ eutilisabilit´ e) Un logiciel est r´ eutilisable s’il peut servir pour construire plusieurs applications. on ne r´ einvente pas la roue. . . permet de se concentrer sur les points durs (robustesse et correction par exemple) Christophe Garion IN201 CPOO 9/ 547
9. Qualit´ es d’un logiciel correct robuste extensible r´ eutilisable compatible e cient facile portable fonctionnel livr´ e ` a temps v´ erifiable int` egre r´ eparable ´ economique maintenable document´ e D´ efinition (compatibilit´ e) Un logiciel est compatible s’il peut se combiner facilement avec d’autres logiciels. standardisation : formats de fichiers, structures de donn´ ees, UI, . . . un exemple : en 1992, programme de r´ eservation de voitures et d’hˆ otels par AMR, 200 ing´ enieurs, 47000 pages de sp´ ecifications, 165 M$ ` a la poubelle. . . Christophe Garion IN201 CPOO 9/ 547
10. Qualit´ es d’un logiciel correct robuste extensible r´ eutilisable compatible e cient facile portable fonctionnel livr´ e ` a temps v´ erifiable int` egre r´ eparable ´ economique maintenable document´ e D´ efinition (e cience) Un logiciel est e cient s’il utilise aussi peu de ressources que possible. deux approches : optimisations fines et augmentation de la rapidit´ e des machines pas forc´ ement oppos´ ees peut ˆ etre contradictoire avec extensible et r´ eutilisable. Christophe Garion IN201 CPOO 9/ 547