PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Magnani G., Grasso D., Fantechi A., Tempestini M. Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer. In: International Journal of Embedded and Real-Time Communication Systems (IJERTCS), vol. 2 (2) pp. 42 - 61. IGI Global, 2011.
 
 
Abstract
(English)
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.
URL: http://www.igi-global.com/article/international-journal-embedded-real-time/54248
DOI: 10.4018/jertcs.2011040103
Subject Abstract Interpretation
Code Generation
Model-Based Testing
Railway Signalling
Safety-Critical Software
D.2.4 Software/Program Verification. Formal Methods


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