|Final Report of the COST-247 Action|
TESTING OF ISDN SERVICES BASED ON SDL SPECIFICATIONS
|Jozef Stefan Institute|
|Digital communications and networks department|
|POB 3000, SI-1001 Ljubljana, Slovenia|
|Tel: +386 61 1773 724|
|Fax: +386 61 1262 102|
Experiences in using formal methods in the practical example of automated derivation of test sequences for testing telecommunications services are described. The input of the first phase of the complete derivation process, where a logically correct SDL specification is generated, is an informal ETSI description, specifying the external behaviour of a given ISDN service. The informal-to-formal transformations in this phase are not completely automated. The output of its second phase is a set of automatically derived test sequences described in TTCN. Test sequences are generated using FSM-based methods.
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 3
This Page was prepared by Mark Jorgensen.