prikaz prve stranice dokumenta Metoda ispitivanja specifikacije telekomunikacijskih protokola
Rad nije dostupan
magistarski rad
Metoda ispitivanja specifikacije telekomunikacijskih protokola
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2000. urn:nbn:hr:168:105619
Maloku, Naim
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zavod za telekomunikacije

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Maloku, N. (2000). Metoda ispitivanja specifikacije telekomunikacijskih protokola (Magistarski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku, Naim. "Metoda ispitivanja specifikacije telekomunikacijskih protokola." Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2000. https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku, Naim. "Metoda ispitivanja specifikacije telekomunikacijskih protokola." Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2000. https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku, N. (2000). 'Metoda ispitivanja specifikacije telekomunikacijskih protokola', Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 18.12.2024., https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku N. Metoda ispitivanja specifikacije telekomunikacijskih protokola [Magistarski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2000 [pristupljeno 18.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:105619

N. Maloku, "Metoda ispitivanja specifikacije telekomunikacijskih protokola", Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2000. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:105619

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:105619
Podaci o radu
NaslovMetoda ispitivanja specifikacije telekomunikacijskih protokola
AutorNaim Maloku
MentorMarijan Kunštić (mentor)
Član povjerenstvaIgnac Lovrek (član povjerenstva)
Član povjerenstvaMarijan Kunštić (član povjerenstva)
Član povjerenstvaZmago Brezočnik (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
(Zavod za telekomunikacije)
Zagreb
Datum i država obrane2000-04-26, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Elektrotehnika
Telekomunikacije i informatika
Univerzalna decimalna klasifikacija
(UDC)		621.3 - Elektrotehnika
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-uses'' kriteriju, generirane testne sekvence sadrže isto tako i one sekvence koje su neizvedljive. Iz praktičkih 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. Uporaba metode koja je dograđena simulacijom za testiranje izvedljivosti testnih sekvenci je predstavljena u praktičkom primjeru generiranja testnih sekvenci za testiranje signalizacijskog linka signalizacije broj 7 (SSN7).
Sažetak (engleski)
Generation of test cases based on the protocol specification for the purpose of testing both controls and data flow aspects of protocol implementation is a challenging problem. In this work I propose a possible solution for this problem for protocols based on Extended Finite State Machine (EFSM) models. Basically, I use the method of Ural and Williams. The method exposes the control and data dependencies within the specification of the system given in SDL (Specification and Description Language). First, a flowgraph modelling the flow of both control and data expressed in the given specification is generated. Since the test selection of the method is based on all-uses path criteria, the generated set of test cases includes also the infeasible ones. For practical use of the method it is necessary to remove all infeasible test cases in an efficient way. In this work I suggest the simulation techniques be used for the purpose. The use of the method upgraded by simulation feasibility checking is illustrated under a practical example of test cases generation for SSN7 (Signalling System Number 7) signalling link test.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:105619
Studijski programNaziv: Elektrotehnika
Vrsta studija: sveučilišni
Stupanj studija: poslijediplomski znanstveni (magistarski)
Akademski / stručni naziv: Magistar znanosti elektrotehnike (mag. ing. el.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2019-05-03 13:52:56