PROTOKOLINačrtovanje, analiza,

testiranje

Protokoli

PROTOKOL: zbirka pravil za komuniciranje.

Protokoli

PRIMER(1) Želite, prosim? (2) Tole

čokolado.(3) 371 tolarjev.

(4) Kar obdržite drobiž.

Protokoli

PRIMER(1) Koliko ste stari? (2) ????.

(3) Striženje - bolj na kratko.

(4) ????.

Protokoli

PROCES: mrežna točka v sistemu

Procesi komunicirajo prek kanalov.

KANAL Dvosmerni – kolizijski / nekolizijski Izmenično dvosmerniEnosmerni

Protokoli

procesproces

Preprost sistem z dvema procesoma

kanal

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.

ProtokoliPRIMER AVTOMATA za proces A

začetno stanje

ProtokoliPRIMER AVTOMATA za proces A

še eno stanje

ProtokoliPRIMER AVTOMATA za proces A

dogodek(prehod med stanji)

NALOGAProcesa 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 SistemaListi 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

Protokoli – testiranjemetoda PGSS

Protokoli – testiranjemetoda PGSS

NALOGA:

3 procesi (A, B, C)VSAK: povezan z enim, povezan z drugim, povezan z obema, nepovezanVsi lahko vzpostavljajo zvezo, rušita pa jo le A in B.Sporočili p, rNariši avtomate, testiraj.

Protokoli – testiranjemetoda PGSS

Protokoli – testiranjemetoda PGSS

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.