EXECUÇÃO EXAUSTIVA DE STATECIIARTS - lbd.dcc.ufmg.br .drlimilando os nt'JIIes ortogullals: '" t•q;

  • View
    213

  • Download
    0

Embed Size (px)

Text of EXECUÇÃO EXAUSTIVA DE STATECIIARTS - lbd.dcc.ufmg.br .drlimilando os nt'JIIes ortogullals: '"...

EXECUO EXAUSTIVA DE STATECIIARTS

Ins A. G. Boaventura 0Pparl illll!'llto d(' Ciiucias de Compulaiil> c Estatstica

IIIII.rloallhly, II'H'r&i biiJty, tltadlork, valuJ 61'1JII r !lrr of CHillS

nnd t ran\11 11111 "'"f.' F nrul ""' u f I'"' algu!lllotu' " "'"' s lu" 11 , thruuglo I''"'""''''

, ., I

PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor

http://www.cvisiontech.com

1 In t ro duo

Exi~l

Figura I StallthMt do ~lmtraolor dt ""' H .. l(>gio Digital .

A Fig11ra I foi extrada''" IJI.mXI-l.o jt aprt'>t'lll.o a '''l"'tilitil~;oo elo IIHhlr.11lur ele 11111 rl'l6gio

digital Os eventos "a", "b", "c" P "d" rt'JH''"'ntam o ato d pnssiona r os quatro hotiX's externos do rrlgio. A semntira elo I'Statlo mos trndor i a di' dtrulfi JH"i~iio do tipo OU - 1xdusivo (XOR). Assim, ('Star no t'slado mos lrodor, sig11ifi ra t''lar a JH'n,os 1'111 um dos M'US tnlu' para o 11111111lu 11al, pt>th111 grru novos rventos intNIIth 11111' ~I' propal!,:\111 ("J nn;ltlc;~'tin~"), ilfl'lclldn OUIII>'> IIIIIIJ'OII< 'IIIt'S 011 tlia~r

Uma carart

qur no mnuunto da m11~t ru~~o da rvnrl.', r ada uma ds que j foram proces,~adas e inseridas na rvore

dr alcanabihdadc. As coufigumc., lrnn11tn1< rl.'prrstntam aqudas que possu

n;in aparPrtri~m na rvort I '~a solu~~~~ 1; dolnnilof,lit A , aposar tia txi.t(.llria "''''''S dois us o n ddauh -(0 I(Q, -(0 (~t) ((>

no apar

A t~truturil utili7aclil p.ora a iuoplollll'lll:u,n clrl ntoll' elo alt '"'\al.ilio l:cdc I'"''' Statcc lcarh ,; 111na l''t rutura dr rvon

[ ''ropr~dad

Entre coa a configuracao: ainut

A configuracao e' alcancavel a partir da configuracao inicial atraves da seguinte aequencia de eventos : Evento : a Ennto : c

Nll :.kau~alolllol:uh olo uma rHuligura~fi" 11 patlit ol urua cuufigut~t)u t(lloii(IH'r, tlacla t.lu ;-

PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor

http://www.cvisiontech.com

Evento : Evento : a/det Evento : b Evento : d Evento: b

Reinlciabilidade

l'aq~ vttif! '" Ulll Sthrh.lll ' rlhlt lll\' alcanahilidade aparecero ns ~errniuais. Aqui diz-se "posslvcis deadlocks" p ois existem aisternas que modelam al-gumas tarefas as quais possuem inicio e fim de processamento bem definido, e, neste caso, a rvore de Alcaru;abilidade gerada pos~uir ns terminais, que no ao dcadlocks, mas que indicam o final de processamento dessas tarefas

O algoritmo para VNilirac;~o di' "cl1acl lorkR" Jll' rcurrl' ;a rvott Ioda 1'111 bu~ca

A traneicao pode disparar a partir da configuracao

Seqncia Vlida de Evento

Diz-se que uma seqnda de eventos vlida St' cada um dos eventos dessa seqrnda causar uma mudana na configurao de estados do sistema modelado:

E""a. pruprilalt t,, ,;, comu ol>j..tivo valigunda etapa da busca falhar, continua-se a buscar recursivamente o" primeiro elemento da seqncia, passando para a segunda etapa, se for encontrado um novo arco com o seu nome. O algoritmo termina se conseguir validar a seqncia de eventos ou se chrgar ao final do processamento r

5 Concluses

As solues eurontrada ue~tnciar os limites dessa complexidade, que se resumem enr fazer especificaes e validaes parriais.do sistl'ma [llorh80), [Levc87).

Em S_tatecharta existe tambm eue problema, pois para a construo da rvore de aJ. canabilidade todas u transh;cs posdveis so consideradas, e para um sistema complexo, o nmero de possibilidades geradas podt> ser I'Xtremamente grande. Um Statechart com muitos componentes orto gonais, cada um com muitos estados, tem um grandc nmero dt> configuraes de estados, o que torna impratic:hel a construo de sua rvore de alcanabilidade. Uma maneira de resolver esse problema limitar o escopo dos testes, isto 4!, construir a rvore de a.Jcanabilidade para partes criticas e isoladas do sistt>ma [i-1.089). Quando partes maiores do sistema nect>ssitarn ser testadu, urna possfvel soluo seria eliminar algumas trarrsics menos importantt>s e a.~sim a rvore de alcanc;abilidade gerada teria um nmero menor de configuraes. hnvortante ressaltar que essas restries de limites do sistema dl'vem sl'r feitas com muito cuidado, a fim de se garantir que os testes sejam reali~ados sem perda de informaes e de forma eficiente.

Para um sistema complexo que vode ser modl'lado cm vrios nveis hiNrquicos de dela lhrs, acredita se que esse prohlrrrra pode srr contoru:~do. O ~lgoritmo d

Progrumruirag, 8, pp .231 -274, 1987.

(llarc87b) llarcl, D. STATECJIARTS: on th(' formal ~ttri Nct Tlacory and 'Fhe Modeling of Systems. Prentice-llall, lnc.,Englcwood Clilfs, N.J ., 198 1.

PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor

http://www.cvisiontech.com

z0001z0002z0003z0004z0005z0006z0007z0008z0009z0010z0011z0012z0013z0014z0015z0016z0017z0018z0019z0020z0021z0022z0023z0024z0025z0026z0027z0028z0029z0030z0031z0032z0033z0034z0035z0036z0037z0038z0039z0040z0041z0042z0043z0044z0045z0046z0047z0048z0049z0050z0051z0052z0053z0054z0055z0056z0057z0058z0059z0060z0061z0062z0063z0064z0065z0066z0067z0068z0069z0070z0071z0072z0073z0074z0075z0076z0077z0078z0079z0080z0081z0082z0083z0084z0085z0086z0087z0088z0089z0090z0091z0092z0093z0094z0095z0096z0097z0098z0099z0100z0101z0102z0103z0104z0105z0106z0107z0108z0109z0110z0111z0112z0113z0114z0115z0116z0117z0118z0119z0120z0121z0122z0123z0124z0125z0126z0127z0128z0129z0130z0131z0132z0133z0134z0135z0136z0137z0138z0139z0140z0141z0142z0143z0144z0145z0146z0147z0148z0149z0150z0151z0152z0153z0154z0155z0156z0157z0158z0159z0160z0161z0162z0163z0164z0165z0166z0167z0168z0169z0170z0171z0172z0173z0174z0175z0176z0177z0178z0179z0180z0181z0182z0183z0184z0185z0186z0187z0188z0189z0190z0191z0192z0193z0194z0195z0196z0197z0198z0199z0200z0201z0202z0203z0204z0205z0206z0207z0208z0209z0210z0211z0212z0213z0214z0215z0216z0217z0218z0219z0220z0221z0222z0223z0224z0225z0226z0227z0228z0229z0230z0231z0232z0233z0234z0235z0236z0237z0238z0239z0240z0241z0242z0243z0244z0245z0246z0247z0248z0249z0250z0251z0252z0253z0254z0255z0256z0257z0258z0259z0260z0261z0262z0263z0264z0265z0266z0267z0268z0269z0270z0271z0272z0273z0274z0275z0276z0277z0278z0279z0280z0281z0282z0283z0284z0285z0286z0287z0288z0289z0290z0291z0292z0293z0294z0295z0296z0297z0298z0299z0300z0301z0302z0303z0304z0305z0306z0307z0308z0309z0310z0311z0312z0313z0314z0315z0316z0317z0318z0319z0320z0321z0322z0323z0324z0325z0326z0327z0328z0329z0330z0331z0332z0333z0334z0335z0336z0337z0338z0339z0340z0341z0342z0343z0344z0345z0346z0347z0348z0349z0350z0351z0352z0353z0354z0355z0356z0357z0358z0359z0360z0361z0362z0363z0364z0365z0366z0367z0368z0369z0370z0371z0372z0373z0374z0375z0376