240 likes | 421 Views
PROTOKOLI Načrtovanje, analiza, testiranje. Protokoli. PROTOKOL : zbirka pravil za komuniciranje. Protokoli. (1) Želite, prosim?. PRIMER. (2) Tole čokolado. (3) 371 tolarjev. (4) Kar obdržite drobiž. Protokoli. (1) Koliko ste stari?. PRIMER. (2) ????. (4) ????.
E N D
Protokoli • PROTOKOL: zbirka pravil za komuniciranje.
Protokoli (1) Želite, prosim? PRIMER (2) Tole čokolado. (3) 371 tolarjev. (4) Kar obdržite drobiž.
Protokoli (1) Koliko ste stari? PRIMER (2) ????. (4) ????. (3) Striženje - bolj na kratko.
Protokoli • PROCES: mrežna točka v sistemu • Procesi komunicirajo prek kanalov. • KANAL • Dvosmerni – kolizijski / nekolizijski • Izmenično dvosmerni • Enosmerni
Protokoli Preprost sistem z dvema procesoma kanal proces proces sprejemna vrsta
Protokoli • DOGODEK: • Proces A v stanju X sprejme sporočilo p od procesa B in preide v stanje Y • Formalni zapis dogodka: • A(X, +p(B), Y) • Vrste dogodkov • Sprejemni + • Oddajni - • Lokalni #
Protokoli • STANJE procesa • Začetno stanje • Prehodi med stanji dogodki
Protokoli • Model: končni avtomat • VSAK PROCES ima svoj avtomat.
Protokoli • PRIMER AVTOMATA za proces A začetno stanje
Protokoli • PRIMER AVTOMATA za proces A še eno stanje
Protokoli • PRIMER AVTOMATA za proces A dogodek (prehod med stanji)
NALOGA • Procesa A in B: oba lahko zahtevata povezavo, ruši pa jo lahko le A. • Po 2 stanji • P (povezan) • N (nepovezan) • Sporočili • p (poveži) • r (ruši povezavo) • Nariši oba avtomata. • Navedi vse možne dogodke.
Protokoli – testiranjemetoda PGSS PGSS = Perturbiranje Globalnih Stanj Sistema • N: število procesov • Globalno stanje: matrika N x N • [i,i] : trenutno stanje procesa i • [i,j] : vsebina sprejemne vrste od procesa i k procesu j • Začetno globalno stanje: • Vsi procesi so v začetnih stanjih • Vse vrste so prazne
Protokoli – testiranjemetoda PGSS PGSS = Perturbiranje Globalnih Stanj Sistema • Iščemo vse možne dogodke, ki se lahko zgodijo v začetnem globalnem stanju. • Dogodek novo globalno stanje • Sprememba stanja enega procesa • Sprememba vsebine čakalne vrste (nobene / ene / več) • Drevo globalnih stanj sistema
Protokoli – testiranjemetoda PGSS PGSS = Perturbiranje Globalnih Stanj Sistema • Listi drevesa: • “že videna” globalna stanja • Napake • PV – polna vrsta • NS– nedefiniran sprejem • SO – smrtni objem • Mrtva koda (dogodek, ki se ne more zgoditi) • Stabilno globalno stanje (vse vrste so prazne)
Protokoli – testiranjemetoda PGSS PGSS = Perturbiranje Globalnih Stanj Sistema NALOGA: PGSS za prejšnjo nalogo A B
Protokoli – testiranjemetoda PGSS NALOGA: • 3 procesi (A, B, C) • VSAK: povezan z enim, povezan z drugim, povezan z obema, nepovezan • Vsi lahko vzpostavljajo zvezo, rušita pa jo le A in B. • Sporočili p, r • Nariši avtomate, testiraj.
Protokoli – testiranjemetoda PGSS NALOGA: • 2 procesa (A, B) • Simetrična avtomata. • Prvi pokliče drugega, ta mu pošlje nazaj neko število. Prvi potrdi. • Hkratna vzpostavitev: prevlada tisti, ki je poslal večje število. Če sta števili enaki, se zveza ruši.