WIT Press

Test Case Generation From Formal Specifications On The Example Of Train Control Systems

Price

Free (open access)

Volume

50

Pages

10

Published

2000

Size

872 kb

Paper DOI

10.2495/CR000111

Copyright

WIT Press

Author(s)

M. Meyer zu Horste, E. Schnieder & H-M. Schulz

Abstract

Test case generation from formal specifications on the example of train control systems M. Meyer zu Horste, E. Schnieder & H-M. Schulz Institute for Control and Automation Engineering, Technical University of Braunschweig, Germany. Abstract The paper first defines the context of testing modern railway control system. Some general requirements on the complicated task of testing are justified from the point of view of modern system development approaches. A new approach that success- ful combines the completeness of automated and formal methods with the knowl- edge and experience of test experts is described. The paper concludes with an outlook how to cope with requirements by using powerful formal and informal methods on all-embracing formal system specifications. 1 Introduction The paper presents some results from studies about modelling software-driven rail- way control systems with formal means of description and how those models are best used in the system development process

Keywords