Contributo in atti di convegno, 2010, ENG, 10.1109/ICST.2010.44
Grasso D.; Fantechi A.; Ferrari A.; Becheri C.; Bacherini S.
Università degli Studi di Firenze, Florence, Italy; Università degli Studi di Firenze, Florence, Italy - CNR-ISTI, Pisa, Italy; General Electric Transportation Systems, Florence, Italy; General Electric Transportation Systems, Florence, Italy; General Electric Transportation Systems, Florence, Italy
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
Third International Conference on Software Testing, Verification and Validation, Paris, 6-10 April 2010
SOFTWARE ENGINEERING, Software/Program Verification, Model-based Testing, Abstract Interpretation, Industrial Case-study
ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
CNR authors
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:92141
DOI: 10.1109/ICST.2010.44