Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Metoda ispitivanja specifikacije telekomunikacijskih protokola (CROSBI ID 331661)

Ocjenski rad | magistarski rad (mr. sc. i mr. art.)

Maloku, Naim Metoda ispitivanja specifikacije telekomunikacijskih protokola / Kunštić, Marijan (mentor); Zagreb, Fakultet elektrotehnike i računarstva, . 2000

Podaci o odgovornosti

Maloku, Naim

Kunštić, Marijan

hrvatski

Metoda ispitivanja specifikacije telekomunikacijskih protokola

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).

testiranje; metoda Urala i Williamsa

nije evidentirano

engleski

Verification method for Telecommunication Protocols Evaluation

nije evidentirano

verifying; Ural and Williams method

nije evidentirano

Podaci o izdanju

78

26.04.2000.

obranjeno

Podaci o ustanovi koja je dodijelila akademski stupanj

Fakultet elektrotehnike i računarstva

Zagreb

Povezanost rada

Elektrotehnika