Document - Model based testing and abstract interpretation in the railway signaling context

2010

Conference article Open Access

Model based testing and abstract interpretation in the railway signaling context

Grasso D., Fantechi A., Ferrari A., Becheri C., Bacherini S.

Abstract Interpretation Software/Program Verification SOFTWARE ENGINEERING Model-based Testing Industrial Case-study

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

Source: Third International Conference on Software Testing, Verification and Validation, Paris, 6-10 April 2010

Publisher: IEEE, New York, USA

Citations

[1] S. Bacherini, et al., A Story about Formal Methods Adoption by a Railway Signaling Manufacturer, FM 2006. LNCS, 4025/2006. Hamilton, Canada, 2006.
[2] A. Ferrari, et al., Modeling Guidelines for Code Generation in the Railway Signaling Context, Proceedings of 1st NASA Formal Methods Symphosium (NFM). Moffet Field, CA, U.S.A., 2009.
[3] A. Pretschner, et al., One evaluation of model-based testing and its automation, Proceedings of the 27th International Conference on Software Engineering (ICSE). St. Louis, MO, U.S.A., 2005.
[4] P. Cousot, R. Cousot, Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACTSIGPLAN symposium on Principles of programming language. Los Angeles, CA, U.S.A., 1977
[5] A. Deutsch, Static verification of dynamic properties, PolySpace White Paper, 2004
[6] W. E. Howden, Methodology for the generation of program test data, IEEE Trans. Comput., vol. C-24, no. 5, pp 554-559, May 1975

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:92141,
	title = {Model based testing and abstract interpretation in the railway signaling context},
	author = {Grasso D. and Fantechi A. and Ferrari A. and Becheri C. and Bacherini S.},
	publisher = {IEEE, New York, USA},
	doi = {10.1109/icst.2010.44},
	booktitle = {Third International Conference on Software Testing, Verification and Validation, Paris, 6-10 April 2010},
	year = {2010}
}