DocumentCode
2535432
Title
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Author
Grasso, Daniele ; Fantechi, Alessandro ; Ferrari, Alessio ; Becheri, Carlo ; Bacherini, Stefano
Author_Institution
Dept. of Comput. Eng., Univ. of Florence, Florence, Italy
fYear
2010
fDate
6-10 April 2010
Firstpage
103
Lastpage
106
Abstract
This article presents the experience of a railway signaling manufacturer in introducing the technologies of model based testing and abstract interpretation as part of its development process. Preliminary results show the better performance of these techniques with respect to the previously employed structural coverage based testing.
Keywords
program diagnostics; program testing; railway engineering; railway industry; signalling; abstract interpretation; model based testing; railway signaling context; railway signaling manufacturer; structural coverage based testing; Application software; Automatic testing; Computer aided manufacturing; Context modeling; Rail transportation; Railway safety; Signal processing; Software testing; System testing; Virtual manufacturing; abstract interpretation; model based testing; railway signaling; safety critical;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location
Paris
Print_ISBN
978-1-4244-6435-7
Type
conf
DOI
10.1109/ICST.2010.44
Filename
5477095
Link To Document