Model Based Testing and Abstract Interpretation in the Railway Signaling Context

Authors:
Daniele Grasso;Alessandro Fantechi;Alessio Ferrari;Carlo Becheri;Stefano Bacherini
Affiliations:
-;-;-;-;-
Venue:
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Year:
2010

Citing 0
Cited 3

The metrô rio ATP case study

FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
An industrial application of formal model based development: the Metrô Rio ATP case

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.02

Visualization

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.