View
65
Download
8
Category
Preview:
DESCRIPTION
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) ????. - PowerPoint PPT Presentation
Citation preview
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.
Recommended