prikaz prve stranice dokumenta Metoda ispitivanja specifikacije telekomunikacijskih protokola
No public access
scientific master's theses
Metoda ispitivanja specifikacije telekomunikacijskih protokola
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2000. urn:nbn:hr:168:105619
Maloku, Naim
University of Zagreb
Faculty of Electrical Engineering and Computing
Department of Telecommunications

Cite this document

Maloku, N. (2000). Metoda ispitivanja specifikacije telekomunikacijskih protokola (Scientific master's theses). Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku, Naim. "Metoda ispitivanja specifikacije telekomunikacijskih protokola." Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, 2000. https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku, Naim. "Metoda ispitivanja specifikacije telekomunikacijskih protokola." Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, 2000. https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku, N. (2000). 'Metoda ispitivanja specifikacije telekomunikacijskih protokola', Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 26 September 2020, https://urn.nsk.hr/urn:nbn:hr:168:105619

Maloku N. Metoda ispitivanja specifikacije telekomunikacijskih protokola [Scientific master's theses]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2000 [cited 2020 September 26] Available at: https://urn.nsk.hr/urn:nbn:hr:168:105619

N. Maloku, "Metoda ispitivanja specifikacije telekomunikacijskih protokola", Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2000. Available at: https://urn.nsk.hr/urn:nbn:hr:168:105619

Islandora Bookmark - Please login to use this feature
Metadata
TitleMetoda ispitivanja specifikacije telekomunikacijskih protokola
AuthorNaim Maloku
MentorMarijan Kunštić (mentor)
Committee memberIgnac Lovrek (član povjerenstva)
Committee memberMarijan Kunštić (član povjerenstva)
Committee memberZmago Brezočnik (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
(Department of Telecommunications)
Zagreb
Defense date and country2000-04-26, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Electrical Engineering
Telecommunications and Informatics
Universal decimal classification
(UDC)		621.3
APPLIED SCIENCES. MEDICINE. TECHNOLOGY
Electrical engineering
Abstract
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).
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:105619
Study programmeTitle: Postgraduate master programme in electrical engineering
Study programme type: university
Study level: postgraduate
Academic / professional title: Magistar znanosti elektrotehnike (Magistar znanosti elektrotehnike)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
RepositoryFER Repository
Created on2019-05-03 13:52:56

(©) Nacionalna i sveučilišna knjižnica u Zagrebu 2015. Sva prava pridržana. | Hrvatske bratske zajednice 4 p.p. 550, 10000 Zagreb, Hrvatska Tel. ++ 385 1 616-4040
OIB: 84838770814 | IBAN: HR66 2340 0091 1000 1008 1, Porezni broj (PDV identifikacijski broj) - VAT Number: HR84838770814
Prijava u repozitorij