Test Case Generation From Formal Specifications On The Example Of Train Control Systems
Price
Free (open access)
Transaction
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