Hidden Markov Model Based Automated Fault Localization for Integration Testing
5
0
0
Texte intégral
(2)
(3)
(4)
(5)
(6)
(7)
(8) D[UmMbhUkw ]Ow B]lX]lhMw 3>3B43:=Bw B]lX]lhM w0f[JMw.
(9) :GiU][GXw 3[hiUiliMw]Ow3[O]bYGiUJhw B]W] w6G^G[w. D[UmMbhUkw ]Ow B]lX]lhMw 3>3B43:=Bw B]lX]lhM w0bG[JMw. C=C; ;22CH22=<I 3GS. C@?BC== .0 ?ES. B.G0 E.CI2A2CH22=<I 3GS. .0-0(1 !+1#)(9 1 /1#(!9 #/9 (9 5* (/#3 9 1#3#169 #(9 /) 18 4+ 9 1 /1#(!9 /* #%%69 )+9 2%19 %)%#71#)(9 #(9 )&*% 59 /6/1 &/9 ) %/ 9 #!()/#/9
(10) 9 *+)3# /9 3+#)2/9 ( 1/9 #(9 1 +&/9 ) 9 /%#%#169 (9 +)2/1( //9 (9 1"#/9 4)+$9 4 9 *+)*)/ 9 9 ()3 %9
(11) 9 **+)"9 )+9 1" 9 21)&1 9 2%19 %)%#71#)(9 #(9 #(1 !+1#)(9 1 /1#(!9 2+9 & 1")9 #/9 / 9 )(9 # (9 +$)39 ) %9 9 4"#"9 #/9 (9 /1+1#)(9 ) 9 /6/1 &/9 )&*)( (19 1)9 /#&2%1 9 )&*)( (1/9 "3#)2+9 " 9 )+ 9 ) 9 1"#/9 & 1")9 #/9 9 2%19 %)%#71#)(9 %!)+#1"&9 1"19 !#3 /9 )219 1" 9 / 19 ) 9 /2/* 19 2%169 )&*)( (1/9 (9 9 $4+9 %!)+#1"&9 1"19 %2%1 /9 1" 9 &1"#(!9 !+ 9 14 (9 1" 9 9 (9 1" 9 + %9 /6/1 &9 1)9 3%21 9 1" 9 )( ( 9 !+ 9 ) 9 1" 9 %)%#71#)(9 )(%2/#)(9 " 9 *+)*)/ 9 & 1")9 #/9 3%21 9 )(9 9 /* # 9 1 /19 9 (9 #/9 **%# 9 1)9 9 /#&*% 9 " %#)*1 +9 )(1+)%9 /6/1 &9 / 9 /1269. r¦ºÁ ,'.) % / 9
(12) #!()/#/9 # (9 +$)39 ) %9. 21)&1 9 2%19 )%#71#)(9 (1 !+1#)(9 /1#(!9. S (/630 7 6'0/] LIDB.I21S =CI2;G.I=DCS I2HI=C;S =HS .CS 260=2CIS N.PS IDS 12I20IS I<2S 3.LAIHS 0.LH21S /PS I<2S =CI2G.0I=DCHS /2IN22CS 0DBEDC2CIH S DN2M2GS 12I20I=C;S .C1S AD0.I=C;S 3.LAIHS =CS .S 0DBEA2OS HPHI2BS N=I<S A.G;2S .BDLCIS D3S 0DBEDC2CIHS .G2S 2OE2CH=M2S .0I=M=I=2H S #D12AHS .HS I<2S ./HIG.0I=DCSD3SG2.AS HPHI2BS 0DCI.=CS2CDL;<S0DG2S =C3DGB.I=DCS IDS G2EG2H2CIS I<2S 12H=G21S /2<.M=DLGS D3S .S HPHI2BS LC12GSI2HI S #D12A/.H21S1=.;CDH=HS # S +
(13) -SEGDM=12HSM.G=DLHS /2C27IHS =CS I2GBHS D3S H0.A./=A=IPS .C1S GD/LHIC2HH S BEGDM=C;S =CI2;G.I=DCS I2HI=C;S /PS LH=C;S .LIDB.I21S 3.LAIS AD0.A=Q.I=DCS .ER EGD.0<S /.H21S DCS BD12AS =HS HI=AAS .CS =BEDGI.CIS HL/?20I S .LAIS AD0.A=Q.I=DCS.A;DG=I<BHS3DAADNSINDSE.G.1=;BHS0.LH223320IS.C1S 2520I0.LH2S.C.APH2H S .LH223320IS.C.APH=HS + -+-SHI.GIHS 9DBS EDHH=/A2S 0.LH2HS 3.LAIS BD12AH S S H=BLA.IDGS =HS LH21S IDS EG21=0IS HPHI2BHS /2<.M=DLGS =CS I<2S EG2H2C02S D3S M.G=DLHS 3.LAIH S '<2CS EG21=0I=DCHS .G2S B.I0<21S .;.=CHIS D/H2GM21S /2<.M=DLG S 520IR 0.LH2S .C.APH=HS +-S +-S G2.HDCHS 3.LAIPS AD0.A=Q.I=DCS /.H21S DCS D/H2GM21S /2<.M=DLGS .C1S 2OE20I21S ;DD1S 3LC0I=DCH S IS /.0@R IG.02HS 3.LAIPS 0.LH2HS 3GDBS I<2S =12CI=721S HLHE20IS 0DBEDC2CIH S CS I<=HS NDG@S N2S B.@2S .S IG.12D5S D3S 0.LH223320IS .C1S 2520IR 0.LH2S.C.APH2HS.C1SEGDEDH2S.CS =112CS#.G@DMS #D12AS ##S +-S /.H21S .EEGD.0<S 3DGS I<2S .LIDB.I21S AD0.A=Q.I=DCS D3S 3.LAIPS 0DBEDC2CIHS =CS =CI2;G.I=DCS I2HI=C; S '<2S 0DBEDC2CIS 0.CS /2S <.G1N.G2S 12M=02S HD:N.G2S BD1LA2HS DGS 3LC0I=DC.AS /AD0@HS =CS @%5 C% CC C%8AC /2S I2HIS 0.H2HS D3S .S 3.LAIPS I<2S HPHI2B S "2IS @w HPHI2BS $C N<2G2S %2C /2 C:2 3C 7 C =HS .S I2HIS 0.H2S N=I<S /2C .HS =CELIS .C1S !2C .HS 2OE20I21S DLIELI S '<2S I2HIS DLIELIS D3S %2C =HS "2C $/2 C %2C =HS .S E.HH21S I2HIS 0.H2S =3S .C1S DCAPS =3S . . . . "2C :2C DI<2GN=H2S %2C =HS .S 3.=A21S 0.H2 S *2S .LIDB.I=0.AAPS AD0.I2S I<2S H2IS D3S HLHE20IS 3.LAIPS 0DBEDC2CIHS N=I<S ;=M2CS =CR 3DGB.I=DCS $ C@w '<=HS B2I<D1S 0DB/=C2HS 3DGN.G1S AD0.A=Q.I=DCS .C.APH=HS .C1S /.0@N.G1S 0DC712C02S 12;G22S 2M.AL.I=DC S ##S .HS .S 0DBEDC2CIHS ./HIG.0I=DCS EGDM=12HS HI.I=HI=0.AAPS =12CI=0.AS =C3DGB.I=DCS IDS 0DBEDC2CIHS G2.AS /2<.M=DLG S '<2S 0DG2S D3S I<=HS B2I<D1S =HS .S 3.LAIS AD0.A=Q.I=DCS .A;DG=I<BS I<.IS ;=M2HS DLIS I<2S H2IS D3S HLHE20IS 3.LAIPS 0DBEDC2CIHS .C1S .S /.0@N.G1S .A;DG=I<BS I<.IS 0.A0LA.I2HSI<2SB.I0<=C;S12;G22S/2IN22CSI<2S ##S.C1S I<2SG2.AS HPHI2BS IDS 2M.AL.I2S I<2S 0DC712C02S 12;G22S D3S I<2S AD0.A=Q.I=DCS 0DC0ALH=DC S '<2S EGDEDH21S B2I<D1S =HS 2M.AL.I21S DCS .S HE20=70S I2HIS /21S .C1S I<2CS =HS .EEA=21S IDS .S H=BEA2S <2A=0DEI2GS 0DCIGDAS HPHI2BS 0.H2S HIL1P S '<=HS E.E2GS =HS DG;.C=Q21S .HS 3DAADNHS &20I=DCS S /G=28PS =CR IGD1L02HS ##S CS &20I=DCS S I<2S BD12A=C;S B2I<D1S /.H21S DCS ##S .C1S I<2S 3.LAIS AD0.A=Q.I=DCS .A;DG=I<BHS .G2S 1=H0LHH21S '<2S 2OE2G=B2CI.AS G2HLAIHS =CS DLGS HE20=70S I2HIS /21S .C1S =CS I<2S <2A=0DEI2GS 0DCIGDAS HPHI2BS 0.H2S HIL1PS .G2S EG2H2CI21S =CS &20I=DCS )S &20I=DCS )S ;=M2HS HDB2S 0DC0AL1=C;S G2B.G@H S . S &..] .0 +'/$] / ] /+: 5'5] CS ##S =HS 127C21S .HS .S HI.I=HI=0.ASBD12ASLH21SIDS G2EG2H2CIS HID0<.HI=0SEGD02HH2HSN<2G2SI<2SHI.I2HS.G2SCDIS1=G20IAPSD/H2GM21 S S /.H=0S ##S 0.CS /2S 12H0G=/21S .HS 3DAADNHS JL JL JL. JL. C CLB/2GS D3S HI.I2HS C CLB/2GS D3S D/H2GM.I=DCHS. (L. C =C=I=.AS EGD/./=A=IPS 1=HIG=/LI=DCS C C/ C \=Á. . ;Á. &C EGD/./=A=IPS 1=HIG=/LI=DCS D3S IG.CH=I=DCHS 9DBS HI.I2HS IDS (L. HI.I2HS &/ 1 C \=Á. JL. . 6 /C C . C2B=HH=DCS1=HIG=/LI=DCS3DGSI<2SD/H2GM.I=DCHS.HHD0=.I21S &L. N=I<S HI.I2HS C / 1 C \=Á. . q Á. /C C . ##S =HS HI.I=HI=0.AAPS =12CI=0.AS IDS HPHI2BHS G2.AS /2<.M=DLG S ##SH2E.G.I2HSI<2S0DC02EIS=CIDSINDS0DC02EIL.AAPS=C12E2C12CIS E.G.1=;BHS /2<.M=DLGS .C1S D/H2GM.I=DC S 2<.M=DLGS G232GHS IDS N<.IS I<2S HPHI2BS G2.AAPS =HS N<=A2S D/H2GM.I=DCS G2A.I2HS I<2S 2A2R B2CIHS2O<=/=I21S/PSI<2SHPHI2BSI<.IS.G2SLH21S3DGS=IHS G20D;C=I=DC S C &C .C1S C 0.CS /2S D/I.=C21S /PS BD12AA=C;S DGS I<GDL;<S .S A2.GC=C;S EGD02HH S $C02S .AAS I<2H2S B.IG=OS E.G.B2I2GHS .G2S 2HI=B.I21S ##S=HS0.E./A2SIDS121L02SI<2SB.O=BLBSA=@2A=<DD1S.
(14) 2HI=B.I=DCS D3S =CC2GHI.I2S IG.CH!I!DCS H2FL2C02H S '<2S IG.=C21S ##SN=AAS/2SLH21SIDS2HI=B.I2SHPHI2BHSE.HIS0DC1=I=DCS EG21=0IS HPHI2BHS 3LILG2S 0DC1=I=DCS .C1S 0DBELI2S .S 3LILG2S D/H2GM21S H2FL2C02HS D00LGG2C02S EGD/./=A=IP S $LGS ;D.AS =HS IDS 7C1SDLIS <DNS I<2S HPHI2BS E2G3DGBHS =CSI2GBHS D3S /2<.M=DLGS <DN2M2GS I<2S DCAPS .M.=A./A2S=C3DGB.I=DCS HDLG02S 3DGS I<2S 2OI2GC.AS NDGA1S =HS I<2S D/H2GM.I=DC S '<2G23DG2S .S /.0@N.G1S .C.APH=HS =HS C202HH.GPS IDS G20DM2GS I<2S /2<.M=DLGS 9DBS I<2S D/R H2GM.I=DC S '<2S 0DG2S =HHL2S =HS IDS 0DCHIGL0IS ##S G2EG2H2CI=C;S .S HPHI2BS N=I<S EGD/./A2S 3.LAI S '<2S A2.GC=C;S I.H@S 0.CCDIS /2S LH21S <2G2 S 20.LH2S I<2S A2.GC=C;S I.H@S N=AAS IG.=CS .AAS I<2S E.G.B2I2GHS =CS ##S N<=A2S =CS DLGS B2I<D1S I<2S E.G.B2I2GHS =CS 1 .G2S 0.A0LA.I21S /PS LH=C;S I<2S I2HIS G2HLAIH S S 760-6 ] #7+65] ,0 +';6'0/] 5 ]0/] &' /] .3*08] .0 +]. '<=HS .EEGD.0<S =HS /.H21S DCS 0DBEDC2CIS .C.APH=H S .0<S 0DBR EDC2CIS =HS B.EE21S IDS .CS ## S 3S .AAS I<2S =CELKDLIELIS E.=GS D3S .S 0DBEDC2CIS 0.CS /2S 2O<.LHI=M2APS A=HI21S N2S 0.CS ;2IS .CS 2O.0IS 1=HIG=/LI=DCS D3S <DNS I<=HS 0DBEDC2CIS G2HE20IHS I<2S 3LC0I=DC.AS 0DCHIG.=CIH S '<=HS .EEGD.0<S 0.CS /2S 2OEA.=C21S /PS LH=C;S =; S
(15) S CS ##S .HS .S 0DBEDC2CIHS ./HIG.0I=DCS EGDM=12HS HI.I=HI=0.AAPS. PS 127C=C;S ##S HI.I2HS .C1S D/H2GM.I=DCHS =CS I<=HS N.PS I<2S 12E2C12C0PS /2IN22CS 0DBEDC2CIHS =HS /L=AI S DGS 0DBEDC2CIS S =IHS DLIELIS D/H2GM.I=DCS =HS I<2S =CELIS 0DCI.=C21S =CS I<2S 127C21S HI.I2HS D3S I<2S HL002HHDG S eÁ. 3[UiUGXw =gIGIUXUjpw-UhibUIliU][w 1. HHLB2S 0DBEDC2CIHS 3.LAIPS EGD/./=A=IPS =HS GL 1 =HS 127C21S .HS 3DAADN S 3S GL =HS CDIS .M.=A./A2S N2S .HHLB2S 2.0<S HI.I2S <.HS =12CI=0.AS =C=I=.AS 3.LAIPS EGD/./=A=IPS = 2 S GL BC . ipÁ. HL. HL. HL. -w BbG[hUiU][w =gIGIUXUjpw 9GibUow 1 1 =HS HI.I=HI=0.AS M.AL2HS 12G=M21S 3GDBS I2HIS G2HLAIH S 3S :L I2HIS 0.H2HS .G2S D/H2GM21S .S 0DBEDC2CIS N=I<S 7L =CELIHS 0DGG2HEDC1HS IDS 7L S :L =CELIS H2FL2C02H S (H=C;S I<2S 7L S :L =CELIS H2FL2C02HS N2S 0.CS 0.A0LA.I2S I<2S 3.LAIS EGD/./=A=I=2HS L [Á ([ G2HE20I=M2APS 3DGS I<2S IG.CH=I=DCHS 3O[ 3O3O[ 3=[3=[ 3O[3=[ 3=[ N<2G2S L Á [Á Á Á ([ ;*Á 1 =HS I<2CS 0.A0LA.I21S .HS 3DAADNH S 3S GL =HS CDIS .M.=A./A2S N2S .HHLB2S GL BC . . . . . . pÁ pÁ ptÁ ipÁ iptÁ. 5 Á ¹Á !Á © ¹Á ¿Á : ¹Á. 5 Á ª ¹Á "#$Á ¹Á ¿Á ª ¹Á. ipÁ ©¹Á 5 Á ./01Á L. ©¹Á 5 Á ./01Á. ¹Á 5 Á ¹Á L ¹Á 5 Á ª¹Á. /w /YUhhU][w =gIGIUXUjpw 9GibUow 1. "JG ] )Á. %--] +R@>M] SSTR>@H]. H=B=A.GS =C3DGB.I=DCS IDS H=BLA.I=DCS /PS 1 '<.IS =HS 2FL.AAPS H.P=C;S .S 0DBEDC2CIS 0.CS /2S H=BLA.I21S /PS ##S =3S N2S 0.CS /2S HLG2S I<2PS /2<.M2S HI.I=HI=0.AAPS =CS I<2S H.B2S N.P S 'DS B2.HLG2S N<2I<2GS I<2PS /2<.M2S I<2S H.B2S N2S =CIGD1L02S .CS 2M.AL.I=DCS .EEGD.0<S/PSLH=C;SI2HISG2HLAIH S '<2S2M.AL.I=DCSB2IG=0HSG2ILGC21S .G2S LH21S IDS G2M=H2S DGS G27C2S I<2S E.G.B2I2GHS =CS ##S LCI=AS =IS .EEGDO=B.I2HS I<2S 0DBEDC2CIHS G2.AS /2<.M=DLG S `(Á. ?phiMYw ?iGiMhw. S 0DBEDC2CIS S =HS B.EE21S IDS .CS ## S ##HS HI.I2HS .G2S I<2S 0DB/=C.I=DCS D3S 0DBEDC2CIHS 3.LAIPS HI.ILHS .C1S =IHS =CELIHS 3.LAIPS HI.ILH S &PHI2BHS /2<.M=DLGS =HS BD12A21S /PS S HI.I2HS JL JL JL JL. 4/O'[ S =HS CDIS 3.LAIPS HS =CELIHS .G2S E.HH21S 4/='[ S =HS CDIS 3.LAIPS HS =CELIHS .G2S 3.=A21S C/O'[ S =HS 3.LAIPS HS =CELIHS .G2S E.HH21S -/='[ S =HS 3.LAIPS HS =CELIHS .G2S 3.=A21S. '<2S @2PS D3S I<=HS .EEGD.0<S =HS 2M.AL.I=C;S 1 00DG1=C;S IDS EG2M=DLHS .C.APH=HS N2S C221S IDS B2.HLG2S <DNS N2AAS .CS ##S HI.I=HI=0.AAPSH=BLA.I2HS.S;=M2CS0DBEDC2CIS N<=0<S=HSG2EG2H2CI21S /PS 9GiJRU[Qw7MmMXw. +<@JETELJ[ 9Á 25T8CEJA[ 1<W<G[ 0 [ 9GiJRU[QwXMmMXwMmGXlGiMhw. R]nw299w hUYlXGiMhwGw J]Y^][M[ihw bMGXw IMRGmU]ldw '<2S D/?20I=M2S =HS IDS 7C1S .CS ##S N=I<S I<2S <=;<2HIS B.I0<=C;S A2M2A S '<=HS ILGCHS I<2S EGD/A2BS IDS /2S .CS DEI=B=Q.I=DCS EGD/A2BS .C1S B.CPS I20<C=FL2HS 0.CS /2S .EEA=21S 2 ; S 2O<.LHI=M2S H2.G0<S /PSB=C=BLBS=CI2GC.AS <2LG=HI=0S.A;DG=I<BS2MDALI=DCS.A;DG=I<BS 2OE2G=B2CI.AS 12H=;CS 2I0 S CS I<=HS NDG@S I<2S B.I0<=C;S A2M2AS =HS 12G=M21S /PS 0.A0LA.I=C;S I<2S EGD/./=A=IPS I<.IS .S 0DBEDC2CIHS DLIELIHS E.HHS I<2S I2HIHS I<GDL;<S ##S D/H2GM.I=DCH S DN2M2GS I<=HS B.I0<=C;S A2M2AS =HS .S AD0.AS M.AL2S G2A.I=M2S IDS DC2S 0DBEDC2CIS B.@=C;S=IS<.M2SCDSB2.C=C;SIDS0DBE.G2SN=I<SDI<2GH S '<2G23DG2S DCAPS I<2S 3DGN.G1S H2.G0<S =HS CDIS 2CDL;<S IDS ;L.G.CI22S I<2S B.I0<=C;S A2M2A S *2S =CIGD1L02S I<2S 0DC02EIS D3S ,][PLM[JMw7MmMXw IDS 2M.AL.I2S I<2S ;AD/.AS 0DC712C02S D3S B.I0<=C;S A2M2A S. +<@JETELJ[ @Á *LJ@:<J8<[ 1<W<G[ `w ,][PLM[JMw XMmMXw MmGXr. *w ;IhMbmGiU][hw Á ;IhMbmMLw ?MalM[JMw. lGiMhwiRMwJ][PLM[JMw]Ow iRMw YGiJRU[QwXMmMXw. '<2S D/H2GM.I=DCS =HS 127C21S /PS I<2S I2HIS G2HLAIS D3S 0DBEDC2CIHS DLIELIH S '<2G2S .G2S DCAPS S D/H2GM.I=DCHS. )GALRETCH[. JL JL. 3O'[ DLIELIHS .G2S E.HH21S 3='[ DLIELIHS .G2S 3.=A21S. 9Á 1 ,W5GV5TELJ[ )GALRETCH [ BRMw O]XX]nU[Qw GXQ]bUiRYw Uhw lhMLw i]w MmGXlGiMw iRMw 1 U[w 299w Tw J]bbMh^][LU[Qw i]w J]Y^][M[iw S @Z \w , L , L S
(16) wC\qZw GbMw iMhiw JGhMhw bMhlXihw O]bw 7L ]li^lihw ]Ow S BRMw iRbMhR]XLw ]Ow .
(17) 0C ;C CC. YGiJRU[Qw XMmMXw ?[ G[LwJ][PLM[JMwXMmMXwM[ GbMw ^bMLMP[MLw NQK7;9UQ;[ !8+76 I] ?[M[ AL @Z \w 2 Mw Z[?[ 2 XBDF;[ Mw [ ?[ 9K[. 2 ^w ZM[ GXÁ XBDF;[ ^w [M[9K[ 1 Z[ KVÁ ^w Z[ NYÁ QZÁ ;I9[ XBDF;[ TWÁ hiGiMhw Z[1M+IMRGmU]lbwF?iGiMhRw
(18) 2 U[SZZw Z[1MiV[^liR whiGiMhw 2 ]li_cNw Z[1MK;li^li=bM,w 2 Mw Z[/mGXlGiMF9GiJRU[QU[SZZ ]li_cNw 2 ;I9[ XBDF;[ 2 ;I9[NQK7;9UQ;[ 2. *2S 2OEA.=CS I<2S 0DG2S 3LC0I=DCHS =CS I<2S .A;DG=I<B S [ '+. 1 G.C1DBAPS ;2C2G.I2HS .CS 1 1 =HS I<2S 2B=HH=DCS EGD/./=A=IPS 9DBS HI.I2HS #; C #0 C ; C 0C IDS D/H2GM.I=DCHS <_ w <5w IS =HS I<LHS .S /P S B.IG=OS N=I<S S M.G=./A2HS /20.LH2S HLBS D3S GDNS =HS
(19) S .0<S I=B2S .CS 1 =HS ;2C2G.I21S N2S ;2IS .S 0DBEA2I2S ##S 3DGS DC2S 0DBEDC2CI S ![
(20) 0%/. )' ' 1 @Z \w S 2M.AL.I2HS <DNS I<2S ;2C2G.I21S ##S .EEGDO=B.I2HS I<2S G2.AS /2<.M=DLGS D3S 0LGG2CIS 0DBEDC2CIS /PS LH=C;S I<2S DLIELIS I2HIS 0.H2HS G2HLAIHS @ !Z \ w N<=0<S G2EG2H2CIHS G2.AS /2<.M=DLG S HS ##S 0.CS 0.A0LA.I2S I<2S D00LGG=C;SEGD/./=A=IPSD3S.CSD/H2GM21S H2FL2C02S I<=HSEGD/./=A=IPS B2.CHS <DNS EGD/./A2S .S 0DBEDC2CIHS /2<.M=DLGS <.EE2CHS =CS I<2S 2M.AL.I21S ## S 3S I<=HS EGD/./=A=IPS =HS <=;<S 2CDL;<S I<2S 2M.AL.I21S ##HS H=B=A.G=IPS IDS G2.AS 0DBEDC2CIS =HS .AHDS <=;< S '<=HS EGD/./=A=IPS =HS 0.A0LA.I21S /PS BLAI=EAP=C;S .AAS I<2S EGD/.R /=A=I=2HS DCS I<2S H2FL2C02HS E.I< S '<2S M.AL2S =HS CDGB.A=Q21S IDS B.@2S I<2S 0DC712C02S A2M2AS 0DBE.G./A2S IDS I<2S M.AL2HS D3S DI<2GS 0DBEDC2CIH S " [ . 0#)/+..- 1 @Z \ w 0.A0LA.I2HS I<2S HI.I2HS /2<.M=DLGS D3S ## S ##S 0.CS ;=M2S DLIS I<2S BDHIS EGD/./A2S HI.I2HS /2<.M=DLGS DC02S I<2S D/H2GM.I=DCS H2FL2C02S =HS ;=M2C S $ [ .'*/.!1 hiGiMh w &=C02S ##SHI.I2HS =HS .S LC=DCS D3S =CELIS E.HH21S G2HLAIHS .C1S 0DBEDC2CIS E.HH21S G2HLAIS I<2S =CELIS H2FL2C02S 0.CS /2S 12G=M21S 9DBS I<2S HI.I2HS /2<.M=DLG S % [ ./.*/., 1 ;2IHS I<2S G2HLAIS ./DLIS I<2S DLIR ELIS D3S 0DBEDC2CIS HS EG21202HHDGS N<=0<S =HS I<2S G2.AS =CELIS /2<.M=DLGS D3S S &
(21) [
(22) 0%/.. #' $("&&1 ]li_cN w 2M.AL.I2HS I<2S B.I0<=C;S A2M2AS/2IN22CSI<2S =CELIS 12G=M21S3GDBS I2HIS G2HLAIHS .C1S I<2S =CELIS 12G=M21S 9DBS ##S HI.I2H S '<2S 3DGB2GS G2EG2H2CIHS 0DBEDC2CIHS G2.AS/2<.M=DLGS N<=A2SI<2SA.I2GSG2EG2H2CIHS ##HS H=BLA.I=DC S hÁ. /hiUYGiU[Qw ?phiMYhwIMRGmU]lbw Á 7]JGiU[Qw0GlXiw. *<2CS I<2S ##S N=I<S <=;<S B.I0<=C;S A2M2AS .C1S <=;<S 0DC712C02S A2M2AS =HS 0DC7GB21S N2S 0.CS 2HI=B.I2S I<2S 0DBR EDC2CIHS HI.ILH S *=I<S I<2S HI.I2HS 0.A0LA.I21S 3GDBS 3LC0I=DCS . 0#)/+..- 1@Z \ w 2 ; S .S HI.I2HS /2<.M=DLGS H2FL2C02S A=@2S. CS I<2S HI.I2HS /2<.M=DLGS H2FL2C02S N2S 3D0LHS DCS I<2S HI.ILHS D3S 0DBEDC2CIS .HS 3DAADN S '<2S HI.ILHS N=I<S <=;<2GS D00LGG2C02S EGD/./=A=IPS =HS 0DC7GB21S .HS I<=HS 0DBEDC2CIHS 3.LAIPS HI.ILH S. C C #C C. C C CC. '<=HS G2HLAIHS 0DC712C02S =HS ;L.G.CI221S /PS I<2S 0DC712C02S A2M2AS M[ .C1S I<2S ##HS H=B=A.G=IPS IDS I<2S0DBEDC2CIS =HS ;L.GR .CI221S/PSI<2SB.I0<=C;SA2M2AS ? [M[.C1S ?[.G2S0.A0LA.I21SN=I<=CS HPHI2BHS IDEDAD;=0.AS HIGL0ILG2S I<2G23DG2S N2S 0.CS 0DBE.G2S .AAS I<2S 3.LAIPS 0DBEDC2CIHS M[ .C1S ?[ .C1S ;=M2S .S H2IS D3S HLHE20IS 3.LAIPS 0DBEDC2CIHS DG12G21S /PS M[ .C1S ? [ ) S !92 3'- /6+] 4 57+65] `(Á. BMhiw*MLw. *2S12H=;CS.S HE20=70S I2HIS/21S IDS2M.AL.I2SI<2SB2I<D1HS.00LR G.0PS.C1S260=2C0PS/PS;2C2G.I=C;S.SA.G;2SFL.CI=IPSD3SLH2S0.H2H S .0<SLH2S0.H2S=C0AL12HSI<2S SYST<H[5R8CET<8TVR<[N<=0<S127C2HS I<2S 0DBEDC2CIHS .C1S I<2S EDGIHS .C1S I<2=GS =CI2G0DCC20I=DCHS I<2S >5EGVR<[ PRL656EGETY[ D3S 2.0<S 0DBEDC2CIS I<2S >VJ8TELJ5G[ SP<8E@85TELJ[ 0DGG2HEDC1=C;S IDS I<2S =CELIH DLIELIHS '<2S B2I<D1S .HHLB2HS I<.IS .0<S 0DBEDC2CIS =CS I<2S HPHI2BS <.HS .S 0<.C02S IDS 3.=AS =3S =IS <.HS 12H=;CS EGD/A2B S '<=HS EGD/./=A=IPS N=AAS/2S S=3SCDS12H=;CS3.LAIS=HSEG2HLB21S3DGSI<=HS0DBEDC2CI S AAS 3LC0I=DC.AS 0DCHIG.=CIHS .G2S /.H21S DCS =CELI DLIELIHS M.AL2S =IH2A3S .C1S 3DGS H=BEA=70.I=DCS I<2PS .G2S .AAS G.C;2S 0DCHIG.=CIS N<=0<S B2.CHSI<2PS12A=B=ISDCAPSI<2SB=C>B.OSM.AL2SD3SI<2S=CELI DLIELI S 3S .S 3.LAIPS 0DBEDC2CIS 2O=HIHS I<2S I2HIS /21S N=AAS /PS 0<.C02S ;=M2S DLIS .CS DLID3G.C;2S M.AL2S 3DGS I<=HS 0DBEDC2CIHS DLIELI S '<=HS 2BLA.I2HS <DNS .S HPHI2BS 3.=AHS N<.I2M2GS I<2S BD12AS =H S .0<S 0DBEDC2CIHS =CELIS .C1S DLIELIS N=AAS /2S .AAD0.I21S IDS .S M.G=./A2S /PS I<2S I2HIS /21 S IS ;L.G.CI22HS I<.IS I<2S =CI2G0DCC20I21S DC2HS H<.G2S I<2S H.B2S M.G=./A2 S '<2S M.G=./A2S N=AAS /2S .HHD0=.I21S N=I<S .S G.C1DBS G.C;2S N<=0<S =HS I<2S 3LC0I=DC.AS HE20=70.I=DC S 3S .S 12M=02S =HS BDG2S EGD/./A2S IDS 3.=,S I<2S I2HI/21;2C2G.I21S M.AL2S 3DGS =IHS 2CI=G2S DLIELIS M.G=./A2HS N=AAS /2S BDG2S EGD/./A2S IDS ;DS DLIS D3S I<2S 127C21S G.C;2 S '<2S .EEGD.0<S N=AAS LH2S I<2S ;2C2G.I21S 1.I.S .C1S I<2S3LC0I=DC.AS HE20=70.I=DCSIDS.LIDB.I=0.AAPSAD0.I2SI<2S3.LAIPS0DBEDC2CI S '<2S I2HIS /21S N=AAS I<2CS 0DBE.G2S I<=HS 0DBELI21S 0DC0ALH=DCS N=I<S I<2S =C=I=.AS 0DCI2OIS IDS 121L02S N<2I<2GS I<2S B2I<D1S =HS 260=2CI S. *w /o^MbUYM[ihw $LGS I2HIS /21S <.HS ;2C2G.I21S
(23) S LH2S 0.H2HS IDS 2M.AL.I2S I<2S B2I<D1HS E2G3DGB.C02S =CS I2GBHS D3S .00LG.0P S '<2S 0G=I2G=.S I<.IS =BE.0IHS I<2S .00LG.0PS =HS I<2S 0DBEA2O=IPS D3S HPHI2BHS .G0<=I20R ILG2 S '<=HS0.CS/2SB2.HLG21S/PS0DBEDC2CISCLB/2G S =; S S.C1S 0DBEDC2CIHS .M2G.;2S =CELIS Á DLIELIS CLB/2GS =; S # [ *2S 7C1S DLIS I<.IS I<=HS B2I<D1S =HS BDG2S H2CH=/A2S IDS I<2S .M2G.;2S =CELIS Á DLIELISCLB/2GSN<=A2S=IS=HSBDG2SH0.A./A2SIDS0DBEDC2CISCLB/2G S '<=HS B2I<D1S 12.AHS N=I<S I<2S 3.LAIS AD0.A=Q.I=DCS 3DGS B=11A2G.C;2S HPHI2BHS N=I<S .S .00LG.0PS HLE2G=DGS IDS S '<2S0DBELI.I=DCSD3S 1 E.G.B2I2GHS/PS=I2G.I=M2APSH2.G0<=C;S .A;DG=I<BS 0DCHLB2HS I=B2S N<=0<S =HS /DLC121S /PS I<2S =I2G.I=DCS A=B=I S '<=HS #DCI2.GADS .A;DG=I<BS GLCHS 3GDBS H2M2G.AS H20DC1HS.
(24) b¨£¬¨¥¥²Á. AD0.A=Q.I=DCS B2I<D1S ;=M2HS .S ;DD1S G.I2S D3S .00LG.0PS I<GDL;<DLIS I<2S I2HIS .HS H<DNCS =CS './A2S S. L L. 6+ ] '] kgwnc~gÁ d~z~wÁ gyÁ d_ gÁ fÁg Ág w Á. L L. ¾|JÁ !L. 84&Á. ¯±Á ±±¶¯Á. jxxÁ a§¤¶'Á. v¸Á. a§¤¤Á v¸Á. ^¶®»Á.
(25) L. ] ] ] ] ] ] ] ] ] ] ] ] ] ] ]. 2] 2] 2] 2] "] "] 2] 2] 2] 2] "] 2] 2] "] "]. 2] 2] 2] 2] "] 2] 2] 2] 2] 2] "] 2] 2] "] "]. ] lÁ ] lÁ. ] ] lÁ lÁ ] lÁ ] ] lÁ. ] ]. ] ]. ] ] ] ]. ] ] ]. ]. ] ]. ] ] ]. : 5] : 5] : 5] : 5] : 5] /0] : 5] : 5] : 5] : 5] : 5] : 5] : 5] : 5] : 5]. [Á Á L L L L L L. L. L. L. L. L. L. L. L. L. ;5=;818BL 'D5/1?L %49L+.C4< L 0<6><929CL. %.IL+.C4< L 0<6><929CL. F2@L+.C4< L0<6><929CL. "JG ] ] @@WT>@[] ?[] RPSRQBQV]/WP?BT] m¥¬·²Á 2Á }·²¬·²Á L L L. ) S 0/ +75'0/]. L. ¾|JÁ !L. [Á Á L.
(26) L. L L L L L. L. L. L. L. L. JÁ. L. L. L. L L L L L. L L L L L. E1?-31L $8=DBL"L)DB=DBL 'D5/1?L *1?L ;5=;818BL %49L+.C4< L # L. "JG] ]. %.IL+.C4< L # L F2@L+.C4< L # L. @@WT>@[] ?[] 'QSWV]/WP?BT]. IDS H2M2G.AS B=CLI2H S DN2M2GS .HS I<2S 0DBELI.I=DCS D3S 2.0<S 0DBR EDC2CIS =HS =C12E2C12CIS I<2S N<DA2S B2I<D1S =HS A=C2.GAPS H0.A./A2 S DGS .S A.G;2S HPHI2BS .S E.G.AA2AS 0ALHI2GS N=AAS AD0.I2S I<2S EGD/./A2S 12H=;CS 3.LAIHS N=I<=CS B=CLI2H S eÁ. 2MXUJ]^iMbw ,][igXw ?phiMYw ,GhMw ?ilLpw. 4J2GS02GI=3P=C;SHI.I=HI=0.AAPSI<2SB2I<D1HSE2G3DGB.C02SLH=C;S I<2S I2HIS /21S N2S G2APS DCS .S 0A.HH=0.AS &=BLA=C@S I2.0<=C;S BD12AS D3S H=BEA2S <2A=0DEI2GS 0DCIGDAS HPHI2BS +-S IDS 2M.AL.I2S N<2I<2GS I<2S EGDEDH21S .EEGD.0<S NDG@HS .AHDS N2AAS 3DGS G2.AS HPHI2B S S 0DBEA2I2S B.I<2B.I=0.AS BD12AS =C0AL1=C;S EGDE2AA2GS 1PC.B=0HS 3DG02HS ;2C2G.I21S /PS I<2S EGDE2AA2GHS HI.I=0S .C1S 1PC.B=0S 3G=0I=DCS D3S I<2S /2.G=C;HS 2I0 S =HS .CS DM2G@=AAS 3DGS B2I<D1S EGDD7C;S D/?20R I=M2HS I<2G23DG2S .S H=BEA=721S M2GH=DCS =HS 0<DH2C S %2;.G1=C;S I<2S 3LC0I=DC.AS HE20=70.I=DCS I<=HS <2A=0DEI2GS =HS .S A=C2.GS D°Á DG12GS HPHI2BS N<2G2S I<2S S 0DCIGDAS B.IG=02HS .G2S EG2127C21 S CS DG12GS IDS =CIGD1L02S 3.LAIHS =CIDS I<2S 0.H2S HIL1PS N2S BD1=3PS I<2S &=BLA=C@S BD12AS IDS <.M2S HDB2S 0DBEDC2CIHS ;2C2G.I=C;S 3.LAIPS DLIELIHS =CS HDB2S I2HIS 0.H2H S '<2H2S 0DBEDC2CIHS N=AAS <.M2S .S 0DBELI21S 3.=ALG2S EGD/./=A=IPS N<=0<S =HS /.H21S DCS I<2S G.I=DS /2IN22CS 3.=ALG2S 0DLCIS .C1S IDI.AS I2HIS 0.H2S CLB/2G S '<2S 3.LAIS. CS I<=HS E.E2GS N2S EGDEDH21S .CS .LIDB.I21S 3.LAIS AD0.A=Q.I=DCS .EEGD.0<S /.H21S DCS ##S 3DGS =CI2;G.I=DCS I2HI=C;S =CS HPHI2BS 2C;=C22G=C; S 2C27I=C;S 3GDBS ##S N2S EGDEDH2S IDS BD12AS 3.LAIPS 0DBEDC2CIHS /2<.M=DLG S CHI2.1S D3S 2HI=B.I=C;S ##HS E.G.B2I2GHS /PS 0A.HH=0S A2.GC=C;S EGD02HHS .S 3DGN.G1S .C.APH=HS B2I<D1S IDS 2HI=B.I2S E.G.B2I2GHS LH=C;S HPHI2BHS IDEDAD;=0.AS HIGL0ILG2S .C1S I2HIHS G2HLAIHS N.HS =CIGD1L021 S 'DS 0DBELI2S I<2S B.I0<=C;S 12;G22S /2IN22CS ##S .C1S 0DBEDC2CIHS /2<.M=DLGS .C1S IDS 2M.AL.I2S I<2S 0DC712C02S 12;G22S D3S I<2S AD0.A=Q.I=DCS 0DC0ALH=DCS .S /.0@N.G1S .C.APH=HS .A;DG=I<BS N.HS =CIGD1L021 S OE2G=B2CI.AS G2HLAIHS H<DNHS I<.IS I<=HS B2I<D1S 0.CS 12.AS N=I<S I<2S 3.LAIS AD0.A=Q.I=DCS EGD/A2BS 3DGS B=11A2G.C;2S HPHI2BHS N=I<S .00LG.0PS HLE2G=DGS IDS S 4 " 3 / 5] <O=] Á %>PU@HBT
(27) ]+ ] RQURMB
(28) ] >QA]7%Á AB]*MBBT] AU ] $'"-2 $'2 &( % - 2 $ "'(-$-2 5>Q]"T>Q@JU@R] ]75] -RTG>Q]*>WCP>QQ]2W?MJUHBTU]'Q@ ] ] <=] kÁ 6>L>H>UHJ] * ] R>VBQG] * ] 5>MWK>] >QA] Á 6>L>P>VUW] 0Q]AJ>GQRUJQG] PWMVJSMB] UVW@L>V] C>WMVU] WUJQG] PWMVJSMB] >QA] UJQGMB] C>WMV] UJPWM>VJRQ] JQ] @RP?JQ>VJRQ>M] @JT@WJVU] (&)/. * $ 2 -$"'2 (!2 '. "+. 2 $* /$.-2 ' 2 1-. &-2 2 +'- .$('-2 ('2 XRM ] ] QR ] ] SS] ] ] P>T] ] <=] ] ;BMMBT] 'URM>VJQG] @>WUBBCCB@V] @H>JQU] FRP] @RPSWVBT] STRGT>PU] JQ] *( . $'"-2 (!2 .# 2 .#2 2 2 -1&)(-$/&2 ('2 (/' .$('-2 (!2. *$'"2 UBT ] 5'$50"6] )5 1] /BY] :RTL]/:]75] -] ] SS ] ] ] NR?UVP>QQ] 5 ] 5V>?BT] ] $TJBUP>[BT] >QA] 3 ] MRBP] "JQAJQG] >QA] EZJQG] C>WMVU] ?Á (&)/.2 1-.2 $2 XRM ] ] QR] ] SS ] ] ] - ] ?T>PRXJ@J]>QA]-]TBWBT]-WMVJSMB]C>WMV]AJ>GQRUJU]JQ]@RP?JQ>VJRQ>M] @JT@WJVU]?>UBA]RQ]>Q]BDB@V@>WUB]>Q>M[UJU] (&)/. *-2 2+'- .$('-2 ('2 XRM ] ] QR ] ] SS] ] ] KWQB] ] ] 5PJVH] ] 8BQBTJU] - ] MJ] >QA] ] 8JGM>U] ">WMV] AJ>GQRUJU] >QA] MRGJ@] AB?WGGJQG]WUJQG] ?RRMB>Q] U>VJUE>?JMJV[] (&)/. * $ 2 -$"'2 (!2 '. "+. 2 $* /$.-2 ' 2 1-. &-2 2 +'- .$('-2 ('2 XRM ] ] QR ] ] SS] ] ] R@V ] ] + ]3>?JQBT]]VWVRTJ>M]RQ]HJAABQ]P>TLRX]PRABMU]>QA]UBMB@VBA]>SSMJ@>VJRQU] JQ] USBB@H] TB@RGQJVJRQ] , $'"-2 (!2 .# 2 2 XRM ] ] QR ] ] SS] ] ] "B?TW>T[] ] ] >\\RM>VR] /.(& .$ 2 ('.*(%2 sÁ 2 %$ (). *2 /.(*$ %2 Á 2 -(!.0 * 2 '"$'. <=] <=]. <=]. <=]. <=].
(29)
Documents relatifs
Recall that our core intuition is that the spectrum-based fault localization algorithm misses causal information about the propagation of a fault in the program. Using our
L’établissement des semis de Pinus pinea a été étudié in situ et sous des conditions contrôlées pour trois forêts au nord de la Tunisie (Mekna III, Ouchtata II et
Overall, based on the results drawn in Figure 2 and 3, we can draw the following conclusions: (i) relying on the time-independent classification models with the
• A black-box testing technique for front-end systems (web applications), based on Search-Based Testing (SBT) [15], to search for sophisticated and effective test cases (at- tacks)
In particular, in Figure 5.5(a), we compare the distributions of the maximum number of blocks inspected to locate faults (i.e. accuracy) in our 60 faulty versions when
le Canakinumab est utilisé par voie sous-cutanée à une dose de départ de 150 mg (ou 2 mg/kg) toutes les 8 semaines [119].Cependant les patients atteints du CINCA
- We develop a search-based testing technique for Simulink models that uses the existing alternative test objectives [15], [16], [21] to generate small and diverse test suites that
With the addition of the causality constraint, two efficient algorithms for the evaluation of a model and the maximum likelihood estimation of model parameters have been
