Quiescence Management improves Interoperability Testing

(1)

HAL Id: inria-00070477

https://hal.inria.fr/inria-00070477

Submitted on 19 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Quiescence Management improves Interoperability Testing

Alexandra Desmoulin, César Viho

To cite this version:

Alexandra Desmoulin, César Viho. Quiescence Management improves Interoperability Testing. [Re- search Report] RR-5530, INRIA. 2005, pp.18. �inria-00070477�

(2)

ISRN INRIA/RR--5530--FR+ENG

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Quiescence Management improves Interoperability Testing

Alexandra Desmoulin and César Viho

N˚5530

Mars 2005

Systèmes communicants

(3)

(4)

. /$+0

102436587#9:;<7>=3@?<A>BDC2FE49HGI7#9:KJML@?<7#;IN0E4OBQP

RTSVUXWZY[]\U^_`[][acbedf^g6b@WZU

hji _`kX\+Wl i []_ i

m g`ncno_ i WpV\ i \^,qe\ i ^,qc\rbsutut6vuw'xzy{g i U|6wuwut&x~}Mneg6u\U

I8c`` lWg6bTS\`\_6^+_u[]ncaVW\

i

bc\WX_

i

U$dfb@W\

i

_uno\

i

g`cdfdWXSW\<UXWZdbc'`\bc\

i

g6fSpV\g`fU

dWqU\`\

i

g`^_`[]no_ubc\b@W,UWZqegW^_`[][acbedf^gW\0qcdf\W

i

STdbeWZ_'n

i

_Tdfpc\gpV\UdubegWZ\pU\

i

Td^+\`

qe\b'g0^+_u[]no_ubc\b@W

i

\[]g`dboUUdf\b@W<DWqc\]g`UZUdf`be\p)WZ\UWdfbcu\

i

pVd^W dfU`\bc\

i

g6fS¡og6dfF/guUUac[]dbe

WZqegW¢d£W,U¢o\qeg¤Td_ i dfUbc_ubV¥¦^_`bV§_ i [¨g`buW<RT_u[M\Wdf[]\UoWZqcdU¢Udf\be^+\[¨g¤S)#\g6b@WZdf^dneg6W\<p`df`\bWqc\

^_`[]n#_`bc\buW<©UUn#\^d£ª#^gWZd_ubeU¬«bWZqc\U\M^g`U\UcWZqc\®g`d8`\ i pcdf^+WdU¬acboUg6WdUX®gu^W_ i Su«bWZqcdfUneg`no\ i

\Uqc_HWZqegW%¯°@acdf\UZ^+\be^+\&[¨g6bog6`\[]\b@WX± d[]n i _`\<U%db@W\ i_uno\ i g`cdfdWXSWZ\UWdfbce%²%g`U\p0_`b)§_ i[¨g6

pc\+ªebcdWdf_`boU&_6db@W\ i _uno\ i g`cdfdWXSW\<UXWZdbee\]db@W i _VpVae^\¨bc\³pV\+ªobcd£WZd_ubeU WZqegW&W,g \]dfb@W_{g`^^+_uacb@W

WZqc\¢no_@UUde\ °@acd\<U^\be^\_`$^+_u[]no_ubc\b@WZUacbopV\ i W\<UXW<j´%q i _`acuqIU\`\ i g`e\+µcg`[Mne\<Ug`bepIUZ^+\beg i df_uU

\Uqc_¶Wqeg6W¬WZqc\U\bc\·pV\+ªobcd£WZd_ubeU¢pV\+WZ\^W¢bc_`bc¥4dfb@W\ i _`n#\ i g6edfd£WXS0^guU\<UdWq{qcdf`qe\ i n i \<^+dUdf_`b/

y{_ i \_`\ i Wqe\U\'bc\¸pV\+ªobcd£WZd_ubeU[M_ i \^+f\g i fS¹pcdfUWdfbc`aedfUqHUno\<^+dªo^g6Wdf_`bV¥p i du\bº°@acdf\UZ^+\bo^+\U

i _`["_6Wqe\ i UVf\gupVdbeWZ_]acbTcdfguU\<pIdfb@W\ i _uno\ i g`cdfdWXS]W\UWZUd£WZq)gu^^a i g6W\¢`\ i pVd^W,U

»¼@½D¾Z¿À Á8` dfb@W\ i _uno\ i g`cdfdWXS`TW\<UXW<c°@acd\<U^\be^\`c^_`bV§_ i [¨g6bo^+\

ÂÃÅÄÆ¦ÇÈ%ÄÉ8ÊfÆ¦Ë4Ì+Í

Î/Ï¤ÐÒÑÔÓÕ,Ó6ÖX×ØÐÒÑjÕ,ÙÖÚÛ4ÖXÙ¤Ü¤ÖXÜMÝ+ÖX×®Ñ4ÐÒÞÙÞ,ß/Þà¤×ÔÓÕ,Ó6ÖX×jÓ¤à¤á¤âÒÐÒÑFÏ¤ÖXÜÐÒÙ&ÛFÏ¤Öão×®ÞäÖXÖXÜ¤ÐÒÙ¤åÑØÞ,ßDÛFÏ¤Ö æçÛFÏèêécè§ãèêÙÛFÖX×®ë

ÙÕZÛ4ÐÒÞÙ¤Õ,âìDÞÙ<ßÖX×FÖXÙ¤äXÖ&ÞÙÎVÖXÑFÛFÐÒÙ¤åMÞ,ßÔìÅÞííà¤Ù¤ÐÒäÕZÛFÐÒÙ¤åîï<Ñ®Û4ÖXíÑ¢ðÎVÖXÑFÛFäXÞí¬ñò/ó&Õ,Ð$ôõZëØöà¤Ù¤Ö&ô<òÅô÷÷ø<ò/ó ÞÙÛF×®ÖÕ,âò

ì/Õ,Ù¤Õ,ÜÕ<ù

újû

âÒÖÚ¤Õ,Ù<Ü¤×4Õ<ùü$ÖÑFíÞà¤âÒÐÒÙ6ý8ÐÒ×®ÐÒÑ¦Õ<ùß×

þ

Ý<ÐÒÏ¤Þý8ÐÒ×®ÐÒÑ¦Õ<ùß×

(5)

g6beU¢f\U i U\g6acµ)dfbV§_ i [¨gWZdf°@ac\<UDf\WZ\UW p/©dfb@W\ i _`n ig6edfd£W ^_`be^\ i bc\pVd i\b@WZU

^_`[]n#_uUZg6b@WZU]°@acd^+_u[][acbcd°@ac\b@W]\<U]acbeU¨g¤u\^\<U¨g6aVW i \<UWZ_`aVW\b i \bopcg6b@W]acb U\ i Td^+\)p ªebedF

aog6bepacbKpV\U^+_`[]n#_uUZg6b@WZU i \<UXWZ\{cf_T°@a \'`\ i pVd^W0pV\W\<UXW)^+_ ii \Uno_ubepcg`buW¨\<UXW0\b b i g6

¡og6dfF#^+_ubeUdp ig`buW°@ac\f\^_`[]no_ i WZ\[]\b@Wpca{^+_`[]n#_uUZg6b@W\UW¬bc_ubV¥^+_`bc§_ i [M\u g6beU^+\ iW,g6dfbeU^guU

^\{cf_V^g6u\{n#\aVW+W i \'g`aVW_ i dU pcg6beUgQUn ^d£ª#^gWZd_ubºpVaH^_`[]no_@Ug`b@W/\'`\ i pVd^W0¡eg6df¢b/©\<UXW

g`_ i UneguU&Ug6WdUX®g`dfUZg6b@W g`beU&^+\Wg i Wd^+f\`/bc_uaeU []_`b@W i _`boU°@ac\¨gIu\UWdf_`b pV\U e_V^g``\<UF°uaed\<UX¥

^\be^\[¨g6beg``\[M\b@W%g6[ df_ i \f\&W\<UXW pÅ©dfb@W\ i _un i g`cdfdW l neg i Wdi pV\Mp ªebed£WZd_ubeU§_ i []\ff\U¬pca

WZ\UWMpÅ©dfbuWZ\ i _`n ig6cdffd£W bc_`aoUdfbuW i_VpVaedfU_`beUpV\Ibe_`acu\f\<Up ªebcdWdf_`beUM°@acdn i \bcbc\b@WM\b>^_`[]nVW\

f\U]e_V^g``\<U]no_@UUde\<U¨pV\U^_`[]n#_uUZg6b@WZUW\<UXW UHl W i g¤`\ i U]pVd i\b@WZU]\µT\[]nc\<U¨\+WIUZ^ beg i df_uU

be_`aeU[]_`b@W i _`boU°@ac\&^\Ubc_`ae`\ff\U%p ªobcd£WZd_ubeUp W\^+W\buW¬g¤u\^¬ncaoUpV\&n i ^+dUd_ub\<U^guUpc\¢be_`bV¥

dfb@W\

i

_un

i g`cdfdW

\&ncfaeUo^+\Ubc_`acu\f\<U%p

ªebed£WZd_ubeUpVd

i

\be^+df\b@WncfaeU^fg`d

i

\[]\buWf\U%cf_V^g``\U

n

i

@aoUjpcg6boUÔ\<UjUn

^+dªo^g6Wdf_`beUjpc\UØg`aVW

i

\U`n#\

i

[]\+WWZg6b@WØpV\<UÔWZ\UWZUØp/©dfb@W\

i

_`n

i g6edfd£W

bc_`bV¥¦cdg6dU

U

À < ¾ "! dfb@W\ i _un i g`cdfdW TWZ\UWVcf_V^g``\Uc^+_ubV§_ i []d£W

(6)

,

!# 0 Ø$+

d#\ i \buWj[]\Wqc_VpcUØqeg¤`\%#\\bpc\`\_uno\<pWZ_ W\<UXWØbe\+WX_ iZ ^+_u[Mn#_`be\b@WZU8l¬[]_`bc¢Wqe\U\[]\+Wqe_TpeU

\]df§_V^+aeU_`b ^+_`bc§_ i []g`be^+\]g6bopdfb@W\ i _`n#\ i g6edfd£WXS)WZ\UWdfbce.-_ubV§_ i [¨g6be^\WZ\UWdfbc\g6faeg6W\U

WZqc\g6edfd£WXSI_68g]^_`[]no_ubc\b@W%W_]#\qeg¤u\&g`UpV\<U^ i dfo\<pIdfb0d£W,UUn#\^d£ª#^gWZd_ub/V`\bc\ i g6ffSgMUWZg`bepcg i pÅ

«b@WZ\ i _`n#\ i g6cdfdWXSWZ\UWdfbcpc\g6UdWqWqc\Mg6cdffd£WXS)_6WX_I_ i []_ i \^+_u[]no_ubc\b@WZUW_db@W\ i gu^W¬dfbg`b

_uno\ i g6Wdf_`beg`\b@Tdi _ubc[]\b@W´%qedfU¢bc_`Wdf_`b'^g6b'o\]dfbuWZacdWdf`\fS{pV\ªebc\p'TS)Wqc\]^g`neg`^d£WXS)_`jWX_0_ i

[]_ i \]^+_u[Mn#_`be\b@WZUW_0#\qeg¤u\MguU¢pc\UZ^ i d#\p'db'Wqe\di Un#\^+dªo^gWdf_`bpVa i dbeWZqc\di db@WZ\ i g`^WZd_ub/DW_

^_`[][aebcdf^gWZ\ ^_ iZi \<^WZS]WZ_``\Wqc\ i Vg`bepW_]n i _@dpV\¢Wqe\ §_ i \U\\b0U\ i Td^+\u

-_ubV§_

i

[¨g6be^\W\<UXWZdbedU¢n

i

\<^+dU\S{^,qog

i

g`^WZ\

i

d0/\p21¬W\UWdfbc)g

i

^,qcdW\^+Wa

i

\Ug6bep'^+_ubV§_

i

[¨g6be^\

i

\gWZd_ubeU3f}6@|T@vV465e\

i

\pV\ªebc\<pÅÔ´%qcdfUØg6f_UÔg`aVW_u[]g6Wd^W\<UXWju\bc\

i

g6Wdf_`b]g6bepM\+µV\<^+aVWZd_ub/8´%qedfU

dUbc_6WWZqc\]^g`U\&§_

i

dfbuWZ\

i

_`n#\

i

g6cdffd£WXSIW\UWdfbc0g6Wqc_uac`q{U_`[]\pV\ªebcdWdf_`beU\+µVdUXW¢db73tc8V:9;5¦´$_

[¨g`db

i

\guU_ubeU\+µVncg6dfbMWqc\¢^+a

iZi

\b@WØUdWaeg6Wdf_`b<18db@WZ\

i

_`n#\

i

g6cdfdWXSdUj[]_

i

\_6êWZ\b

i

\@g

i

pV\p]g`Ujo\dbc

g]n

i

gu^Wd^g`

i

\°@acd

i

\[M\b@WWqeg6W^+_ubV§_

i

[¨g6be^\&dfU=j\+W¢^_`bV§_

i

[¨g`be^+\¢W\<UXWZdbedfUg6U_^_`beUdpV\

i

\p)g`U

#\dfbc]n i \ i \°@acdUdW\¢WZ_WZqc\g`^,qed\`\[]\buW_`$dfbuWZ\ i _`n#\ i g6cdffd£WXSu

-_ubV§_ i [¨g6be^\¬g6bepdb@W\ i _uno\ i g`cdfdWXS^_`be^\ i b]Wqc\¢Ug`[M\_`VkX\<^W,U §df[]ncf\[]\b@WZg6Wdf_`beUVUn#\^d£ª#^g¥

WZd_ubeU/\+W,^¨¡e_ i WqedfU i \guU_ub/#Wqc\pcdD\ i \b@WgWW\[]nVW,U W_pV\ªebc\]WZqc\]bc_6WZd_ub'_`dfbuWZ\ i _`n#\ i g6cdffd£WXS

aoU\Wqc\&^_`be^\nVW,Ug`bepIWqc\_ i S]pc\+ªebc\<p§_ i ^+_`bc§_ i []g`be^+\¬W\<UXWZdbcoÔ«b>3Òt?5¦Vdb@WZ\ i _`n#\ i g6cdfdWXSMW\<UXWZdbc

g i ^,qed£WZ\^WZa i \UÔg6bop@AB#6$&')(C&0D#Ô\ i \%pc\+ªebc\<pÅÔlb¨dfb@W\ i _`n#\ i g6edfd£WXS i \fg6Wdf_`b¨pV\+ªobc\U

WZqc\^_`bepcd£WZd_ubeUÔWZqegWWX_df[]ncf\[]\b@WZg6Wdf_`beU[aoUXW%Ug6WdUX§SW_o\¢^+_`boUdpV\ i \p]dfb@W\ i_uno\ i g`c\u$´%qc\<U\

pc\+ªebcdWdf_`boU¢pc_0be_6W []g`beg6u\n#_uUZUdcf\]°uaed\<U^\be^\_`df[Mne\[M\b@WZgWZd_ubeU´%qcdU \<g`pcUW_0dfbe^+_ ii \^+W

u\

i

pVd^WZU¬pVa

i

dbcIW\<UXWZdbco²%g`U\p)_`b)WZqc\dfb@W\

i

_uno\

i

g`cdfdWXS

i

\gWdf_`boU¬pV\ªebc\p{dbE3Òt;5¦obe\rdfbuWZ\

i

_`nV¥

\ i g`cdfdWXS

i

\gWZd_ubeUjdWq0°@acd\<U^\be^\[¨g6beg``\[M\b@WØqeg¤`\¬o\\bpc\+ªebc\<pÅ

\ Uqc_¹Wqeg6WWZqc\U\¬bc\

i

\gWZd_ubeU%^g`bqc\n)dfbU_uTdfbcWZqcdUn

i

_`cf\[)

´%qcdUÔneg`no\

i

dfUØUXW

i

ae^+Wa

i

\pMg`U8§_uf_U$¡8d

i

UW8WZqc\[]_VpV\cg`bepMbc_6W,gWZd_ubeUaeU\p§_

i

Wqe\db@W\

i

_uno\

i¥

g`cdfdWXSpV\+ªobcd£WZd_ubeUg i \Øn i \U\b@WZ\p&dfb]RV\^WZd_ubM|c«b¨RT\^+Wdf_`bve\%Uac[][]g i dF/\ØWqc\dfbuWZ\ i _`n#\ i g6cdffd£WXS

pc\+ªebcdWdf_`boU_63t?54%RT_`[]\¢W\<UXWZdbc i \UacWZU_uVWZg`dbe\pd£WZq)Wqc\<U\pV\ªebcdWdf_`beU¬g i \¢n i \<U\buWZ\pdb{RT\<^¥

WZd_ubG4e8´%qc\jbc\ db@W\ i _uno\ i g`cdfdWXS i \gWZd_ubeUÅdWq°@acdf\UZ^+\bo^+\j[¨g6bog6`\[]\b@Wg i \ØpV\ªebc\p dfbRT\<^WZd_ub

tcÔ´%qc\b/@WZqc\ bc\ WZ\UWdfbc i \<UacWZUdWqWqc\<U\ i \fg6Wdf_`beUg i \¬n i \<U\buWZ\p¨dfb0RV\^WZd_ub@8MUqe_dbcWqc\

^_`b@W i dfcaVWdf_`b_`Ø°@acd\<U^\be^\[¨g6beg``\[M\b@W¬db'db@WZ\ i _`n#\ i g6cdfdWXSWZ\UWdfbce¢¡8dbeg`fS`Å^_`be^aeUdf_`b{g6bop

§acWa i \&_ i g i \W_¨#\ §_`aebep0db{RT\<^Wdf_`bH9T

I

* ~0 $&$+0

´%qe\M[]_VpV\8aoU\<p{WZ_0n i _TdpV\§_ i[¨g6dfb@W\ i _`n#\ i g6edfd£WXSpV\ªebcdWdf_`beUg`bepqedf^,q\]^+_ubeU\°@ac\b@WZS

aoU\u@dUWqc\¢[]_VpV\D_6Wqc\ «J V´R ®«bcncaVW¥KJaVWZncaVW g`o\\<pI´ i g`beUd£WZd_ubRTSVUXWZ\[ L34654 \¢aoU\¢d£WW_

[]_VpV\TUn#\^+dªo^gWdf_`boU8l¬UaeUaeg6TdfbWZqc\%cg`^ ¥4#_¤µ¢W\UWdfbc&^+_ub@W\+µTW<\%g6U_bc\\<pWZ_[]_VpV\Vd[]ncf\+¥

(7)

[]\buW,gWZd_ubeUV\`\b0d8Wqc\d

i

#\qog¤@df_

i

Ug

i

\&Uaencno_@U\<pVfSacb

bc_b/´%qc\Sdfg6U_M#\

i

\n

i

\U\b@W\<p

TSIg`b«J V´RÅ

!#"%$

&0¼('*)*+ +®À)-,/.10 3254768:9> );&0<;>=@?BA<CEDGFHCDIJCEDLK5C

MONQP

R A C S# UT +"!"+ T VG+(?+B !K

C

MXW

A C GVAD&:+"!"ZY

R F C %!"+V NT%$++ ?%$&0[B! !]\ '_^ !A! S#AB6 )! !D

[ P

VHVC ; A_^*UTGS#+(?+BJY3`!"bacedJT! !> !Afa%gdhTC!

! !A

P

Sia ?.! "% )!H#G!

P

j7S#@ !A .j "j>!kd !

V %eY

R I Cml A Con ?pF Crqts

N n A C VD!#+)! &0DD

P

# svu

Wxw

C 6!"!

"+!&N !ApY3` ByK{z

| C

K~}T!?1KK~}

N W IJCY

\+WaeU^_`beUdpV\ i g`b«J V´R³8g6bepf\+W

W

FºdWqaL_~cg'L:

W

F qEs *

W

?pF

N

KK }KZ

W

AQ 1

R

Ky]~

| K } hK

M

-KKe5GGKZJK }U ¡

W¢£

¤¦¥pKZS§:<~¨

| K

R

K@©

ª K } KQxK } _ i KQ« «

| K }

R

K{z

ª K }

hK

K¬K@©

ª K z

| KZ¬©

ª K }

R

K®

ª K } ¯K°]±±±~² ª K } rK

M

³KjKe*Z:jK´K }µ ¦¡

W ¢_£

¤¦¥pK¶§/·~¨

ª KZUjv

L*¸¸Z¸:D

R¹»º½¼

?1K

N

¾»

W

F¿ÁÀ5hK } g6bopÂK z

| K }&dfUWZqc\U\+W_68_`aVWZncaVW,U% i_u[KT

R K TBfE eK } W

AQ¾ÀK ®

ª K }dU%WZqc\U\+W_6jUWZg6W\Uqcdf^,q^g6b)o\ i \<g`^,qc\<pi _`[³KTS

Wqc\¢U\<°@ac\be^\¬_`Ågu^WZd_ubeU7j²SM\+µTW\beUdf_`b@g`eWqc\¢UXW,gW\<U i \gu^,qc\pi _`[ Wqc\¢dfbcd£WZdfg`oUWZg6W\¬_`

Wqc\«J V´R)y dU?1K»

M

UT"#

N

g6bopdff#\bc_6WZ\p)TSO?B TBf

N

%«b)WZqc\UZg6[]\&[¨g6bcbc\ i

Ã

º½¼

?B

N

¹»º½¼

?B TBf

N

RÄfÅ dÆÈÇ~É?1K

N e

W

?BF

Nj

ÀÊK TBf uÌË0dfUWqe\)U\+W]_6no_@UUde\_`eU\ i g6cf\W i gu^+\U

i

_u[ÍKTjl¬bepÅ

ÄfÅ dÆÈÇ~É(?1

N

ÄfÅ dÆÈÇ~É(?¶K»

M N

R@Î

LÏrn%ÐgMd*Ï n½Ñ<g]g6bop

Î

·ÏrnÑgMd*Ï n%Ðgej¡c_

i

dfb@W\

i

beg`Å\u\b@WZU

Î

s Ï s

(8)

1 H7 "!#"

«bdb@W\ i _uno\ i g`cdfdWXS¬WZ\UWdfbce\ØaoUaeg`fS bc\\<p&WZ_¬_`oU\ iu\ØU_u[]\Uno\<^+dªo^j\`\b@W,U$g`[M_ubc¬g`@no_@UUdfc\

W i gu^+\<U_6g`bQ«¬´ ´%qc\U\W i gu^+\<U i\<pVae^\p WZ_Wqc\0\+µVn#\^+W\pQ[M\<UUZg6u\U8^g6b #\I_uVWZg`dbc\<p TSg

n i_`kX\^WZd_ubI_`$WZqc_uU\¢W i g`^+\<U_`bg]U\Wj´%qcdU%fg6WWZ\ i #\dfbc¨aeU\pW_¨U\f\^W%WZqc\&\+µVn#\^WZ\p0\u\b@WZU

&0¼('*)*+ +®À)-,/.V, 6N. !+¶67!v254678/9 D< D6

W

?BF C

N

DJ

W F C D<

ÁY38¦#L DEUT# ! !"j $( !@ % @$( eZ?17 N

Í¡k u

W

·D !¦ ?¶ N

7?¶

N

¡ W

ÁY

&0¼('*)*+

+®À)-,/. "!

À$#<¼

6

+FÀ½)HÀ&%

)('*),+.-0/À)

'

¼

1 6 * #+¶6E!254678/9v

?BAJ Fy I3K

M N

D*2ÁY´8¦#* )! UTk S#H T> ?D2 <!"j $( 3

*<% .$(4

R

65v@?1AJ]F75 IÂ?8

N

K

M N

Ê?1Ke»jdK }

N W I D%d

W

D7?¶Ke5djK }

N W IÂ?8

N

D%d

W F 5

Ê?1Ke»jdK }

N W I D%d9

W

D7?¶Ke5 s K } N W IÂ?

N

DLd9

W F 5

R

3 ?B3]F

C;:

5 I

C<:

5 K

5M N S#y2~4768:9t=5 6$"! UT"%"+CA?> D@

A A

C;:

5 3BDC

A F

C<:

5 vF9E#ed

W F ÀdF W F 5 Y

A K 5

M

-K

M

UT"

A I

C;:

5 *6$"! H!GJ?_a%d1a

}N W I

C<:

5 T aO-a

}

UT"d½D

P

S a:D/a

} W

BDC

d W F

C<:

5 Y

«b@W\

i

_uno\

i

g`cdfdWXS W\<UXWZdbeQ^+_`bo^+\

i

beUWqe\{db@WZ\

i

g`^WZd_ub_`WX_ _ i []_

i

\)d[]ncf\[]\buW,gWZd_ubeUH«b

_ i pc\ i W_In i _TdpV\g]§_ i [¨g6$pV\+ªebed£WZd_ub_6Ôdb@WZ\ i _`n#\ i g6cdfdWXS`e\be\\p0WZ_[]_VpV\$db@W\ i gu^WZd_ub/´%qedfU

dUMpV_`bc\0dfbQWqe\0pV\ªebcdWdf_`b|c4o «b WqcdU]pV\+ªobcd£WZd_ub/ FIH·g6bepÁF7JHg i \¨Wqc\)U\+W]_6\u\b@WZU_`b>Wqc\

pcdD\ i \b@Wdb@WZ\ i g`^WZd_ubn#_`dfb@WZUguUpV\UZ^ i d#\p0dfbIWZqc\ W\<UXWZdbeg i ^,qcd£WZ\^+Wa i \ §ªe`a i \]} _6ÔU\<^WZd_ub0ve}

&0¼('*)*+ +®À)-,/.LKMN/Å½:) O À)$À $ +¶) ¼ c` +®À)QPSR 1 8 +(! ! "% )!*T P

254678UT

9ÁÁ2!E ¬ !" PVR ¬ ?BA C ° n A CW D F C

°VXY CW DI C

°SXY

CW D3[K C °

M

D_K C W

M ^ ^ P V

FHC

°XY

CW l FHC

° q FHCW5D !¦ S#7D#+)! &0DIJC

°SXY

CW %$"! !iT&&0

P

Z

b?¶K»eK ¬ N W A C ° n A CW D

?1Ke5dK~}

N W IJC

°

d

W F C ° H q s

??¶K»~jK ¬ N

de?¶K }

K ¬

NN W I C ° X Y C W

?¶K ¬ djK~}

¬ N W IJCW5d

W F CW

H q s

??1Ke5K ¬ N

jd½e?¶K»»K }

¬

NN W I C ° X Y C W

X}

?¶Ke5djK } N W I C °

Z?1K ¬ Î

dK }¬ N W I CW d

W F C ° J Î

d W F C W

J

??¶K»~jK ¬ N

de?¶K }

K }

¬

NN W I C

°SXY CW

F|"

(9)

) &8-z]0+ e*+ +$%&'%&()+*+,#- 8* $+0

«b@WZ\ i _`n#\ i g6cdfdWXSWZ\UWdfbc^g6b{#\]pV\+ªebe\p{guUgU\+W¢_6jn i _V^+\<pVa i \UaoU\<p)W_`\ i d§S0dÔWX_I_ i []_ i \

df[]ncf\[]\b@WZg6Wdf_`beU¬db@WZ\ i g`^W¢^+_ iZi \^WZSu´%qedfU¬W\<UXW¬dUbc_6W¬n i\<^+dU\S0^,qeg i g`^+W\ i dF/\p)guU^+_ubV§_ i [¨g6be^\

WZ\UWdfbc{g6bopdU&_6êWZ\b ^+_ubeUdfpV\ i \<p'guU&g)n i g6`[¨g6Wd^g`bep gn i gu^Wd^g` i \<°@acdi \[]\buW<²aVWpVd#\ i \buW

g6WWZ\[]nVWZUW_pV\ªebc\&dfbuWZ\ i _`n#\ i g6cdffd£WXS¨\µTdUW3tToc V9T/}<wV8?5¦Ø¡c_ i Wqe\°uaed\<U^\be^\¢[¨g`beg6u\[]\b@W

\¨aeU\p dfb@W\ i _`n#\ i g6edfd£WXSpV\+ªobcd£WZd_ubeU_`G3t;5%^g`f\p AB6$&')(>&0!)!{´%qc\U\ i \fg6Wdf_`beU

g i \%eguU\<paeno_ub +®À À½) % ^+_ubV§_ i [¨g6be^\ i \fg6Wdf_`b]g6bep]pV_&bc_`Wj[¨g6beg``\°@acd\<U^\be^\`8´%qc\U\ i \fg6Wdf_`beU

^_`beUdpV\ i Wqe\ W\UWdfbcg i ^,qcdW\<^WZa i\¢n i \U\b@W\<pIdfbU\<^WZd_ub0ve}&g6bopg i \ n i \U\b@W\<pdfb{RT\^+Wdf_`bvcÒ|V

h" "

"

«b¨_ i pc\ i WZ_n i _@dpV\g¢§_ i [¨g6#pV\+ªobcd£WZd_ub¨_6ÅdfbuWZ\ i _`n#\ i g6cdffd£WXSW\UWdfbcou\qeg¤`\%W,g \b¨dfbuWZ_^+_ubeUdfpT¥

\ i g6Wdf_`bIWqc\ `\bc\ i g6#WZ\UWdfbc¨g i ^,qcd£WZ\^+Wa i \_`ªeua i \}u d#\ i \buW¬g i ^,qed£WZ\^WZa i \U[]g¤SIo\ _`cWZg6dfbc\<p

i _`[WqcdUg i ^,qcdW\<^Wa i \ g`UpV\<U^ i df#\pdb23f}`}6ec9TÅ}¤|;54

LT1

UT1

IUT2 Tester1 (T1)

UP1

UI1 UI2

LP1

LT2

UT2 UP2

LP2 Test System (TS)

SUT (System Under Test) IUT1

Tester2 (T2)

LI1 LI2

Lower Level

¡8df`a

i

\]}61¢\be\

i

g6/g

i

^,qcdW\<^Wa

i

\¢_68db@W\

i

_uno\

i

g`cdfdWXS]W\<UXWZdbc

´%qcdUW\<UXWZdbc0g i ^,qcdW\^+Wa i \dU^_`[]n#_uU\p_`ÔWX_db@W\ i gu^WZdbcI«¬´8UØg`^,q'_6ÔWZqc\U\WX_I«´$U

qog`UWX_

dbopQ_6¢db@WZ\

i

®g`^+\<U.1È&g`bepÈ¢qcd^,q¹g

i

\IWqc\ neno\

i

«buWZ\

i

®g`^\UMg6bep>Wqc\ _\

i

«b@WZ\

i

®g`^+\<UWq

i

_`acuqqcd^,qWqc\]df[]nc\[]\b@WZg6Wdf_`b ^+_`[][acbcd^gWZ\U dWq dWZU acncn#\

i

g`bep'_\

i

g¤Su¥

\ i

U´$\UW\

i

Ug

i

\dfb

\p WZ_{Wqe\U\IdfbuWZ\

i

®g`^\U*1

Ä

¬ncno\

i

´$\UW\

i

g6bepÈ _\

i

´\<UXWZ\

i

\n#\bopVdbe_`b'Wqc\gu^^+\<UUdfcdfdWXS_6Wqc\¨dfb@W\ i ®g`^\UÅWqe\U\WZ\UW\ i U&^g6b_ i ^g`b'be_6W\+µVdUXW<¨´%q@aoU

\I_uVWZg`dbe\pQpVdD\ i \b@WWZ\UWdfbc'g i ^,qed£WZ\^WZa i \U´%qc\ &F!"& $&0!"!&g6bep &0%$!&8db@W\ i _uno\ i¥

g`cdfdWXS)W\<UXWZdbcg i ^,qcdW\<^WZa i\<U i \Un#\^WZdu\fS{^+_ ii \Uno_ubep)WZ_WZqc\¨g i ^,qcdW\^+Wa i \Md£WZqWZ\UW\ i U¢qcd^,q

_ueU\ i `\ 6^+_ubuWi _uodfb@W\ i ®gu^+\U%_`jg]acbcd°uae\d[]ncf\[]\buW,gWZd_ub/e#_6WZqd[]ncf\[]\b@W,gWdf_`boUU\neg i gWZ\fS_ i

(10)

#_6WZq{df[Mne\[M\b@WZgWZd_ubeUWZ_`u\+Wqe\

i

\M^g`b{g6U_pVdUWdfbc`acdUqg

i

^,qcdW\^+Wa

i

\U¬g`^^_

i

pVdfbc]W_IWqc\Mg`^¥

^\UZUdfcdfdWXS>_`&acncn#\

i _ i

f_\

i

db@WZ\

i

®g`^+\<U¶«bWqedfUneg6n#\

i

%\_`bcfS^_`beUdfpc\

i

WZqc\^guU\_6 Wqc\

gu^^\UZUdfcdfdWXS¨_6o_`Wq)dfbuWZ\

i

®g`^\U 1WqcdUg

i

^,qcdW\<^WZa

i

\¢dU^g`f\p BB&

dWq0WZqcdfU¬g i ^,qcd£WZ\^+Wa i \`TWZqc\U\WyF C _68_`eU\ i g6cf\¢\`\b@WZU%_68Wqe\pV\+ªebed£WZd_ub|c} ^g`b)o\pV\<^+_u[¥

n#_uU\p¨guU§_`ff_U 17FvF

H q F

J

uqe\ i \F

H i \Un/F

J

ÔdfUjWqc\¢U\WØ_6Å[]\UZUg``\<U\+µc^,qeg6be`\pM_ub

WZqc\&acncn#\ i i \Un/_\ i db@W\ i ®gu^+\uF^g6b0#\g6U_¨pV\<^+_`[]n#_uU\pdb)_ i pV\ i W_pVdUXWZdbe`acdUq0dfbcncaVW

[]\<UUZg6u\Ui _`[ _uaVWncacW¢[]\UZUZg6`\<U<F¾ F q F Dqc\ i \JF i \<Un<F dUWqc\ªebcdW\]U\W¢_`

dfbcncacW i \Un/Ô_`aVWZncaVW [M\<UUZg6u\U

1 "

Q"

$

"%$

«b>3t!54TpVd#\ i\buW "%$&D( &0D#Ôqeg¤`\¬o\\bpc\+ªebc\<pÅÔ´%qc\U\ i \gWZd_ubeUÔ§_ i[¨g`fSMUn#\^+d§S

^_`bepcd£WZd_ubeUW_0o\¨UZgWdUªe\p@S)WX_Idf[]ncf\[]\b@WZg6Wdf_`beU¢dfb'_ i pc\ i W_0o\¨^+_ubeUdfpV\ i \<pdfbuWZ\ i _`n#\ i g6cf\`

´%qe\U\¬dfbuWZ\ i _`n#\ i g6cdffd£WXS i \fg6Wdf_`beUg i \¬eguU\<p¨acn#_`b0g^+_ubV§_ i [¨g6be^\ i \gWdf_`b>1WZqc\ +FÀ À) % ^_`bV§_ i¥

[¨g`be^+\ i \gWdf_`b)pV\ªebc\pdfb 3458g`U§_`f_U

+®À À½) % /

W

ÄfÅ

dÆÈÇ~É? N

Ã

º¼

?½

N l Ã º¼

? j

N

´%qe\¢dfb@W\ i gu^Wdf_`b)^+_ubeUdfpV\ i\<pdUg`USTbe^,q i _`bc_uaeUL17 P fv· P7P qc\ i \ i \n i \<U\b@WZUWqc\

guUSTbe^,q i_ubc_`aeU\bTTdi _ubc[]\b@W#\+WX\\b0Wqc\ WX_«J V´RÅ

%.,:.¶0 &¼('Ê)L+ +®À) À&% O ¼+¶) ¼ ÀØ¼ ¤c +!+ ½ ¼ !®V +®À) ¿i+ O À $ +F¼ ¼() ¼ Q ) ¼u¾

¼)

d#\ i \buWdfbuWZ\ i _`n#\ i g6cdffd£WXS i \gWdf_`boU/\ i \pV\ªebc\pMpV\no\bepVdfbc_`cWqe\^_`beUdfpc\ i \p WZ\UWdfbc¢g i ^,qed£WZ\^¥

WZa i \g6bep0WZqTaeUo_6Wqe\g`^^+\<UU_ub)Wqc\pVdD\ i \b@W¬dfb@W\ i ®gu^+\U´%qc\*A&0!"!& BB& "6$&'D(

&0D ^_`beUdfpc\ i Wqe\^g`U\ qc\ i \&\&qeg¤`\ _`beSIgu^^\UZUW_¨_`be\&«¬´ e´%qcdU i \gWZd_ubdUeguU\<p

_ub¨Wqe\¬®gu^WØWZqegW<cpVa i dbeWqe\¬dfbuWZ\ i g`^+Wdf_`b#\+WX\\b g6bep È¬`@WZqc\f\guUXW\¢^g`b\+µVn#\^Wi _u[ Wqc\

df[]ncf\[]\b@WZg6Wdf_`b dUW_¨#\qeg¤u\¢guU%\+µVn#\^WZ\p)g`^^+_ i pVdfbcW_]dWZUUno\<^+dªo^g6Wdf_`b

&0¼('*)*+ +®À)(:.10@3)*+!FV ¼ ! -À ! ') ¼ ÀØ¼ V +!+ ½ ¼ !FV +FÀ½) Â 1

Â5?Z5 ¬ N

· ¦

W

ÄfÅ

dÆÈÇ~É(? N

µ /

W

ÄfÅ

dÆÈÇ~É(? P ¬ N

F R °

-¦

ª

Ã

º¼

??e P ¬ N

F

°

j

N l Ã º¼

? ~j

N Y

´%qc\

i

\fg6Wdf_`bÂ^g6b¨#\g`ncncfd\<p¨dbopV\n#\bepc\b@WfSMW_ ¬ §eguU\<p¨_`b]WZqc\Un#\^+dªo^gWdf_`b

¬ Ô´%qc\

$&0B!& &0

P

.AB#6$&')(>&0D^+_

ii

\Uno_ubepcUW_{Wqc\

i

\gWZd_ubÂg6ncnedf\p'§_

i

o_`Wq Z

g`bep ¬

&0¼('*)*+ +®À)(:.V, +!®V ¼ ! -À < ! 'È) ¼ ÀØ¼ ¤c +!+ ½ ¼ !FV +FÀ½) k¬ 1

k¬(? È¬

N ? È¬

N!

?È¬ N Y

´%qc\ 6&0%$&:"!"!&:AB6$&')(*&0!)!"$# dU%eg`U\p_`bWqe\&`f_`eg`##\qog¤@df_ i _`Wqe\&db@W\ i¥

gu^WZd_ubeU%o\WX\\b i\<Un#\^+Wdf`\SH1jUn#\^+dªo^gWdf_`boU P ¬ g6bepd[]ncf\[]\bVWZg6Wdf_`beU e P ¬

(11)

&0¼('*)*+

+®À)(:.

!À

8 !

-À

< !

'È)

¼

À¼ V

+!+ ½ ¼

!®c

+®À)

$# 1

$#?Z5 ¬ N

· ¦

W

Ä#Å dÆÈÇ~É(?

P

¬ N DLÃ

º¼

?e

P ¬ j

N l Ã º¼

?

P

¬

N Y

I¼ QV «b 3Òt;5¦jWqe\I§_ i [¨g6%dfb@W\ i _`n#\ i g6edfd£WXS i \gWdf_`bpV\+ªebed£WZd_ubeU¨pV_bc_6W¨^+_ ii \Uno_ubepW_

WZqc\di dW\ i g`ÔpV\+ªebed£WZd_ubeU«bepV\\pÅpcdD\ i \b@W i \fg6Wdf_`beUqeg¤u\#\\bpV\ªebc\<p'^_ iZi \<Un#_`bepcdbcW_0Wqc\

pcdD\ i \b@Wn#_uUZUdfcf\]W\<UXWZdbc'g i ^,qcd£WZ\^+Wa i \UI´%qTaeUWZqc\Idfb@W\ i _`n#\ i g6edfd£WXS i \fg6Wdf_`beU [aeUXWM^+_`boUdpV\ i

_ubcfS{\u\b@WZU&_ueU\ i ¤g`cf\MdWqWZqc\I^+_ ii \Un#_`bepVdfbc)g i ^,qcdW\^+Wa i \¨pVa i dbeWZ\UWdfbce0²aVW&Wqc\Idb@W\ i¥

_uno\ i g`cdfdWXS i \fg6Wdf_`beU\ i \ i dWW\bdfbUao^,q0gg¤S]WZqegWWZqc\¢W i g`^\U%g6U_Mdfbe^+faepV\&bc_ubV¥¦_`eU\ i g6cf\

\`\buW,U8¡c_ i WqcdU i \guU_ub/¤Wqc\§_ i []g`cpV\+ªobcd£WZd_ub]_6#Wqc\dfb@W\ i _uno\ i g`cdfdWXS i \fg6Wdf_`beU\ i \ i \ i dWWZ\b/

´%qe\¢dfb@W\ i _uno\ i g`cdfdWXS i \fg6Wdf_`beU%n i \U\b@WZ\p0g6#_`\ g i \¬WZqc\^+_ ii \^+W\p i \fg6Wdf_`beU

´%qc\In i _uno\ i WZd\<U&_6%WZqc\dfbuWZ\ i _`n#\ i g6cdffd£WXS i \gWZd_ubeU n i _`\<pdfb 3t!5g i \UWdfØWi ac\¨#\^g`aeU\¨Wqc\

n i_T_6®U\ i \ eg`U\p_`bWqc\&fdW\ i g6/pc\+ªebcdWdf_`boU_6$Wqc\ i \gWZd_ubeUjRT_u[]\¢_`$WZqc\U\ n i _`n#\ iWdf\Ug i \1

R

$# ¬ 1WZqcdU\°@acdfg6f\be^\{Uae``\<UXW,UMWqeg6W\[]g¤Sg¤`_`dp>Wqc\^_`beUWi ae^+Wdf_`b¹_6 Wqc\

db@WZ\ i g`^WZd_ub_`WZqc\Un#\^d£ª#^gWZd_ub/

R ª ? È¬

N

g`bep È¬ ¬ ª

k¬(? ¬

N # ? È¬

N 1

WX_Mdf[Mne\[M\b@WZgWZd_ubeU^+_ubV§_ i [¨g6b@WØWZ_MWqc\di Uno\<^+dªo^g6Wdf_`bdbWqc\U\boU\¢_6 +®À À½) % g i \¢^_`bV¥

UdpV\ i\<pIdfb@W\ i _`n#\ i g6e\¢d£WZq0Wqc\<U\&dfb@W\ i _`n#\ i g6edfd£WXS i \gWZd_ubeU

!#$%&%8&()+*+o- $/$+0,0I]+$ 0 0

)*+

0

5 1

2

3 4

U?A

l!a

l?c l?b

l?a

U!B U!C

l?a l!b l!c

0 0 0 0 0

1 1 1 1 1

2 2 2 2 2

U?A U?A U?A

l!a l!a l!a

l?a l?a

l!b l!c

3 3 3

4 4

l?b l?b l?b

U!C U!B

I2 I3 I4 I5

I1

¡8dua

i

\&|#1ØRTn#\^+dªo^gWdf_`b

g6bepdf[Mne\[M\b@WZgWZd_ubeU Z6 ¬ #u "!g6bop$#

Jb'Wqc\]\µVg`[]nc\]_`ØWqe\ªo`a

i

\]|c/f\+W&aeU&^+_ubeUdfpV\

i

Wqc\<U\M§_`a

i

db@W\

i

gu^WZd_ubeU 1 ZdWq "!@ ¬

dWq "!@ # dWq "!@eg`bep Zd£WZq $#`´%qc\

i

\<UacWZU%dWq)WZqc\&dfbuWZ\

i

_`n#\

i

g6cdffd£WXS

i

\gWZd_ubeU%_`bWqc\<U\

dfb@W\ i gu^Wdf_`boUg i \1

R

¡c_

i

Z g6bop"!@c\ qeg¤`\ 1Â5? Z5 "!

N Â?"!( e

N ¬ ?Z~ "!

N

g6bep$$#?Z5 "!

N

R

¡c_ i È¬g6bop ! c\ qeg¤`\ 1&% ?È¬ ! N ? ! ¬

N

% k¬?È¬ ! N

g6bep'% # ?È¬ ! N