QW2001 Paper 7A1 Dr. Holger Schlingloff & Dr. Jan Bredereke (Technologie-Zentrum Informatik) Specification Based Testing Of the UMTS Protocol Stack

Key Points

• Development of flexible testing environment for UMTS protocol stack software
• Black-box testing of parallel real-time systems based on formal specifications
• Testing results prove increase in performance/cost ratio by automated test case generation

Presentation Abstract

Our paper is organized as follows: first, we present a brief introduction to specification based testing and to the UMTS protocol stack. Then, we give an overview of the functionality and properties of the RLC layer, and its implementation in SDL. The main part deals with out automated testing environment: formal CSP specifications for the RLC; interfacing between SUT and RT-TESTER, and testing of multiple instances in parallel and real-time. Finally, we describe and interpret the testing results and summarize our work.

About the Author

Bernd-Holger Schlingloff currently is managing director of the Bremen Institute of Safe Systems within the Center of Computing Technologies in Bremen University. He received his PhD in 1990 from the Technical University of Munich. After that, he spent a year at Carnegie Mellon University. He then became assistant professor at the computer science department of the Technical University of Munich, and in 1996 transitioned to Bremen. His research interests include software quality assurance, logic in computer science, and the application of formal methods to industry projects. He has written several articles and surveys on temporal logic model checking, and recently completed a book on partial state space analysis of safety-critical systems.

Jan Bredereke received his PhD degree (Dr. rer. nat.) in computer science from the University of Kaiserslautern, Germany, in 1997, and his Diploma in computer science from the University of Hamburg, Germany, in 1992. From 1992-93, he became a research assistant there, and from 1994-97, at the University of Kaiserslautern, in the group of Reinhard Gotzhein. From 1997-98, he was a post-doctoral fellow at McMaster University, Canada, in the Software Engineering Research Group of David Parnas, and from 1998-99, he was a researcher at the University of Oldenburg, Germany, in the semantics group of Ernst-Ruediger Olderog. Since 1999, he works at the Bremen Institute of Safe Systems, Germany, in a project with Siemens on UMTS. His current research interest is in the design of telecommunication systems with formal methods.