TEST CASE GENERATION FROM FORMAL SPECIFICATIONS ON THE EXAMPLE OF TRAIN CONTROL SYSTEMS

This paper defines the context of testing modern railway control systems. 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 successfully combines the completeness of automated and formal methods with the knowledge and experience of test experts is described. The paper concludes with an outlook on how to cope with requirements by using powerful formal and informal methods on all-embracing formal system specifications.

Language

  • English

Media Info

  • Features: Figures; References; Tables;
  • Pagination: p. 117-126
  • Monograph Title: COMPUTERS IN RAILWAYS VII
  • Serial:

Subject/Index Terms

Filing Info

  • Accession Number: 00800696
  • Record Type: Publication
  • ISBN: 1853128260
  • Contract Numbers: BRPR-CT97-D558, DG 12 HINS, KBN No. 9 T12C 045 1
  • Files: TRIS
  • Created Date: Oct 22 2000 12:00AM