KP1 Analiza protokolov

Smiseln avtomat protokola vsebuje vsaj...

• Dve stanji

• Dve stanji in dva dogodka

• Dve stanji in en dogodek

• Dva dogodka in eno stanje

Neskončna oddajna sekvenca...

• Povzroči napako polne vrste

• Je zaporedje dogodkov, ki peljejo v začetno stanje

• je npr. oddajni dogodek, ki pripelje iz stanja A v stanje A

• zaporedje brez stekališča (limite), npr. Bernoullijevo

Kdaj pride do napake nedefiniranega sprejema?

• Kadar vsi lahko le oddajajo, vse vrste pa so prazne.

• Kadar je možnih več različnih prehodov za prejeto sporočilo.

• Kadar ni nobenega prehoda za prejeto sporočilo.

• Kadar v vrsti ni nobenih smiselnih sporočil.

Kaj je mrtva koda?

• Sporočilo, ki pripelje v stanje brez izhoda.

• Dogodek, ki se nikoli ne zgodi.

• Sprejem, ki se nikoli ne odda.

• Dogodek, ki se nikoli ne sprejme.

Drevo globalnih stanj...

• je vedno končno veliko.

• je končno, kadar v njem ni napak.

• je lahko tudi neskončno.

• ima lahko veliko širino in globino.