Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICST.2009.22 | ICST |
Keywords | Field | DocType |
cenelec en50128 guideline,ansaldo sts,code coverage,italian leading company,software development,manual generation,coverage analysis,automatic test generation,european railway traffic management,test generation phase,dramatic increase,testing phase,ertms software,software development process,traffic management,probability density function,testing,data mining,sociotechnical systems,software verification,system testing,model checking,software engineering,software testing,programming | Code coverage,Model checking,Systems engineering,System testing,Computer science,Software,Software development process,Management system,Reliability engineering,Software development,Software verification | Conference |
Citations | PageRank | References |
3 | 0.42 | 3 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Damiano Angeletti | 1 | 33 | 3.49 |
Enrico Giunchiglia | 2 | 2380 | 164.28 |
Massimo Narizzano | 3 | 451 | 30.41 |
Alessandra Puddu | 4 | 23 | 2.31 |
Salvatore Sabina | 5 | 25 | 3.45 |