hrcak mascot   Srce   HID

Izvorni znanstveni članak

SDL-Based Automatic Test Generation for GSM Services

Aleš Švigelj   ORCID icon orcid.org/0000-0002-5155-7672 ; Jožef Stefan Institute, Ljubljana, Slovenia
Marjeta Frey-Pučko ; 1 Jožef Stefan Institute, Ljubljana, Slovenia 2 lskraTEL, Ltd., Kranj, Slovenia
Gorazd Kandus ; Jožef Stefan Institute, Ljubljana, Slovenia

Puni tekst: engleski, pdf (5 MB) str. 333-346 preuzimanja: 200* citiraj
APA 6th Edition
Švigelj, A., Frey-Pučko, M. i Kandus, G. (1999). SDL-Based Automatic Test Generation for GSM Services. Journal of computing and information technology, 7 (4), 333-346. Preuzeto s https://hrcak.srce.hr/130486
MLA 8th Edition
Švigelj, Aleš, et al. "SDL-Based Automatic Test Generation for GSM Services." Journal of computing and information technology, vol. 7, br. 4, 1999, str. 333-346. https://hrcak.srce.hr/130486. Citirano 27.02.2020.
Chicago 17th Edition
Švigelj, Aleš, Marjeta Frey-Pučko i Gorazd Kandus. "SDL-Based Automatic Test Generation for GSM Services." Journal of computing and information technology 7, br. 4 (1999): 333-346. https://hrcak.srce.hr/130486
Harvard
Švigelj, A., Frey-Pučko, M., i Kandus, G. (1999). 'SDL-Based Automatic Test Generation for GSM Services', Journal of computing and information technology, 7(4), str. 333-346. Preuzeto s: https://hrcak.srce.hr/130486 (Datum pristupa: 27.02.2020.)
Vancouver
Švigelj A, Frey-Pučko M, Kandus G. SDL-Based Automatic Test Generation for GSM Services. Journal of computing and information technology [Internet]. 1999 [pristupljeno 27.02.2020.];7(4):333-346. Dostupno na: https://hrcak.srce.hr/130486
IEEE
A. Švigelj, M. Frey-Pučko i G. Kandus, "SDL-Based Automatic Test Generation for GSM Services", Journal of computing and information technology, vol.7, br. 4, str. 333-346, 1999. [Online]. Dostupno na: https://hrcak.srce.hr/130486. [Citirano: 27.02.2020.]

Sažetak
The paper introduces automatic test scenario generation for GSM (Global System for Mobile communications) services. The first step of the test scenario generation, which cannot be fully automated, is to create an SDL (Specification and Description Language) description of a GSM service. We propose a methodology for transforming an informal service description to an SDL specification. The form and contents of the resulting specification are adapted to the properties of the test derivation method. The next three steps of the test scenario generation are abstraction of an EFSM (Extended Finite State Machine) to a FSM (Finite State Machine), generation of test sequences and translation to TTCN (Tree and Tabular Combined Notation). These steps are completely automated in the tool iATS. The process of the automatic test scenario generation is illustrated by the example of test scenario generation for the GSM call setup.

Ključne riječi
telecommunication software engineering; conformance testing; automatic test generation; SDL specification; GSM

Hrčak ID: 130486

URI
https://hrcak.srce.hr/130486

Posjeta: 275 *