Izvorni znanstveni članak

SDL-Based Automatic Test Generation for GSM Services

Aleš Švigelj 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

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

Datum izdavanja:

30.12.1999.

Posjeta: 1.005 *