www ensta_fr hitp://www.staff.city.ac.uk/~pop/www_ensta_fi.hml
Loft
EE Lien venne i | Ecole Tull any aaaiaa
Wes Avancées
Qu
Coordonnateur: :Jéréme GUEYDAN (ENSTA / DFR / A | tel. : (33) 01 45 52 44 24 , e-mail: Jerome. Gueydan@ensta.ft)
ité et Métrologie du Logiciel : mn 368
"Prévoir est un art trés difficile,
surtout prévoir le futur”
Nils Bohr
Llobjectf de ce cours est de répondre aux questions suivantes:
‘Queest-ce que la fiablité du logiciel ?
Pourquoi les méthodes statistiques sont-elles nécessaires ?
‘Comment peut-on mesurer et prévoir la fiabilité du logiciel?
Si.un ordinateur est une machine déterministe, pourquoi ne peut-on prévoir quand il tombera en panne ?
Sie logiciel pose un tel probléme pourquoi ne pas Timplémenter avec du matériel!
(On constate que les défauts ont toujours leur origine dans des erreurs de conception. II devient difficile, voire impossible,
assurer qu'un logiciel ne contient aucun défaut. La fiablité des logiciels est actuellement un domaine trés sensible dans
le domaine des télécommunications par exemple pour introduction des services nouveaux.
Le cours présente les perspectives ouvertes dans le domaine de evaluation prévisionnelie de la fiabilite du logiciel et les
‘outils permettant de caractériser la précision et la qualité des prévisions.
La théori c'est Ia meilleure pratique !
Les diverses méthodes et techniques que nous abordons, reposent sur les données collectées ; les modéles de croissance
de la iabilité, les tests statistiques, parmi lesquels les tests de tendance (méthodes graphiques et statistiques).
Contenu
Principales caractéristiques du systéme logiciel Mesurer la fiabilité du logiciel Modeles d'analyse de la croissance de la
fiabilté du logiciel Evaluation prévisionnelle de la fiabilité du logiciel Précision et qualité des prévisions Capacité et
limitations Questions sans réponses
Controle de connaissance
Micro-projt.
Documentation distribuée
La copie des transparents et de documents annexes.
EXSEIGNANE
Florin POPENTIU - Professeur a City University de Londres
‘e-mail: FLPopentiu@eity.ac.uk ; https/www.eity.ac.uk/~pop
18,01,2010 11:39syeynsay — suakoy — sj198/qo
1919160] np awjiqel4‘e11euuonesgdo aA uo fouDIeW
SoueIIeI9P Op susUEIUI / xney,
i} @P BOUBSS|O1D <— BJURSSIOIN9P BOUE||IEJ9P ep SYSUE}UI — LONeUT
:yuawenbiun uojjdeouos ep sejney 0.
+ ejfeuuoNessdo o1A Ua »B UeWAeddojangp UO J919/60] ~
jue\sUOD soUR||!e}9p ep xne} < senbisKud sejney o
49P ap xne} <- juaweddojangp ua sasull uojdeouos ap sejney o
F + ajauUONesado aA Ua jaL9}eW >
13191907 SA 13 1HALVIN —LNAWANNOILONOS 3G 3130S