Welcome to the InfoSci Platform
Reference Hub6
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer

Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini
Copyright: © 2011 |Volume: 2 |Issue: 2 |Pages: 20
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781613506905|DOI: 10.4018/jertcs.2011040103
Cite Article Cite Article

MLA

Ferrari, Alessio, et al. "Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer." IJERTCS vol.2, no.2 2011: pp.42-61. http://doi.org/10.4018/jertcs.2011040103

APA

Ferrari, A., Magnani, G., Grasso, D., Fantechi, A., & Tempestini, M. (2011). Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 2(2), 42-61. http://doi.org/10.4018/jertcs.2011040103

Chicago

Ferrari, Alessio, et al. "Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 2, no.2: 42-61. http://doi.org/10.4018/jertcs.2011040103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Introduction of formal model-based practices into the development process of a product in a company implicates changes in the verification and validation activities. A testing process that focuses only on code is not comprehensive in a framework where the building blocks of development are models, and industry is currently heading toward more effective strategies to cope with this new reality. This paper reports the experience of a railway signalling manufacturer in changing its unit level verification process from code-based testing to a two-step approach comprising model-based testing and abstract interpretation. Empirical results on different projects, on which the overall development process was progressively tuned, show that the change paid back in terms of verification cost reduction (about 70%), bug detection, and correction capability.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.