Specification Based Testing of the UMTS Protocol Stack.
In: "Testing Internet Technologies and Services" . Kluwer Academic Publishers (2002). To appear / in Vorbereitung.
We describe an automated, flexible testing environment for UMTS systems which are specified and developed with SDL. For testing these systems, we use a testing tool which generates black box tests from a formal specification of the desired properties. Since the requirements are subject to considerable change at any time, it is important to guarantee consistency between the interfaces of the test specification and the system under test. Therefore, we defined rules for the modularization of the requirements according to functional properties. Furthermore, we devised and implemented a generator tool which automatically produces all necessary interface code. This is a first step towards a general configuration utility for the automatic creation of runtime interfaces and adapters. We report on testing results and experiences with our setup.
Not online, sorry. - You might email me for a copy.