Naslov
Metoda ispitivanja specifikacije telekomunikacijskih protokola
(Verification method for Telecommunication Protocols Evaluation)

Autori
Maloku, Naim

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad

Fakultet
Fakultet Elektrotehnike i Računarstva

Mjesto
Zagreb

Datum
26.04

Godina
2000

Stranica
78

Mentor
Kunštić, Marijan

Ključne riječi
testiranje; metoda Urala i Williamsa
(verifying; Ural and Williams method)

Sažetak
Generiranje testnih sekvenci na osnovi specifikacije protokola sa ciljem da se uzmu u obzir aspekti kontrole protoka i protoka podataka predstavlja vrlo zanimljiv problem. U ovom radu sam predložio rješenje ovog problema za protokole koji temelje na modelu proširenih konačnih automata (EFSM). Kao osnovu sam uzeo metodu Urala i Williamsa. Metoda otkriva međusobna povezivanja podataka i kontrolnih uvjeta unutar specifikacije koja je izražena u SDL notaciji. Prvo, generira se graf protoka koji modelira kontrolni protok i protok podataka za EFSM specifikaciju. Pošto selektiranje testnih sekvenci temelji na "all-users" kriteriju, generirane testne sekvence sadrže isto tako i one sekvence koje su neizvedljive. Iz praktičnih razloga je potrebno izbrisati iz izlaznog niza sve testne sekvence koje nisu izvedljive. U ovom radu sam predložio uporabu simulacijskih tehnika za postizanje ovog cilja. Upraba metode koja je dograđena simulacijom za testiranjeizvedljivosti testnih sekvenci je predstavljena u praktičkom primjeru generiranja testnih sekvenci za testiranje signalizacijskog linka signalizacije broj 7 (SSN7).

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA