Istituto di Scienza e Tecnologie dell'Informazione     
Grasso D., Fantechi A., Ferrari A., Becheri C., Bacherini S. Model based testing and abstract interpretation in the railway signaling context. In: ICST 2010 - Third International Conference on Software Testing, Verification and Validation (Paris, 6-10 April 2010). Proceedings, pp. 103 - 106. IEEE, 2010.
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
URL: http://ieeexplore.ieee.org/search/searchresult.jsp?newsearch=true&queryText=Model+based+testing+and+abstract+interpretation+in+the+railway+signaling+context&x=35&y=24
DOI: 10.1109/ICST.2010.44
Subject Model-based Testing
Abstract Interpretation
Industrial Case-study
Railway Signaling
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional