Stochastic Modeling for Random Testing Dvcon2009 Final 9009 New

8/14/2019 Stochastic Modeling for Random Testing Dvcon2009 Final 9009 New

1/23


2/23

Zhd~ls C`txgolz" ^pmnsg T`ahdlmnpd~ls Dlsylsg~hlm 3 lj 8

Gf`mng

Hm~slnpd~hlm

NP^ ugayb`

al~hzg~hlm

aghm hn`g

Sgmnla F`m`sg~ls; Tgayb`!yg~e Yslcgchbht~hd Aln`b

Tgayb`!yg~e Yslcgchbht~hd A`~shdt

Tgayb`!yg~e Dlz`sgf` Jsga`vlso

S`tpb~t gmn Dlmdbpthlmt

^e` f`m`sg~hlm lj sgmnla mpac`stht ~ll hayls~gm~ ~l c` b`j~ ~l degmd`-

S- Dlz`xlp


3/23


Hm~slnpd~hlm %NP^ ùgayb`(;

^sgmtgd~hlm G~~shcp~`t ; ~xy` %S`gn" Vsh~`" Hm~(" th{` lj ng~g ygxblgn" yls~n`t~hmg~hlm

Hmdlahmf ~sgmtgd~hlm tpcah~t g s`wp`t~ jls t`szhd` ~l ~e` tvh~dehmf jgcshd @mn!Ylhm~-

HJ js`` wp`p` `b a`m~ ht gzghbgcb` Ê@M h~ ybgd`t hm~l ~e` jhst~ gzghbgcb` hmyp~

wp`p` `m~sx Ê@M ~sgmtgd~hlm vhbb c` t`m~ jlsvgsn ~eslpfe ~e` tvh~dehmf jgcshd~l ~e` gyyslyshg~` `mn!ylhm~ yls~-

HJ @mn!ylhm~ wp`p` ht jpbb" Ê@M ~e` ~sgmtgd~hlm ht s`~sh`n ^sgmtgd~hlm ht sàlz`n jsla ~e` wp`p`" ve`m s`wp`t~,s`tylmt` yghs ht

dlayb`~`n-


4/23

Zhd~ls C`txgolz" ^pmnsg T`ahdlmnpd~ls Dlsylsg~hlm > lj 8

Hm~slnpd~hlm; Al~hzg~hlm

^sgnh~hlmgb Dlmt~sghm`nSgmnla!cgt`n Z`shjhdg~hlm jblv

T~`y 7; Spm sgmnla ~`t~ T~`y 3; De`do ~e`

jpmd~hlmgb,dln` dlz`sgf`-Ve`m g n`thsgcb` dlz`sgf`

egt c``m gdeh`z`n"z`shjhdg~hlm ht n`dbgs`ndlayb`~`n" %l~e`svht`T~`y 4(

T~`y 4; Gnkpt~ ~e` sgmnlat~hapbpt f`m`sg~lst cxpthmf dlmt~sghm~t gmn fl ~lT~`y7


5/23


Hm~slnpd~hlm; Al~hzg~hlmNGD 7888 Ygm`b; Jpmd~hlmgb

Z`shjhdg~hlm ! S`gb Pt`st" S`gb

Yslcbàt" S`gb Lyyls~pmh~h`tYgs~ lj yslcbà vh~e sgmnla

~`t~hmf ht ~eg~ ~e`nht~shcp~hlm lj sgmnla`z`m~t ~`mnt ~l jlbblv g

~sgnh~hlmgb c`bb!tegy`ndpsz`? gnnhmf als` gmnals` sgmnla ~`t~t nl`tbh~~b` ~l fpgsgm~`` ~eg~m`v t~g~`t lj ~e` n`thfm

gs` dlz`s`n- Hm jgd~"sgmnla ~`t~t ~xyhdgbbxù`sdht` ~e` tga` n`thfmtygd` lz`s gmn lz`s gfghm"vh~e lmbx tbhfe~ zgshg~hlmt-


6/23

Zhd~ls C`txgolz" ^pmnsg T`ahdlmnpd~ls Dlsylsg~hlm : lj 8

Hm~slnpd~hlm; Al~hzg~hlm

Jpmd~hlmgb Dlz`sgf` gmn Nhs`d~`n^`t~t ; Veg~ Xlp ^elpfe~ lj ht

Veg~ Xlp Z`shjx Lmbx- Dln` dlz`sgf` ; Veg~ Egz` C``m

Ahtt`n


7/23


8/23


Gf`mng Hm~slnpd~hlm


Tgayb`!yg~e Aln`b Agsolz Deghm Aln`b

T~g~hlmgsx aln`" Ly~hagb ~`t~ b`mf~e




G sgmnla mpac`s f`m`sg~ls ht apde bho` t`u;

ve`m h~t flln h~t vlmn`sjpb"

gmn ve`m h~t cgn h~t t~hbb ys`~~x flln-

F- Agstgfbhg


9/23


Sgmnla F`m`sg~ls; Tgayb`!yg~eAln`b

Sgmnla t~hapbpt ht ds`g~`n cxg sgmnla f`m`sg~ls gmn

dlmt~sghm`n gddlsnhmf ~l ~e`NP^ jpmd~hlmgbh~x-

G Yslcgchbht~hd Aln`b ht g t`~ ljag~eàg~hdgb `wpg~hlmt vehden`tdshc` ~e` cègzhls hm ~`satlj sgmnla zgshgcb`t gmn ~e`hsgttldhg~`n yslcgchbh~xnht~shcp~hlmt-

Agsolz T~ldegt~hd ysld`tt ;

ê` jp~ps` zgbp`t gs` lmbxn`y`mn`m~ lm ys`t`m~ zgbp`t-Ygt~ zgbp`t gs` ml~ dlmthn`s`n-


10/23


Sgmnla F`m`sg~ls; Agsolz DeghmAln`b

Sgmnla F`m`sg~ls


11/23


Sgmnla F`m`sg~ls; Agsolz DeghmAln`b

Pmn`sbxhmf ysld`tt aln`b lj g nhtds`~`!`z`m~ t~ldegt~hd txt~`a htf`m`sgbh{`n gt g nhtds`~`" hss`npdhcb`" `sflnhd Agsolz deghm %AD(

T~g~hlmgsx nht~shcp~hlm %`wphbhcshpa nht~shcp~hlm" ls hmzgshgm~ a`gtps`(


12/23


Sgmnla F`m`sg~ls; Agsolz Deghm

Aln`b T~g~hlmgsx aln`" Ly~hagb ~`t~b`mf~e;

Gj~`s `wphbhcshpa egt c``m gdeh`z`n ~e` bho`bhelln ~l egz` g mlm!s`y`g~`n" pmhwp` t`wp`md` lj tgayb`!yg~e n`dbhm`t-

Yltthchbh~x lj nhtdlz`shmf m`v n`thfm tygd` ylhm~t cx dlm~hmphmf ~e`tga` thapbg~hlm spm n`dbhm`t gt v`bb-


13/23


Gf`mng

Hm~slnpd~hlm



Hm~slnpd~hlm

Opbbcgdo!B`hcb`s nht~gmd`

@ayhshdgb S`tpb~t ADAD Tgayb`!yg~e Dlz`sgf` Jsga`vlso


Dgbb h~ `m~slyx mlclnx omlvt veg~ `m~slyx s`gbbx ht" tl hm gn`cg~` xlp vhbb gbvgxt egz` ~e` gnzgm~gf`- Zlm M`pagmm


14/23

Zhd~ls C`txgolz" ^pmnsg Tàhdlmnpd~ls Dlsylsg~hlm 7> lj 8

Tgayb`!yg~e Yslcgchbht~hd A`~shdt-Hm~slnpd~hlm

Hm AGÊ; A`~shd ls Nht~gmd` jpmd~hlm ht g jpmd~hlm vehde n`jhm`t g nht~gmd`c`~v``m `bà`m~t lj g t`~-

@ugayb`; @pdbhn`gm a`~shd A`~shd ls Nht~gmd` ht s`wphs`n ~l tg~htjx ~e` jlbblvhmf dlmnh~hlmt;7- n%g"c( 9 %mlm!m`fg~hzh~x(3- n%g"c( 1 9 hjj g1c %s`jbùhzh~x(4- n%g"c( 1 n%c"g( % txaa`~sx(>- n%g"c( n%c"d( / n%g"d( %~shgmfb` hm`wpgbh~x(


15/23


Tgayb`!yg~e Yslcgchbht~hd A`~shdt;Opbbcgdo!B`hcb`s nht~gmd`

Hm Yslcgchbh~x; A`~shd ls Nht~gmd`jpmd~hlm ht g jpmd~hlm vehde n`jhm`tg nht~gmd` c`~v``m ~vl yslcgchbh~xjpmd~hlmt Y7%u( gmn Y3%u(

Opbbcgdo!B`hcb`s nht~gmd`

^e` Opbbcgdo!B`hcb`s dgmml~ c`dgbb`n g s`gb a`~shd;

h~ nl`t ml~ tg~htjx ~e` ~shgmfb`hm`wpgbh~x

h~ ht ml~ txaa`~shd

Txaa`~sh{g~hlm

k!nhz`sf`md` %thayb` gz`sgf`(

s`tht~ls gz`sgf` %egsalmhda`gm(

!7 !7 !7

7 3 7 3 3 7OBS%Y "Y (1%OB%Y "Y ( /OB%Y "Y ( (

7 3 3 7

7 3

OB%Y "Y (/OB%Y "Y (K%Y "Y ( 1

3

^shgmfb` Hm`wpgbh~x %Dgm c`hfmls`n(

N`ds`gthmf s`bg~hz` `m~slyxnl`t ml~ m`d`ttgshbx haybx~eg~ ~vl nht~shcp~hlmt gs`f`~~hmf dblt`s ~lf`~e`s-

Opbbcgdo!B`hcb`s nht~gmd` vhbbml~ c` pt`n gt g ysluhah~x

a`gtps`


16/23

Zhd~ls C`txgolz" ^pmnsg T`ahdlmnpd~ls Dlsylsg~hlm 7: lj 8

Tgayb`!yg~e Yslcgchbht~hd A`~shdt;@ayhshdgb S`tpb~t ADAD

k!nhz`sf`md` gmn s`tht~ls gz`sgf`fhz` ~e` c`t~ s`tpb~t ve`m gyybh`n~l ~e` TYD

@ayhshdgb clpmn jls OpbbcgdoB`hcb`s nht~gmd` thahbgsh~x a`gtps`t1 9-990


17/23


Gf`mng

Hm~slnpd~hlm





Gbb a`~elnlblfh`t gs` cgt`n lm j`gs O`m~ C`do


18/23


Tgayb`!Yg~e Dlz`sgf`Jsga`vlso T~`y7; Hmh~hgbh{g~hlm

Spm ~e` jhst~ thapbg~hlm gt blmf gt yltthcb`-

Dlbb`d~ t~g~ht~hdt jsla ~e` hn`m~hjh`n sgmnla f`m`sg~lst" dlayp~`~sgmth~hlm yslcgchbh~x ag~shu" gmn t~ls` h~- T~`y 3; M`u~ thapbg~hlmt spm

Dlbb`d~ ~e` t~g~ht~hdt lm ~e` jbx Dlaylt` ygs~hgb thapbg~hlm ~sgmth~hlm ag~shd`t %n`jhm`n ~ha`

hm~`szgb" d`s~ghm mpac`st lj ~sgmtgd~hlmt( T~`y 4; Ago` g dlaygshtlm %Gbb t~ls`n ag~shd`t zt- dpss`m~

~sgmth~hlm ag~shu cx pthmf Opbbcgdo!B`hcb`s a`gtps`t( Dgt` 7; Hj a`~shdt gs` shthmf gclz` 9-990 ~es`telbn b`z`b" ~e`m spm

~eht thapbg~hlm gt blmf gt h~ yltthcb` gmn g~ ~e` `mn lj thapbg~hlm"

tgz` dpss`m~ ~sgmth~hlm ag~shu jls ~e` m`u~ dlaygshtlm slpmn Dgt` 3; Hj ~e` a`~shdt gs` jgbbhmf c`blv ~e` ~es`telbn b`z`b %np` ~l~e` t~g~ht~hdgb `wpgbh~x lj ~e` ~vl thapbg~hlmt(" ~e`m t~ly ~ehtthapbg~hlm gmn nhtahtt ~e` dpss`m~ ~sgmth~hlm ag~shu-

T~`y >; S`y`g~ t~`yt 3 ~l >


19/23


Gf`mng Hm~slnpd~hlm


Tgayb`!yg~e Yslcgchbht~hd A`~shdt Tgayb`!yg~e Dlz`sgf` Jsga`vlso


Gyybhdg~hlmt lj TYD a`~eln

Gsshzgb!n`ygs~ps` `z`m~ dlpm~hmf ysld`tt Dlmdbpthlmt

S`gnhmf ~eht ygy`s vgt thahbgs ~l y`sjlsahmf tla` ~xy` ADAD-

Gj~`s jhst~ h~`sg~hlm H lmbx pmn`st~lln 70 lj ~e` ygy`s" gmngj~`s g j`v h~`sg~hlmt H fl~ ~l >9" cp~ ~e`m gml~e`s dgs`jpbs`gnhmf gmn H vgt cgdo nlvm ~l 49- Jhmgbbx" axpmn`st~gmnhmf lj ~eht ygy`s dlmz`sf`n ~l g t~gcb` ehfe!59%H c`bh`z`(- ^lagt{ Agbhth`vhd{


20/23


S`tpb~t gmn Dlmdbpthlmt; Gyybhdg~hlmtlj TYD a`~eln-

Gyybhdg~hlmt lj TYD a`~eln hmdbpn`" cp~ gs` ml~ bhah~`n ~l"~e` gtt`tta`m~ lj ^`t~c`mde t~hapbpt sgmnla f`m`sg~ls

wpgbh~x-

Gbb JTA bho` ^`t~c`mde ls NP^ dlaylm`m~t %JHJL" wp`p`t"`~d( dgm c` aln`b`n cx ~e` Agsolz ysld`tt gmn

dlmt`wp`m~bx dlpbn c` ~s`g~`n gt Tgayb`!Yg~e SgmnlaF`m`sg~lst-


21/23


S`tpb~t gmn Dlmdbpthlmt; Gsshzgb!n`ygs~ps` `z`m~ dlpm~hmf ysld`tt-

ê` hmdlahmf ~sgmtgd~hlm tpcah~t g s`wp`t~ jls t`szhd` ~l ~e` tvh~dehmf jgcshd`mn!ylhm~

Hj ~e` hmyp~ `mn!ylhm~ wp`p` ht jpbb" ~e` ~sgmtgd~hlm vhbb c` gto`n ~l s`~sx pm~hb ~e`js`` wp`p` `bà`m~ ht gzghbgcb`-

ê` ~sgmtgd~hlm ht gdd`y~`n cx ~e` NP^" h~ ybgd`t ~e` ~sgmtgd~hlm hm~l ~e` jhst~

gzghbgcb` hmyp~ wp`p` `m~sx- ê`m ~sgmtgd~hlm vhbb c` t`m~ jlsvgsn ~eslpfe ~e` tvh~dehmf jgcshd ~l ~e`

gyyslyshg~` `mn!ylhm~ yls~- Gj~`s ~e` s`wp`t~!s`tylmt` yghs ht dlayb`~`n" ~e` ~sgmtgd~hlm ht sàlz`n jsla

~e` wp`p`" js``hmf ~e` tygd` jls ~e` mù~ y`mnhmf s`wp`t~-


22/23


23/23


S`tpb~t gmn Dlmdbpthlmt %W*G(7- Vehde ~xy` sgmnla ~`t~ ht c`~~`s ! blmf ls tels~

Documents

Stochastic Modeling for Random Testing Dvcon2009 Final 9009 New