2009 International Conference on Software Testing Verification and Validation Automatic Test Generation for Coverage Analysis of ERTMS Software Denver, Colorado April 01-April 04 ISBN: 978-0-7695-3601-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICST.2009.22
ERTMS is the European Railway Traffic Management System. The CENELEC EN50128 guidelines for software development of safety critical system require that the software produced is verified by providing a set of tests covering the 100% of the code. This requirement, however, substantially increases the costs associated to the Testing phase, since it may involve the manual generation of tests. In this paper we present a methodology to automatic generate test achieving the desired code coverage. The automatization of the test generation phase, applied to some modules of the ERTMS developed by Ansaldo STS (an Italian leading company in the field), led to a dramatic increase in the productivity and to a reduction of the costs of the entire Software Development process.
Index Terms:
Automatic Test Generation, Model checking
Citation:
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina, "Automatic Test Generation for Coverage Analysis of ERTMS Software," icst, pp.303-306, 2009 International Conference on Software Testing Verification and Validation, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb