VALIDATION DU TEST DU LOGICIEL PAR ... - LAAS CNRS

Download PDF
27 downloads 190 Views 504KB Size Report
Comment
La validation du test du logiciel dans le cas d'applications critiques est d'une ... la problématique de la mesure de l'efficacité des tests appliqués à un logiciel. La.
VALIDATION DU TEST DU LOGICIEL PAR INJECTION DE FAUTES : L’OUTIL SESAME ! Y#e%!Cr()*et,!P.%c.0e!Th3#en(56F(%%e!et!8309ne!:.e%e0;nc
Une! erreur! c(rre%p(n5! O! )n! 3t.t! interne! err(n3! 5)! pr(Ir.mme.! LJerre)r! e%t! 5ite! erreur initiale! 0(r%L)Je00e! r3%)0te! 5e! 0J.cti#.ti(n! 5J)ne! f.)te.! Cette! erre)r! initi.0e! pe)t!p.r!0.!%)ite!cr3er!5e!n()#e00e%!erre)r%!p.r!pr(p.I.ti(n! en!.ffect.nt!0e!f0(t!5e%!5(nn3e%!()get!0e!f0(t!5e!c(ntr_0e!5)! pr(Ir.mme.! S)ite! O! 5e%! ph3n(m9ne%! 5e! m.%L).Ie! )ne! erre)r!pe)t!5i%p.r.Ptre.!! ! Une! défaillance! %)r#ient! 0(r%L)e,! p.r! pr(p.I.ti(n,! )ne! erre)r! .ffecte! 0e! %er#ice! 530i#r3! p.r! 0e! 0(Iicie0,! p.r! eFemp0e,! 0(r%L)J)ne! erre)r! .ffecte! .)! m(in%! )n! 5e%! r3%)0t.t%!f()rni%!p.r!0e!pr(Ir.mme.!CJe%t!en!i5entifi.nt!)ne! 53f.i00.nce!p.r!0.!c(mp.r.i%(n!entre!0e%!r3%)0t.t%!f()rni%!et! ce)F!.tten5)%!L)e!0J(n!c(nc0)r.!O!0.!pr3%ence!5J)ne!f.)te! 5.n%!0e!pr(Ir.mme.! ! En! r3%)m3,! p()r! p()#(ir! r3#30er! )ne! f.)te,! 0e%! 5e)F! c(n5iti(n%! %)i#.nte%! 5(i#ent! btre! remp0ie%! 0(r%! 5e! 0JeF3c)ti(n!5J)n!Re)!5e!te%t!e! h! 0e!Re)!5e!te%t!5(it!5J.S(r5!btre!c.p.S0e!5J.cti#er!0.!f.)te! Z3t.pe!5e!c(mm.n5.Si0it3[,! h! 0e! Re)! 5e! te%t! 5(it! en%)ite! btre! c.p.S0e! 5e! pr(p.Ier! 0Jerre)r!initi.0e! R)%L)JO!5e%!5(nn3e%!(S%er#3e%! en!%(rtie! Z3t.pe!5J(S%er#.Si0it3[.! ! 2.2. Analyse de la couverture des tests ^.n%! 0e! c.5re! 5e! 53#e0(ppement! 5e! 0(Iicie0%! critiL)e%,! 5e)F!t;pe%!5J.n.0;%e!5e!c()#ert)re!5e%!te%t%!pe)#ent!btre! eFiI3%!cCd!e!! 1[! 0Janalyse (e la cou,erture (es s/0cifications! 5)! 0(Iicie0! L)i! .! p()r! (SRectif! 5e! #3rifier! 0.! c(mp03t)5e! 5e%! te%t%! f(ncti(nne0%! p.r! r.pp(rt! .)F! 303ment%! 5e! 0.! %p3cific.ti(n!5)!0(Iicie0!a! 2[! 0Janalyse (e la cou,erture structurelle L)i! .! p()r! (SRectif!5e!53terminer!0.!c(mp03t)5e!5e%!te%t%!#i%6O6#i%! 5e%!p.rtie%!5)!c(5e!eF3c)t.S0e%.! ! Le%! crit9re%! )ti0i%3%! p()r! 0.! c()#ert)re! %tr)ct)re00e! %(nt! S.%3%!%)r!0e!Ir.phe!5e!c(ntr_0e!()!0e!f0(t!5e!5(nn3e%!cGd.!A! titre!5JeFemp0e!5e!crit9re%!%tr)ct)re0%,!n()%!p()#(n%!citer! 0e%! crit9re%! %)i#.nt%!e! it()te%! 0e%! in%tr)cti(n%j,! it()te%! 0e%! Sr.nche%j,!it()te%!0e%!c(n5iti(n%g53ci%i(n%j,!etc.!! ! ^e! n(mSre)F! ()ti0%! c(mmerci.)F! %)pp(rtent! ce%! t;pe%! 5J.n.0;%e! 5e! c()#ert)re! %tr)ct)re00e.! I0%! permettent! 5e! me%)rer,!p()r!)n!pr(Ir.mme,!5.n%!L)e00e%!pr(p(rti(n%!)n! Re)! 5e! te%t! %en%iSi0i%e! 0e%! 5iff3rent%! 303ment%! %tr)ct)re0%! .%%(ci3%!O!)n!crit9re!5(nn3.!On!3t.S0it!.0(r%!)ne!me%)re!5e! c()#ert)re!%tr)ct)re00e!e! p.r! eFemp0e,! lX!\! 5e%! Sr.nche%! (nt!3t3!te%t3e%.! ! ^e! te00e%! .n.0;%e%! 5e! c()#ert)re! %tr)ct)re00e! %(nt! in5i%pen%.S0e%!a! en! effet,! %i! )n! 303ment! %tr)ct)re0! 5J)n! pr(Ir.mme! nJe%t! p.%! c()#ert! p.r! 0e! Re)! 5e! te%t,! i0! e%t! imp(%%iS0e! 5J.#(ir! )ne! inf(rm.ti(n! %)r! 0.! L).0it3! 5e! 0.! f(ncti(n! L)e! cet! 303ment! %tr)ct)re0! e%t! cen%3! remp0ir.!! T()tef(i%,! ce! t;pe! 5J.n.0;%e! nJe%t! p.%! %)ffi%.nt! p()r! 3#.0)er! 0.! pertinence! 5J)n! Re)! 5e! te%t! O! r3#30er! 5J3#ent)e00e%! f.)te%! r3%i5)e00e%.! En! effet,! mbme! %i! )n! 303ment!%tr)ct)re0!L)i!c(ntient!)ne!f.)te!e%t!c()#ert!p.r!0e!

Re)!5e!te%t,!i0!nJ;!.!.)c)ne!in5ic.ti(n!%)r!0e!f.it!L)e!0e!Re)! 5e!te%t!.it!effecti#ement!.cti#3!0.!f.)te!en!pr(5)i%.nt!)ne! erre)r!initi.0e!Zc(mm.n5.Si0it3[,!()!L)e!0Jerre)r!in5)ite!.it! p)! btre! pr(p.I3e! R)%L)JO! 5e%! %(rtie%! 5)! pr(Ir.mme! Z(S%er#.Si0it3[.!!! ! Une! f.m(n! 5J.)Imenter! 0.! c(nfi.nce! L)e! 0J(n! pe)t! .#(ir! 5.n%! 5e%! Re)F! 5e! te%t! e%t! 5J)ti0i%er! )ne! techniL)e! 5JinRecti(n!5e!f.)te%!permett.nt!5e!me%)rer!0J.ptit)5e!5e%! Re)F!5e!te%t!O!r3#30er!0e%!f.)te%!inRect3e%.!Cette!techniL)e,! c(nn)e! %()%! 0e! n(m! 5J.n.0;%e! 5e! m)t.ti(n,! e%t! pr3%ent3e! 5.n%!0e!p.r.Ir.phe!%)i#.nt.! ! 3. Présentation de l’analyse de mutation ! 3.1. Principe! ^3finie!initi.0ement!p.r!^eMi00(!c1d!0J.n.0;%e!5e!m)t.ti(n! c(n%i%te,! 5.n%! )n! premier! temp%,! O! cr3er,! O! p.rtir! 5J)n! pr(Ir.mme! ciS0e! P,! )n! en%emS0e! 5e! pr(Ir.mme%! Pi! n! .ppe03%!mutants!n!L)i!5iff9rent!5e!P!p.r!)ne!et!)ne!%e)0e! m(5ific.ti(n! 303ment.ire,! %;nt.FiL)ement! c(rrecte,! intr(5)ite!5.n%!0e!c(5e!%()rce!5e!P.!Cette!m(5ific.ti(n!e%t! .ppe03e! mutation.! Le%! m)t.ti(n%! %(nt! 53finie%! p.r! 5e%! (p3r.te)r%! 5e! m)t.ti(n! L)i! permettent! 5e! 53crire! 0.! m(5ific.ti(n! %;nt.FiL)e! .pp(rt3e! .)! pr(Ir.mme! ciS0e.! P0)%ie)r%!c.t3I(rie%!5J(p3r.te)r%!5e!m)t.ti(n!pe)#ent!btre! 5i%tinI)3%!e! remp0.cement! 5J)n! (p3r.te)r! p.r! )n! .)tre! (p3r.te)r,! m(5ific.ti(n! 5J)ne! #.0e)r! n)m3riL)e,! remp0.cement! 5J)n! %;mS(0e! Zn(m! %;mS(0iL)e! 5J)ne! c(n%t.nte,! n(m! 5J)ne! #.ri.S0e,! 5J)n! t.S0e.),!...[! p.r! )n! .)tre! %;mS(0e,! etc.! A! titre! 5JeFemp0e,! )ne! 0i%te! 5e%! 22! (p3r.te)r%! 5e! m)t.ti(n! p()r! 0e! 0.nI.Ie! F(rtr.n! .! 3t3! pr(p(%3e! 5.n%! cXd.! Le%! (p3r.te)r%! 5e! m)t.ti(n! %(nt! .pp0iL)3%! 5e! m.ni9re! eFh.)%ti#e! O! 0Jen%emS0e! 5e%! 303ment%!5e!P!pri%!)n!O!)n!p()r!pr(5)ire!)n!en%emS0e!Z()! S.%e[!5e!m)t.nt%!5)!pr(Ir.mme!ciS0e.! ! ^.n%! )n! 5e)Fi9me! temp%,! p.rt.nt! 5e! 0Jen%emS0e! 5e! m)t.nt%!5)!pr(Ir.mme!P!et!5J)n!Re)!5e!te%t!T,!0J.n.0;%e!5e! m)t.ti(n! c(n%i%te! O! 3#.0)er! 0.! pr(p(rti(n! 5e%! m)t.ti(n%! r3#303e%! p.r! T.! Une! m)t.ti(n! mi! e%t! r3#303e! p.r! T! %i! 0e! m)t.nt! c(rre%p(n5.nt! Pi! f()rnit! .)! m(in%! )ne! #.0e)r! 5e! %(rtie!5iff3rente!5e!ce00e!pr(5)ite!p.r!0e!pr(Ir.mme!ciS0e! P!en!r3p(n%e!.)!Re)!T!e!0e!m)t.nt!Pi!e%t!.0(r%!5it!tué!p.r!T.! Si!Pi!f()rnit!0e%!mbme%!%(rtie%!L)e!0e!pr(Ir.mme!P!0(r%!5e! 0JeF3c)ti(n! 5e! T,! Pi! e%t! 5it! vivant. ! ^e)F! c.%! %(nt! .0(r%! p(%%iS0e%!e!1[!%(it!i0!eFi%te!)ne!()!p0)%ie)r%!entr3e%!5e!te%t! L)i! p()rr.ient! r3#30er! mi,! m.i%! .)c)ne! 5Jentre! e00e%!nJe%t! c(nten)e!5.n%!T!a!2[!%(it!i0!nJeFi%te!.)c)ne!entr3e!5e!te%t! p()r!0.L)e00e!Pi!f()rnit!)n!r3%)0t.t!5iff3rent!5e!ce0)i!5e!P.! ^.n%!0e!premier!c.%,!i0!%J.Iit!5J)ne!f.iS0e%%e!5)!Re)!5e!te%t! T!a! 5.n%! 0e! %ec(n5! c.%,! .)c)n! Re)! 5e! te%t! ne! pe)t! t)er! Pi!! L)i!pr(5)it!t()R()r%!5e%!%(rtie%!i5entiL)e%!O!ce00e%!5e!P,!en! 53pit!5e!0.!m)t.ti(n!intr(5)ite!e!i0!ne!%J.Iit!5(nc!p.%!5J)ne! f.iS0e%%e!5e!T,!0e!m)t.nt!Pi!3t.nt!3L)i#.0ent!.)!pr(Ir.mme! ciS0e! P.! Un! eFemp0e! 3#i5ent! 5e! m)t.ti(n! en! 0.nI.Ie! C,! pr(5)i%.nt! )n! m)t.nt! 3L)i#.0ent! .)! pr(Ir.mme! ciS0e,! e%t! 0e! remp0.cement! 5e! 0J(p3r.te)r! 0(IiL)e! o!J! p.r! opo! 5.n%!

)ne! eFpre%%i(n! S((03enne! ibool! !! 0j! (`! bool! 53%iIne! )ne!#.ri.S0e!S((03enne.!! ! L.! me%)re! permett.nt! 5e!c.r.ct3ri%er!0Jeffic.cit3!5J)n!Re)! 5e!te%t!O!r3#30er!5e%!f.)te%!5e!t;pe!m)t.ti(n!e%t!0e!score de mutation.!P()r!)n!pr(Ir.mme!P!et!)n!Re)!T,!i0!c(rre%p(n5! O! 0.! pr(p(rti(n! 5e! m)t.nt%! n(n! 3L)i#.0ent%! O! P! L)i! %(nt! t)3%!p.r!T.!CJe%t!5(nc!)n!n(mSre!c(mpri%!entre!E!et!1!e!)n! %c(re!pr(che!5e!0J)nit3!%iInifie!L)e!T!%Je%t!m(ntr3!effic.ce! p()r!r3#30er!0e%!f.)te%!intr(5)ite%!5.n%!P.! ! L.! repr3%ent.ti#it3! 5e%! m)t.ti(n%! #i%6O6#i%! 5e%! f.)te%! r3e00e%! 5e! 53#e0(ppement! e%t! tr9%! c(ntr(#er%3e,! %i! Sien! L)Jen! pr.tiL)e! 0J.n.0;%e! 5e! m)t.ti(n! e%t! p0)%! )ti0i%3e! c(mme! S.%e! 5e! c(mp.r.i%(n! eFp3riment.0e! entre! 5iff3rente%! m3th(5e%! 5e! te%t,! L)e! c(mme! S.%e! 5e! 0J3#.0).ti(n!5e!0.!L).0it3!5e%!Re)F!5e!te%t.! ! ^e%!tr.#.)F!r3cent%,!O!0.!f(i%!th3(riL)e%!et!eFp3riment.)F! cq,! Bd,! (nt! 3t3! men3%! p()r! c.r.ct3ri%er! 0.! repr3%ent.ti#it3! 5e%!m)t.ti(n%.!I0%!(nt!c(n%i%t3!O!.n.0;%er!et!O!c(mp.rer!0e%! c(mp(rtement%!err(n3%!I3n3r3%,!5J)ne!p.rt,!p.r!5e%!f.)te%! r3e00e%!r3%)0t.nt!5)!53#e0(ppement,!et!5J.)tre!p.rt!p.r!5e%! f.)te%! .rtificie00e%! 5e! t;pe! m)t.ti(n.! Ce%! tr.#.)F! (nt! permi%!5J.S()tir!.)F!c(nc0)%i(n%!%)i#.nte%!e! h! 0e%! c(mp(rtement%! err(n3%! in5)it%! p.r! 0e%! m)t.ti(n%! pr3%entent! 5e%! %imi0it)5e%! f(rte%! .#ec! ce)F! L)i! %(nt! in5)it%! p.r! 5e%! f.)te%! r3e00e%! I3n3r.0ement! p0)%! c(mp0eFe%! ZcJe%t6O65ire! 5(nt! 0.! c(rrecti(n! imp0iL)e! p0)%ie)r%! in%tr)cti(n%! 5)! c(5e! %()rce! 3#ent)e00ement! r3p.rtie%!%)r!p0)%ie)r%!S0(c%!5Jin%tr)cti(n%[!a! h! 0e%! m)t.ti(n%! pe)#ent! btre! .)%%i! 5iffici0e%! O! r3#30er! p.r! 5e%!Re)F!5e!te%t!L)e!5e%!f.)te%!r3e00e%!a! h! 0e%! c(mp(rtement%! err(n3%! I3n3r3%! p.r! 0e%! m)t.ti(n%! %(nt! %)ffi%.mment! #.ri3%! p()r! btre! repr3%ent.tif%! 5J)n! S(n! n(mSre! 5e! c(mp(rtement%! err(n3%! in5)it%! p.r! 5e%! f.)te%!r3e00e%.! ! En! c(nc0)%i(n,! ce%! r3%)0t.t%! (nt! permi%! 5e! r3h.Si0iter! 0J.n.0;%e! 5e! m)t.ti(n! en!t.nt!L)e!techniL)e!5e!#.0i5.ti(n! 5e%! te%t%! 5)! 0(Iicie0!a! i0%!()#rent!0.!#(ie!O!0J)ti0i%.ti(n!5e! cette!techniL)e!en!c(mp03ment!5e%!.n.0;%e%!5e!c()#ert)re! %tr)ct)re00e!men3e%!%)r!)ne!.pp0ic.ti(n!critiL)e.!! ! 3.2. Mise en œuvre! I0! eFi%te! pe)! 5J()ti0%! p()r! 0J.n.0;%e! 5e! m)t.ti(n,! 0e%!p0)%! c(nn)%! 3t.nt! M(thr.! et! PiSCES.! 8i%t(riL)ement,! M(thr.! crd! e%t! 0e! premier! ()ti0! 5J.n.0;%e! 5e! m)t.ti(n! L)i! .it! 3t3! 5i%p(niS0e.!I0!ciS0e!0e%!pr(Ir.mme%!3crit%!en!F(rtr.n!et!e%t! .ct)e00ement! 5i%triS)3! 5e! m.ni9re! p)S0iL)e! %)r! Internet.! P0)%! r3cemment,! )n! %ec(n5! ()ti0! 5J.n.0;%e! 5e! m)t.ti(n!.! 3t3!pr(p(%3!p()r!0e!0.nI.Ie!C.!I0!%J.Iit!5e!0J()ti0!53n(mm3! iPiSCES!M)t.ti(n!Te%tinI!T((0j!cld.! ! I0!f.)t!n(ter!L)e!0J)ti0i%.ti(n!5e!0J.n.0;%e!5e!m)t.ti(n!5.n%! 0e! %ecte)r! in5)%trie0! e%t! frein3e! p.r! 5e)F! pr(S09me%! 5e! mi%e! en! s)#re!e! 0e! temp%! 5JeF3c)ti(n! 5e%! m)t.nt%! et! 0Ji5entific.ti(n!5e%!m)t.nt%!3L)i#.0ent%.! !

C(mpte! ten)! 5)! n(mSre! 5J(p3r.te)r%! 5e! m)t.ti(n! pr(p(%3%,! 0e)r! .pp0ic.ti(n! eFh.)%ti#e! O! 0Jen%emS0e! 5)! pr(Ir.mme!ciS0e!pe)t!c(n5)ire!O!)n!n(mSre!imp(rt.nt!5e! m)t.nt%,! ceci! mbme! p()r! 5e%! pr(Ir.mme%! 5e! t.i00e! m(5e%te.!Le!temp%!n3ce%%.ire!O!0JeF3c)ti(n!5e!ch.c)n!5e%! m)t.nt%! .#ec! 0e%! Re)F! 5e! te%t! O! #.0i5er! pe)t! .0(r%! btre! in.ccept.S0e! 5.n%! )n! c(nteFte! in5)%trie0.! Une! .ppr(che! pr(mette)%e! p()r! 0.! r35)cti(n! 5)! temp%! n3ce%%.ire! O! 0J.n.0;%e! 5e! m)t.ti(n! e%t! 0J.ppr(che! 5ite! 5e! m)t.ti(n! %30ecti#e.!Cette!.ppr(che!.!3t3!53#e0(pp3e!et!eFp3riment3e! p.r!M.th)r!et!Off)tt!c1E,!11d!%)r!lq!pr(Ir.mme%!F(rtr.n! en! )ti0i%.nt! 0J()ti0! M(thr..! Le)r%! 3t)5e%! (nt! c(n%i%t3! O! 53finir! )ne! %30ecti(n! 5e%! (p3r.te)r%! 5e! m)t.ti(n! L)i! %(it! repr3%ent.ti#e! 5e! 0Jen%emS0e! 5e%! (p3r.te)r%! 5i%p(niS0e%! 5.n%! M(thr..! Le%! r3%)0t.t%! (Sten)%! en! )ti0i%.nt,! %(it! 0Jen%emS0e! 5e%! 22! (p3r.te)r%! 5i%p(niS0e%! 5.n%! M(thr.,! %(it!)n!%()%6en%emS0e!5e!ce%!(p3r.te)r%,!(nt!3t3!c(mp.r3%.! ^.n%!c11d,!0e%!.)te)r%!c(nc0)ent!L)e,!p.rmi!22!(p3r.te)r%! 5e!m)t.ti(n,!%e)0%!X!%(nt!%)ffi%.nt%!p()r!mettre!en!s)#re! effic.cement!0J.n.0;%e!5e!m)t.ti(n.!! LJi5entific.ti(n! 5e%! m)t.nt%! 3L)i#.0ent%! .)! pr(Ir.mme! ciS0e! e%t! n3ce%%.ire! O! 0.! 53termin.ti(n! 5)! %c(re! 5e! m)t.ti(n!a!en!effet,!i0%!5(i#ent!btre!retir3%!5e!0.!p(p)0.ti(n! 5e%! m)t.nt%! Zcf.! t.! C.1[.! ^.n%! c12,! 1Cd,! tr(i%! c.t3I(rie%! princip.0e%!5J3L)i#.0ence!%(nt!pr3%ent3e%!e! h! 3L)i#.0ence! f(ncti(nne00e!e! 0.! m)t.ti(n! intr(5)ite! ne! I3n9re! R.m.i%! 5Jerre)r! initi.0e! et! 0e! c(mp(rtement! 5)! pr(Ir.mme!nJe%t!p.%!.ffect3.! h! 3L)i#.0ence! 5)e! O! 0.! %tr)ct)re! 5)! pr(Ir.mme!e! 0.! m)t.ti(n!intr(5)ite!5.n%!0e!pr(Ir.mme!pe)t!I3n3rer!5e%! erre)r%!L)i!%(nt!%;%t3m.tiL)ement!.nn)03e%!()!m.%L)3e%! en!c()r%!5JeF3c)ti(n!L)e0!L)e!%(it!0e!chemin!eF3c)t3,!et! ne!pe)#ent!5(nc!R.m.i%!c(n5)ire!O!53f.i00.nce.! h! 3L)i#.0ence! 5)e! O! 0Jen#ir(nnement! 5JeF3c)ti(n!e! 0.! m)t.ti(n! ne! pe)t! p.%! btre! r3#303e! 5.n%! 0Jen#ir(nnement! 5JeF3c)ti(n! )ti0i%3! m.i%! e00e! p()rr.it! c(n5)ire! O! )ne! 53f.i00.nce! 5.n%! )n! .)tre! en#ir(nnement! Zp.r! eFemp0e,! %)ppre%%i(n! 5J)ne! initi.0i%.ti(n! O! E! 5.n%! )n! en#ir(nnement! L)i! remet! %;%t3m.tiL)ement! O! E! 0Jen%emS0e!5e!0.!m3m(ire!.#.nt!ch.L)e!eF3c)ti(n[.! LJi5entific.ti(n! 5e%! m)t.nt%! 3L)i#.0ent%! e%t! )ne! 3t.pe! e%%entie00ement!m.n)e00e!a!mbme!%i!5e%!.i5e%!pe)#ent!btre! en#i%.I3e%,! e00e! ne! p()rr.! R.m.i%! btre! t(t.0ement! .)t(m.ti%3e.! ^.n%! c1Gd,! 0e%! .)te)r%! pr(p(%ent! 5e%! .0I(rithme%!p()r!0.!53termin.ti(n!.)t(m.tiL)e!5J)n!%()%6 en%emS0e! 5e! m)t.nt%! 3L)i#.0ent%!a! i0%! %(nt! S.%3%! %)r! 5e%! .n.0;%e%!%t.tiL)e%!5)!f0(t!5e!5(nn3e%!et!%)r!%iF!techniL)e%! 5J(ptimi%.ti(n!5)!c(mpi0.te)r!.%%(ci3!.)!0.nI.Ie!ciS0e.! ! 4. Description de l’outil SESAME ! ^.n%!0e!c.5re!5e%!recherche%!men3e%!.)!LAAS6CNRS!%)r! 0e!te%t!5)!0(Iicie0,!n()%!.#(n%!53ci53!5J)ti0i%er!0J.n.0;%e!5e! m)t.ti(n!p()r!#.0i5er!0e%!.ppr(che%!5e!te%t!pr(p(%3e%.!Le! %e)0! ()ti0! 5J.n.0;%e! 5e! m)t.ti(n! 5i%p(niS0e! 3t.it! .0(r%! M(thr.! Zcf.!t!C.2[! et! n(%! premi9re%! eFp3riment.ti(n%! c(ncern.ient! 5e%! pr(Ir.mme%! 3crit%! en! 0.nI.Ie! C.! N()%! .#(n%! 5(nc! c(nm)! et! 53#e0(pp3! n(tre! pr(pre! ()ti0!

5J.n.0;%e! 5e! m)t.ti(n!a! i0! %J.Iit! 5e! 0J()ti0! SESAME! Z5e! 0J.nI0.i%! S(ftf.re! En#ir(nment! f(r!S(ftf.re!An.0;%i%!S;! M)t.ti(n!Effect%[.!! ! ^.n%! 0.! %)ite! 5e! cette! p.rtie,! n()%! pr3%ent(n%! 5J.S(r5! %tr)ct)re!I3n3r.0e!5e!0J()ti0.!N()%!en!53t.i00(n%!en%)ite!0e%! princip.)F!m(5)0e%.! 4.1. Présentation générale de l’outil SESAME! %e! 5i%tinI)e! 5e%! .)tre%! ()ti0%! 5J.n.0;%e! 5e! m)t.ti(n!p.r!0e!f.it!L)Ji0!e%t!m)0ti60.nI.Ie%.!C(ntr.irement! .)F! .)tre%! ()ti0%! L)i! (nt! 3t3! 53#e0(pp3%! p()r! )n! 0.nI.Ie! 5(nn3,! i0! pe)t! btre! )ti0i%3! p()r! p0)%ie)r%! 0.nI.Ie%.! Ce0.! tient! .)! f.it! L)e,! 59%! %(n! premier! pr(t(t;pe,! 0e! n(;.)! 5e! SESAME! .! 3t3! 53#e0(pp3! 5e! m.ni9re! t(t.0ement! in53pen5.nte!5)!0.nI.Ie!)ti0i%3!.)!ni#e.)!5e%!pr(Ir.mme%! ciS0e%! 5e%! eFp3riment.ti(n%.! Ain%i,! %i! 0e%! premi9re%! eFp3riment.ti(n%! c(ncern.ient! 5e%! pr(Ir.mme%! 3crit%! en! 0.nI.Ie! C! c12,! 1C,! 1X,! 1qd,! 0e%! eFp3riment.ti(n%! (nt! p)! p(rter! p.r! 0.! %)ite! %)r! 5e%! .pp0ic.ti(n%! 53#e0(pp3e%! en! PASCAL,! A%%emS0e)r! ()! .#ec! 0e! 0.nI.Ie! %;nchr(ne! LUSTRE!c1B,!1r,!1ld.! ! L.! fiI)re! 1! pr3%ente! 5e! m.ni9re! %;nth3tiL)e! 0.! %tr)ct)re! I3n3r.0e!5e!SESAME.!

5J)n!%e)0!fichier!L)i!c(ntient!0Jen%emS0e!5e%!m)t.nt%!%()%! f(rme! c(mp.cte! e! %e)0e! 0.! 0iIne! 5)! c(5e! %()rce! L)i! 5i%tinI)e!0e!m)t.nt!5)!pr(Ir.mme!ciS0e!e%t!%t(c