A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs

(1)

HAL Id: inria-00070338

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

Submitted on 19 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents

A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs

Arnaud Gotlieb, Patrick Bernard

To cite this version:

Arnaud Gotlieb, Patrick Bernard. A Semi-empirical Model of Test Quality in Symmetric Testing:

Application to Testing Java Card APIs. [Research Report] RR-5675, INRIA. 2005, pp.21. �inria- 00070338�

(2)

ISRN INRIA/RR--5675--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

A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java

Card APIs

Arnaud Gotlieb , Patrick Bernard

N˚5675

September 2005

Systèmes cognitifs

(3)

(4)

"$%7&81,9,:;<=&>1?&>@"$%'&>195ABDCEGFHIJLK;MN%

O,PRQTSVU8W;XZYV[]\_^a`cbTdegfhS/[RPR^_ikjml3`nPoQTSVPoWTp

qsrutwvyx-z{Rt|}~cvyt

g }{-vD6/u{

/} vu{ {o| { | {!cnqs{-vy{-zB/{ Dc I u ~c{ot

8 o¡-¢k£¤¡¥ ¦

§vy{3tyz

v=|o

§¨n©ª«¬vr§ctyty©

|-{I{oª«7®8qs}¯v°±

{!²>{otwvy«~,³tEvy{

«´n«ª«{-~{R

°±]r}µ«|

{Rty~vy{|-}u/{-|-{Bª«{-´c{-ª8¶vy{«zª{oz{-nv·vy«}¶|-}

·

{R|v·{ot·t-¸qs}¯v°

{!vy{Rtv·~

«s´}cª´c{ot6hty{v}/c|vy«´s¬v·{Rt>vyv8«|ª«©u{RtkvTª{Rtwv6v·{otwvTkv·Etw{oª{R|v·}c'®]vy{RtvT{¹u{R|©uv·}c!!}©uv·©uv

|-} · {R|v·{ot·t| {o| ºs«~¸»m{-Zv·{otwvy«~,¼n]´k½ Zª«³|-kv·}cZ }~ zz«~nvy{ c|{Rt!¾¿ ¦ t À®

v·{v·{otwvy{ tvy}§u{Rªµ°vy$v·{|-ª«ctyty«|oªµty}ÁÂ|-ªª«{o¶} |-ª{ }ª{oz®8a¸{c¸,v·}°±]r§v·}Z{Á

´kª©vy{=v·{B|-} ·{R|vy{ot·tÃ}vy{3|}z©vy{o}c©uvy©uvo¸ ¦vy«tDV{ ®°{ {o/} v}c§Z{-¹sV{ «{-|-{

«vy{Rtv·~z{v·}ut}>v·{BÄE/{ v·s© ½ qsrutwvy{ozth½Ã}ctyz3}Å 3 q¿;ÆEÅ¸Ç¼c]´k½ ,¿ ¦ tsr

©/tw«~v·{Bqsrszz{v ³|!²>{otwvy«~4 cu~cz¸²±³t/ u«~zÈ«ztEkvD©/tw«~4©ty{ ÁÂu{{otwrszz{Á

v r }V{ vy«{otI}z3{-vy}utBt=v·{otwvB} c|ª«{oto¸»{ }V}cty{É{¹uV{ z{ocv ªÃ{-s´s }z{ocvIv·kv

|-}zB{ot u}cz<v·{otwvy«~Z¶twrszz{v r| {o| ºs~4Ê} }cuÁË|o vy{Rtv·~}ty{-´c{ ª>tyrszz3{-v «|

z{-vy}utµ}'¼c]´k!½ ¿ ¦t-¸TÌ±ty{o3}v·³tµ{on´s }cz{-nvo®°Ã{D{-´{oª}ctw{oz¬ÁË{-z ³|-ªz}uu{-ª

¾_z}s{-ª'Ê{o{ou{RZsr{-¹sV{ «z3{onv·ª>kv cÀv·}4{-ª«§u{R|³u~°{-v·}tv·}vy{Rtv·~v·}t·ty{ot·t

v·{otwv¨c©/ª«¬vrc¸BÍ8 twv={-¹u/{ «z{-nv·ª {oty©ªv·tI { {o/} v·{o¶§vy{{-¹nv·{-ty«}}µv·{ }cc| Zvy}

}uÁÂtwrszz{v ³|E¼n]´k4½ ¿ ¦ z{-vy}ut±³tu³ty|-©t·tw{R7¸

ÎZÏnÐNÑ·Ò!Ó ¢kÔ8 ¥ µ }c~ z+²>{otwvy«~®²>{otwv¨n©ª«¬vrc®qsrszz3{-v «|I²>{otwvy«~/®¼c]´k½

Õ³Ö7×yØËÙoÚ±×Û8Ü«ØËÝaÞß

àµá/âã ä_åÂæ>çuè é]ê]å8ëìÊí6ìîoïðÃìÊñ>í6ì¯ïZëEò7è óô]õ]ö'ê]åg÷Nåwè õ]øúùúåõnû]üýþ ÿí6åé]é]åöò7åê]åûí6ï8ñò

÷Ví8í§òNï8í¶îgîîû]âõ]ågï8õõ]ö_æ_åµ÷Nøè é]åû þþ±á/ï!Ãûí'ïñ8ò"

Unité de recherche INRIA Rennes

(5)

%'.4&6*@:;I,=&>-1?!*0&>%'& -1!&8±8 k% A3Ch FHI8

¥ tgª{D}z«{Du{Dª¿Dt·tw© |{E©ªv{otµ|o vy{Rt=©|-{®nª{v·{otwvµª«}~³|«{-ª{otwvµª{

z}krc{-Z ´s«ªo~V{ z3{-vwv nvh©~z{-nvy{ ª³|-}u/|{B¨c©{!}c©tDV} vy}ctDtEª«,|} y {o|vy«}

©{Izª³nv·vy«}'¸T6{Ev·{otwvª}c~³|«{-ª7|}cz/} v·{h©{oty{-z!ª{Iu{hvc| {ot|-}nvy{onv©z}«t±ª«

t-ªo|vy«}u{ot} o{ot±u{=v·{otwvo®uª!-¹"R|©uv·}c{otvy{Rtv t{vª«{|}ccv # ª{hu{Iª³3|-} · {R|v·}cu{otty} vy«{ot

|oª³|©ª-{Rt-¸'} t·¨n©{±ª{Rtg«nvy{ |-{otg{ª«=ª«vy{Ê} z{¼n]´k!½ 3ty}nvTv·{otwv-{Rt-®nª«{vy{Rtv·{-© u}vg {

c|{© |-ª«ctyty³¨c©{ }ª«x-z{u{ª} |-ª{c®|${Rtv%u {¨c©&«ªu}vBv }c©´{ © z}kr{o {-´kª«©{

ª³|-} · {R|v·}cu{ot3tw} v·{RtB|oª³|©ª-{Rt-¸ t3|{{ ®T}c©t /} v·}t!©{,{¹u' «{-/|{,t

ª³¨n©{oªª«{I}c©tD]´c}t±©uv·ª«³t(Bª{/ u«~z{Iu©Zv·{otwvEtwrsz)v ³¨n©{V}© vy{otwvy{ u{Rt«nvy{ |-{ot{ª«

ª«vy{Ê}

z{h¼c]´k3½

ÄE/{

v·n©

½

qurstwvy{ozt±½Ã}ntwz}BÅ

q¿ ÆhÅ¸Ç¸g½Ã{E/

u«~z{E|-}ty³tv·{

©vy«ª³tw{

u{Rt

}

votIu{twrsz)v

«{4u} -{RtI

ª©uvy«ª««t·kv·{-©

|}zz{4}

c|ª«{otIu{v·{otwv!V}©

ª«{otÃ«cv·{

|-{oto¸*D}©tµ

}c/}ntw}ctg©4{-s´s

}{-z{-nvµ{-¹u'

«z{-nv·ª/¨n©N|}zB«{v·{otwvªovy}c

{{v

|-}nv

#

ª«{Du{Ityrsz+-v

{E/}c©

©uv·}zkv·«ty{

ª«{Dv·{otwv±u{=z)v·}uu{ot±«cv·{

|-{ot¼c]´k3½

'¸8Ì±tEty©

|-{v{-s´s

}c{-z{ocvR®u}©/t]´}/tÃ,o´{oª}c'=©z}uux-ª«{Itw{oz¬ÁË{-z

³¨n©{¾Ê©z}uux-ª«{=}©

y

7

{otTu}c -{Rt8{¹u'

«z{-nv·ª{Rt·À6V}©

«u{

h o|³u{

u©Bz}cz3{onv}cV}

vy©u{±ª

·-

vTu{ot8v·{otwv·t{v

o´kª«©{ ª³¨n©ª«v!u©v·{otwvo¸'{Rt {-z«{ t Rtw©ª¬v kv·t{¹u' «z{-nv·©u¹Ztw}ccvD} Rt{vEª{¹svy{oty}c

{=|-{vyvy{ }u| {I©u¹z)v·}uu{ot±}cuÁÂtwrsz)v ³¨n©{ot{otwvDu³ty|-©uvo{¸

.HÓ ¡R Ñ ¤$/ ¥

²>{otwvD'}c~³|«{-ªa®0E©ª«¬vIu{=vy{RtvR®²6{Rtvtyrsz+-v

«¨n©{c®¼c]´k4½

(6)

6

MV1B&6*,µ&>1

¿Dª¬v·}©~Ê} zªN´{ /|-vy«}ty}¯v°± {Dv·{otwvy«~°Ã{ {=´s«{-°{ot±}/}ntwvy{RtÊ} 3ª}c~3vy«z{®

°vy Ê} zª±´{ /|okvy«} |}c|{ocv vy«~}c }k´s«~¶ }c~ z |} · {o|v·{ot·t3°«ª{vy{Rtv·~$|-}uÁ

|-{-nv kv·~É}#~©ªv·t }c~ z «zª{oz{-nv·vy«}'®±v·{-r#|-m}k°<V{¶|-}ty³u{ {o#t

|-}zª«{-z{-nv r,v·{o| «¨n©{Rt17Ç8Ë¸ ¦ v·{twz vI|- Z/{-ª³7®6ty}¯v°± {vy{Rtv·~³t {R¨n© {osrZvy{

½Ã}czz3}c ½ vy{ ³{-´kª«©vy«}Éty| {-z{97 8µv·}§«| {octw{3vy{,|}cu/u{o|{ª«{-´c{-ªg}±vy{|-{ vyÊrs~

©uvy} ¬vrÉ« vy{«z3ª{oz3{onv·kv·}cm|} · {o|v·{ot·tB}hty{o|-© ¬vrÉÊ©|v·}ct-¸ ¦ vy³t4|-}nvy{-¹nvR®gv·{o| uÁ

«¨n©{Rt,v·}n}cª«tvyvD/{ zvvy}4©uvy}czkvy{4¾{-´c{- vy³ª«ª«ruÀÃv·{Iv·{otwvy«~ }s|-{ot·t {I°Ã{oª«|-}z{¸

: ªr {oty{o | °Ã} ºut«§v·kvE{-ª³§«|-ª©{!v·{BÌ;/Áavy{Rtv·~ }n| Zu{oty«~{RZsr6{-~c{o {v

ª_¸(7

u

®

8'vy}~c{-{

vy{=©uv·}zkv·«|oª«ªrv·{otwvD|-ctw{Rtµ

}z<!Ê}

zª'Ìm}

;twV{o|-¬V|-kv·}c'¸g²±{I|}

Á

{otyV}u«~!vy}s}ª³t±tw©vy{=ct/{o{-{-zª«}kr{ovy}´kª««vy{Evy{I¼n]´k3½

v

tyc|v·}cz{o| ³twz

sr$~{o{

kv·~Zvy{Rtv4|-ctw{Rt}cvy{,V}©/

rÉtv kvy{Rt!}vy{Ê}

zª±ty/{R|/|-vy«}<7

8Ë¸ ¦=7

)>

8a®

µ

{-v·t·| {

{vIªa¸EÊ}ª«ª}k°{o§,tw«zª³

}n| Zsr©ty~vy{¿@?D²DÄhÍÄI½A?EqZvy}s}ª>Ê}

twV{o|-¬ÊrnÁ

«~vy{3|}zz//B

{oty/}cty{Iz3{R| «tyzL}µ}©ty{!tyz

v=|-

ZZ~{o{

kv·~vy{Rtv=|-ty{ot

Ê} ´]ª³vy«~v·{Z©uv·{-nv·¬/|okv·}c }v·}s|-}ª}v·{Z|- 7¸ ¿v3v·{tyz3{,vy«z{®½Ãª« ºc{{-vª_¸

7> 8µu{o´{oª}c/{R§twrszB/}cª³|Iv·{otwv=~c{-{ vy«}§ª~c} ¬v·ztEª«{RZvy{-zLvy}~{o{ kv·{!}cuÁ_v·{Á3Cr

v·{otwv|-ty{otÃÊ} BÊ{Rkvy© {h}>vy{!½ :g q/Dh{ÁË© tw{=ª³|-vy«}FE§ vy«, ©Ì}©t·¨n©{vG7 Ç8

}c/}ntw{Rvy}©/tw{G?HE7ÁËty{ovy}s}ª³tvy}~c{-{ vy{hvy{RtvDty©vy{otÊ} vy{Rtv·~4¼n]´k½ ª{-v·to¸

¿Dªªnvy{oty{Ã }n| {Rt7]´c{g3|}cz3z}cIvy} {R¨c© {T tvÊ} zªcz}s{-ªN¾3;} Ì$ty/{R|/|-vy«}'®

©uvy}czkv·®©uvBk}©uv·©uvv tyvy«} tyrstwvy{oz} tv kvy{R| v·t À3v·} V{¶|}ctwv ©|v·{om« } u{ vy}

~c{-{ vy{µvy{otwvg|-ctw{Rt-¸>»m{-3vy{Ãv·z{-Á_v·}ÁËz ºc{v8}Vh{o° }uu©|vT³tT| ¬v·«|oªa®]vy³tT{IV} vTV{o t

ctµV{-«~!vy}s}B|-}ctwvyª«r4| {RV{ ¾Ê©v±twvy«ªª ~c} }©t À }n| {Rtg {{o{ou{R7¸T²6{R| ³¨n©{ottw©/|

ctEtwv·vy³tv·«|oª>vy{Rtv·~J7

Åu®7Å

8Ë®N/}c©

rv·{otwvy«~J7

8a®N}

ª«}s|oª8{¹u©tv·´c{Ivy{Rtv·~J7ÅÅK8gu},}v

{o¨n©

{ÉÊ}

zªEz}s{-ªhvy} /{$u{-´c{-ª«}V{o7¸ qnv·vy³tv·«|oªEvy{Rtv·~ «zt,vty{-ª«{o|v·~

u}czªr

v·{´kª«©{otty³u{vy{©uv!u}z$}vy{ª³|-vy«}©u{

vy{Rtvsr©/tw«~Zty{-©}Á

u}z

s©zB/{

tE~{o{

kv·}

t-®VV}©

rvy{otwvy«~

{oª«{otE}tw{oª{R|v·~,vy{BV}©/

{Rth}Ã«©uvty|-{

/

vyvy«}'®T°{

{Rt!ª}u|-ªµ{-¹s/©twvy«´{vy{otwvy«~twrutwvy{-zvy³|-ª«ª«r¶{-¹sª}

{Rt!§V}©u{o

v!}vy{

«©vu}cz«'¸ ¦ v·{oty{¶ }c| {oto®±vy{otwvy«~¶©twvu{o/{ot}cmvy{$]´k«ª««ªvr#}!} c|ª«{oto®

v·kvh«to®Ntw}cz3{B }s|-{ou© {Rt±Ê} {ou³|v·~4vy{B{¹u/{R|v·{o {oty©ªv·tD}Tvy{Bª³|-vy«}tD©u{ v·{otwvo¸

?DuÊ} vy©kv·{-ª«r®7tD{o ª«{ V}«cv·{oZ}c©uvEsr»{-rs©º{ 7Å 8Ë®Vvy{ {3 { }~ ztvy}V{v·{otwvy{RÊ}

°«| =v·{Ãu{Rtw«~I}} |-ª{RtN«t8}cuÁ_v «´s«ªkv·ctwºN¸ : ¹zª«{ot'}tw©/| I }c~ ztN«Ivy{twz v>|o

/{-ª³/|ª«©u{Etwv· / } {-v· r!¼n]´kB½ ¿ ¦ tÃctTvy{-r {©twv©ty©ªª«r3{ot·| V{osr

v·{- nvy{ c|{Rtµ/IÊ{-°mª««{otÃ}'vy© ªvy{-¹nvL¸TÍ} v·{oty{E¿ ¦ to®s|-© ·{ocvÃ©tv ³ªV |vy³|{ot

{-ª«r4}c|-}uu~vy{I} c|ª«{hct±vy{ {oty©ªv}T}vy{ }~ z v·kv°«ª«ª6V{|}}ccv·{o,°¬v·vy{

{oty©ªvÃ}7vy{h¿ ¦ ©u{ v·{otwvo¸T²±³tÃ }c| ty©MIN{ tg }z ty{-´{ ª ]°| ºutgty©| ctTv·{E~c

|-}ctwv}6v·{u{o´{-ª«}z3{onv±}8} c|ª«{ot,v·{I{¹u³tv·{-|-{h}>©ªv·t±«cv·}vy{I} c|ª«{oto¸

{R|{ocv·ªrc®g°{]´c{ }V}cty{oN7 K8±v·}c {ot·tIvy«t3} |-ª{ }cª«{-z Ê} ¼n]´]§ }c~ ztIsr

©/tw«~I©ty{ ÁË{{RBtyrszz3{-v {RtT}7 }~ zt6v·}| {o| ºvy{D|-} · {R|v·{ot·t}Vvy{E|}z©vy{o3}c©uvy©vo¸

O {

{®ntwrszz{v

«{otg

{«©uvyÁa}c©uvy©uvÃV{

z!©uv kv·}c

{oª«vy«}tT}k´c{

}~

z{¹u{R|©uv·}ctvy/kvµª«{oc

P

"]åhòNãóóãé /øúå Âæaâãé]ùIáõ]âöaåIî-ôå ùQwè·æ_ùúãé,ùúöè!öæËè é]ê]è â_êSR«ãâ â_åwè·æ_ùúéùúéæaåâUT¯ãôåwâ_èV]øúå=óÃõ]øæ_ùTõ]â_âåéXW

öaóè âÊæ"yè âê=åXT¯ô]õRâ_ö_åTö,Woö_æ_åwóöY

Z

ï>øæ]ãõ&Rãâ_óè øúù\[wè·æ_ùúãé]ö'ê]ã±åRùúöæ^]ý`_Y

(7)

v·}¶/

vyvy«}«~§v·{©uv4twc|{,nvy}¶{o¨n©«´kª«{-|-{|-ª«ctyty{otBvy{{o¨n©«´kª«{-|-{,V{v°{-{ov°}

{-¹u{o|©vy«}tty{

´{RtÃct}

|ª«{¸»{Inv

}uu©|-{I3ty}¯v°±

{v·{otwvy«~

cu~cz+|-ªª«{oqsrszz3{-v

«|

²>{otwvy«~/®7°{

{3©uvy}czkvy³|!vy{otwvkv 4~c{-{

vy«}§°±t=|}c©ª«{o°¬v·tyrsz3z{-v

{Rth| {o| ºs~,/

ª«}u|-ª7{¹u©/tv·´c{Dv·{otwvy«~vy}©|-}k´{ ©ªv·t«ty«u{hv·{I }~ zto¸

¦ 3vy«tT/V{ ®°{ {-V} vT}{¹uV{ {o|{±«ª«rs~Iqurnzz{v ³|²>{otwvy«~hvy}=vy{Rtvgz{-vy}ut

}gvy{4ÄEV{ vys© ½ qurstwvy{ozt!½Ã}ctyz3}Å , qu¿ ÆEÅ¸Ç¼n]´]½ ¿ ¦ 7 8gsrZ©ty«~ /u}z

v·{otwvy«~¸b?Dª«º{=}c© {-´s}c©tÃ°Ã} º97 K8Ë®u°{={-´{oª}c{ {I,} «~«ªNty{-z¬ÁË{-z «|oªNz}s{-ªNvy}

{-ª«3u{R|³u{°{-Bvy}=tv·}Bvy{Rtv·~=/Ivy}Ictyty{ot·t'v·{otwvg¨c©/ª«¬vr=«qsrszz{v ³|±²6{Rtv·~/¸>²±³tz}uu{-ª

³t7Ê{o{ou{R=°¬v·!I{oz ³|-ªc z{-vy{ ¾ty{o=}ctwrszz{v r=| {o| ºs«~nÀV«!v·{-} {-vy³|-ªcz}s{-ª}

/u}z vy{otwvy«~/®R«I} u{ vy}}cuv·=v·{gz«zB©z;s©z!V{ }svy{Rtv>kv· {R¨c© {oEvy} {R| I~«´{o

ª«{-´c{-ª/}6¨n©ª«vr¸Í }z vy{IÄE/{ v·s© ½ 4qsrutwvy{ozt½Ã}ctyz}!Å qu¿ ÆhÅ¸Ç!¼n]´]3½ ¿ ¦ 7 8a®

°{=]´{=ty{-ª«{o|v·{ovy{Iz{-vy}utv·}Bv·{otwvsrtv·©urs«~3vy{o tyrsz3z{-v r4 }V{ vy«{oto®sctqsrszz3{-v «|

²>{otwvy«~I³tg}cªr3tw©¬v ª«{Ê} vy{otwvy«~ }c~ zt>vyvµ/}ntyty{ot·ty{ot«©uvyÁa}c©uvy©vtyrnzz{v r {oª«vy«}'¸

Ìr¶©tw«~Zty{-´{

ª8vy}s}ª³t-®>°Ã{/]´{u{oty«~{R¶{-¹u/{

«z{-nv·ªg{-s´s

}z3{onvhv·}©«ª«$}c©

tw{oz¬Á

{oz

³|-ªuz}uu{oªBv·}=ª«r3qsrszz{v

³|²6{Rtv·~h«4ty¬v·©kv·}ctTtT|-ª}ntw{tV}ct·tyª«{±vy}=v·{

{oª

tyvy©vy«}to¸

¦

|-}nv

twv°vy}v·{

±

{oty{o

| 4°}

ºutµ«vy{Rtv·~¼n]´]3|-

}~

zt&7

> ®

)>

8Ë®uvy{Rtv

{-¹u{o|©vy«}¶twrszz{v «{ot=| {o| ºs«~/]´{3/{o{-$|}/u©|v·{o¶sr§| }ct·tÁavy{Rtv·~,}tyz v=|o

,}vsr4©ty«~tw«z!©ª³kv·}cto¸

²±{ {RtvD}vy{/V{ ³t} ~n-{R,ct±Ê}ª«ª«}k°t tw{R|vy«} {Rtw{ocv t±vy{Bqsrszz3{-v «|!²6{Rtv·~

/ u«~z =~«´{Rt7{¹z3ª{Rt7}tyrnzz{v r {-ª³kvy«}/t-¸>qu{o|v·}cÅ {o/} v tNvy{Ãtyrnzz{v rhªruty«t

}8!Ê{-° z3{-vy}ut±}6v·{!ÄE/{ v·n© ½ qsrutv·{-ztD½Ã}ctyz}BÅ ! q¿;ÆEÅ¸Ç¼c]´k3½ ,¿ ¦ °«ª{

ty{o|vy«}Ç3u{v «ª«tÃ}© tw{oz¬ÁË{-z ³|-ªz}uu{-ªV} /u}z vy{Rtv·~Bty{o}ctyrnzz{v «{otÃ| {o| ºs«~¸

qu{o|v·}c {-V} v·tÃvy{= twv{-¹u/{ «z{-nv·ª {Rtw©ªv·t±,«t·|©t·ty{ot{¹svy{oty}c,}6vy{E z{o°Ã} º3vy}

/uª«{}cuÁÂtwrszz{v ³|=z3{-vy}utE}v·{B¼n]´k½ Z¿ ¦ to¸Í>«ªª«rZtw{R|vy«}ZV}«nv·thtw{o´{ ª

V{ ty/{R|vy«´{Rtvy}3vy«t°} ºN¸

3.45&6 "$%7&>-1,9

: ¹sª}c¬v·~,twrszz{v r«Z´{ /|okvy«}³t}vE{o° ³u{R¸ : z{ tw}cZ§qs³twvyª³97 Ç88 ¦ §/

«ªª 7 > 8± }V}cty{oÉ{R ªr¶vy}¶{¹uª«}v3twv ©|v·© ªÃtyrsz3z{-v {Rtv·}¶ {Rtytvy{ }ª«{-z }Dtv kvy{

{-¹uª}ntw«}«Éz3}uu{oªÃ| {R| ºs~/¸,²±³t }c| ctI/{o{-É{-¹sV{ «{-|-{o$$ }k´c{o¶nvy{ {Rtv·~

« |v·«|-{=Zty{-´{ ªVvy}s}ª³t-®/tw©| Zct±ÆT{ ³qs}¯v 7 86} q ¦ * 7ÅK8v·t «|«ª«{I«t/ty{o,}ty³|

{oty©ªv·t }z+~ }c©4v·{-} r 7 Ç® > ® 86 vy³ªN} u{ vy{R| ³¨c©{ot 7o 8Ë¸

Ì±ty{o,}tyz«ª« «u{Rto®u°Ã{ {o|-{-nvyª«r4«cv }uu©/|{oqsrszz{v ³|h²>{otwvy«~97 K8'«vy{|-}nvy{-¹sv±}

qu}¯v°±

{B²>{otwvy«~¸3²±{0C/]´}c©

}Ã}c©

}cc| Z«t={-¹uª«{o¶{

{B}c¶´{

rctw³|B{¹zª«{¸

½Ã}cty«u{

3

}c~

zHnvy{ou{Rv·}4|}cz3©uvy{=v·{I~

{ovy{otwv|}cz3z}cu«´s«ty}

¾nÀ}6v°}3}uÁ

{-~cvy«´{=«cv·{-~c{

tty©V}cty{=vyv «t±v·{otwvy{R°¬v·vy{IÊ}cªª«}k°«~3vy{otwvEvy©z

! #"%$

&('

"!*)

©vy}zvy³|-ª«ª«r~c{-{ vy{RnrZ u}z<vy{RtvIv·4~c{-{ vy} ¸D¿Dª¬v·}©~§°{Bªª

ºs}k° }k° v·}|}cz3©uvy{vy{,~c|-$}v°Ã}nvy{o~{ t,+k®¬v3«tB}v3ty}§{octwrvy} {Ru«|v!v·{{-¹sV{o|vy{R

´kª©{!}-.

/! #"%$

'

"!*)

°vy}©uvv·{!{-ª«Z}g4|-ª«|-©ª³kvy} ¸±Í} v·©vy{-ª«r®0t·kvy³tw{ottw«zª{

1,2

ùæ DæRå/õøúùúê]ùè éhè øãâ_ùæ]ó Rãâ'å]è óô]øúåY

(8)

tyrszz3{-v

r

{oª«vy«} $

$ ) . $ )

¸µqs}®s

! #"%$

' "!*) '

"#%$! #"#)

v·{-,vy{

v·{otwvy«~3

}u|-{ot·tg°«ªª'ty©|-|-{-{Rvy}3©|-}k´{

©ªv« °vy}©uv±vy{E{oª,}>3|}czª{-vy{h}

|-ª{}

/¸ *}v·{=vyvtw©| Ztyrnzz{v

r

{-ª³kv·}c,³t3{o|-{ot·ty

r©uv}vty©4|«{-nvD|}cuvy«}'®sÊ}

vy{

|-} · {R|v·{ot·tµ}-¸

¦ u{onvyÊrn«~ty©| §tyrsz3z{-v r {-ª³kv·}ctÊ} ª« ~c{ }~ zt±z«~nvE/{R v·}4V{!u|-©ªvE}

©/tw{oª{RtytÃvy}u{-vy{o|v}uÁav «´n³ª/©ª¬vR¸ÃÄEv·{I|}nv rc®°{h ~c©{Dv·kv±s©z{ }©t }~ ztg]´c{

v·}Ztyvy³tÊr§tyrsz3z{-v r {oª«vy«}t=/§v·{oty{ {oª«vy«}th {B©/tw{-Ê©ªÊ} u{-vy{R|vy«~Zty©uvyª«{3©ªv·to¸ ¦

c|vR®/{o´{ r }c~ z Hv·kvhv·º{Rt§©} u{ {oZty{v=tE ~©z{-nvD/tv·},t·kv·«twÊrtwrszz{v r

{-ª³kv·}c vy{,{-¹sV{o|vy{R}©v·|}cz{} L«t3«n´k ³nvB©u{ sr$V{ z!©uv kvy«} }v·{,{oª{oz{-nv·t

}vy{ty{vR¸ *©z{ }©/t }~ ztv·º{¶©} u{ {Rmtw{-v·tt ~©z{ocv t |-}ty³u{ tw} v·~ }

ty{-ª«{o|vy«} }~ zt8vyvÃ {©ty{o«4tw{R | {-~c{Rt-®n }~ zt8v·kvÃ}V{ kvy{D}k´{ kv·©MIN{ t-®

} ~ uÁËty{o= }c~ zts©twvvy}hz{±Ê{-°I¸ *}vy{vy/kv{¹u/{ «z{-nv·ªc{o´s«u{o|{°{ {µ }k´s«u{R

v·}tw©/} vv·«t ~c©z{-nvG7®® K8a¸

"!$#

»{µ~c{-{ ª-{Rhvy{±V}k´{µ«u{Rv·}D}v·«!Ê} zªcI~{o{ ³|gu{/¬v·}c!}twrszz{v r {oª«vy«}'¸

²±«t±u{-vy«}³tty{o4}/ty«| {Rtw©ªv·tÃ }z% }©vy{o} rBv·kv {D «{#Cr {o|oª«ª{R{ {c¸¿

{v·ª«{o,©uvhtv·ª«ª'|o|{ot·tyª«{= {oty{-nv·vy«},|o/{=Ê}c©« 7 8Ë¸

²±{3}vy«}§} Ð Ï ¡-¢'&¤)(/¢ Ó +* ³tEvy{|} { ÁËtwvy}c{I}Ãqsrszz{v ³|B²>{otwvy«~/¸=²±{Btyrnz3Á

z{-v «|3~ }©-,.¶«thv·{4ty{vI}{R|v·´c{z«~ctE }z0/ !$211$354 vy}v·ty{-ª¸ ¦vth{¹c|vyª«r 376

{oª{oz{-nv·to®µ|-ªª«{o/{

zB©uv·vy«}to¸É¿<V{

z!©v·kv·}c«8,

.

³t3°

vwv·{- :9 <;

11 3

= )>11?=

3 ):@

°{

{ = ) $A1B1$C=

3 )

u{o}v·{Ivy{Bz~{ot}

!$211$3

srv·{V{

z!©uv kvy«}D9¸¿ ~

}©Zc|vy«}Z}",

.

}c§ty{vFE «tE4z~ G9

$CH )IJ 9LK

H

ty©| §ct

=

NMPOQK

H H

R9TS"U9'V

) K H

W9TSKG9'VK

H )

Ê}

ª«ª

HYX

E :9

$

9TS

$

9'V

X , . ¾Ê°{Ity]r3v·kvF, . |v t}:Z /[9|v·t}

H

À¸ *}v·{Dv·kvE «t

|-ª}ntw{R©u{

v·{|vy«}}\, . ¸

¦ v!³tI°{-ª«ª¬ÁËºs}k°¶vyvBsrV{ z!©v·kv·}cÉ|-$V{4{¹u {ot·ty{ot=v·{4|}cz3V}ctyvy«}$}|{ v «

ty«z3ª{=V{ z!©uv kvy«}/t-®|oª«ª{R|-ru|ª«{oto¸g½Ã}cty«u{ Ê} {¹z3ª{hvy{I/{ zB©uv·vy«}

9];

_^ a` b

a` _ba^c@

},d®'v·{tyz3{V{ z!©uv kv·}c|o/{° ¬vyvy{-Éct$9 *)

^:`eb!)

°{ {E{R| 4 }6 | º{-v·tu{-}vy{Rt± ¤ Ð ¤$/Ï Rf S f V 1B1 fhg ) ®sv·kvztf S vy}if V ®7¸«¸\fNgAj S vy}ifhg®

fhgvy}if S /4ª«{o]´{E©| ~{Rvy{E}vy{ {oª{oz3{onv·to¸¿ |ru|-ª{h° vwv·{- Rfhk5fPl ) ³tÃ©/tw©ªª«r {-Ê{ · {R

v·}t ¡-¢k£m8 A* Ó n&Ê¡n& Ó m ¸

¿mty©ty{v7EÈ}/{oª{oz{-nv·t}V=twrszz{v ³|~ }©i,.³tT=tw{-v}/~c{-{ vy} t>I{o´{ rI{oª{oz3{onv}

,o.B|o/{° vwvy{otgEvy{E|}zV}cty¬v·}cB}/v·{{oª{oz3{onv·t}pE¸Í} {¹zª«{®h,q±«tg~{-{ kvy{R

srv·{=v°Ã}Bv /twV}cty¬v·}ctsrnS L^!) :rAV ^ #) ¸bEZ} {E~c{-{ ªª«r®, . «t~c{-{ vy{osrvy{

v ty/}ntwvy«}Dr t^#) /vy{|ru|-ª{tu t^e11p3 ) §|o}vEV{3~{-{ kvy{Rsrª«{ot·tDvy

qsrszz{v

}c~

z m/{R|}cz3{«cv·{

{otwvy«~D°vy

{-~c

t7vy}

v·{otwvy«~°{ovy{orB{-¹u

{Rtyt~c{-{

ª/tv

c|vT

}V{

vy«{oto¸8²±³tgª«{octv·}Ivy{D}v·}c}7twrszz{v

r

{-ª³kv·}ctÃÊ}

3

}~

z¸

(9)

Ï m&Ê¡n&

Ó

mw

Ð Ï

¡-¢

Ð ¢ Ï /_£u¡2&

Ó

m $ 0 ` 4 $ )$(H 'M$X#"G&'M. $,).N

).J.) 'M$)1). )

$X `F ).545--. f 3

)

). #$ ,. $. )

b$

4 )'< #$3. K . , $ . f 3 )

b$ 4)'< #$3.J "+0-#$3+$3. ."!

!" # #

$ 9 X ,. $&%"' X , "'!(F$ $ HDX ) $ R9 K H ) ' ) H )

*

+ ."!-,P9 I. J/' "0!--31 " ,. $X ,

²±{hty{o|-}vy{oz

{R¨n©

{otµvy{htyrsz3z{-v

r

{-ª³kv·}cvy}3V{hB}z}cz3}

«tyz¸8¿ }cz3}cz}

³twz

³th4z3

)

93 R9

)

U:3G987

)

Ê}

ª«ª59

$

987

X 4 S ¸ ¦

uÊ}

zª«ªr

tyV{oºs«~®Nv·³t

{R¨n©

{-z{ocv=~©/

nvy{o{otDvy{4tyrsz3z{-v

«|twv

©|v·©

{} )

vy}/{

{Rtw{

´c{o

srª³|-vy«}} ®/ªª«}k°«~4tw}«|-{!|}cz/}ntwvy«}

}V{

vy«{ot}gtwrszz{v

³|

z{o°Ã}

}V{

vr¶v·}}cuvy«zo{v·{Ztwrszz{v

rvy{Rtv·~

}u|{Rtyto®ut±{-¹sª«{RV{-ª«}k°I¸

;<7>=$+#

¿EtE§{¹z3ª{c®V|-}ty«{ v·{B¼n]´k,½ }~ z@?BADCEGFIHJBKMLON"P"QBRTSVU)WYXNZP"QBRTS[U]\^3°³|

{-}vy{otÃv·{Itw-{h}b_ ¾

3ac

}z

B

.

vy}

B

q ®

°{

{

B

{kÁË¬vtw«~{R3v°Ã}'tµ|}zª«{-z{ocv

«nvy{o~{

to®svy{ovy{I

}~

zfFeHJZK3/t±v·}4tyvy³tÊr ."!qItwrszz{v

r

·

]r

³tu{-{osr ", .hg

B

. J

B

. ® R9

$

_jifS

$A1B1$

f .k

)\IJ

9 Kl_ 9ifZmonprq

SOs $A1B1$ fZmtnp(q

. sk

¿Et6±z} {T|}zª«³|-kv·{oh{¹z3ª{c®R|-}ty«{ ¼n]´]½ h }~ zvuxw1Ay"Q:zBR8Qe{x|BEZR8JB}MLouwBAy"Q~SU

S

.

vy})/ 0$#$A1B1$C3. P4Y /x 4 °{ {

S

{-}vy{otµvy{D¬v·{hty{v±}6Å ÁË¬v±tw«~{o4ty} vÃ«nvy{o~{ to® 3 {-}vy{otµvy{htyo{D}W u{o}v·{ot

R9 Ko_ ) 9 G

_ ) Ê} ª«ª_ X

S

.

v·kv

Í}

twv·|{c®/Y_(i

"8%$C`Nb%$/n^ b%$

'

bP`%$ ^ b!" $ bPb%$n^Tb $ $C`

' $ ^ bPb'`% k

)9

Q^e11 / *)

v·{- _

) {v·©

/t

G9LK_

) {vy©

t

°«| ¶«tEvy{B«z~{!}

nrD9,°{-¶¬vI|v·tE}k´{

/

%$/!$A1B1$"4

S

SV

°{o

0$#$A1B1$,"4

°{o¶ª«{RZvy}