Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.4018/jertcs.2011040103 (literal)

Alternative label

• Ferrari A., Magnani G., Grasso D., Fantechi A., Tempestini M. (2011)
  Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer
  in International journal of embedded and real-time communication systems (Online)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Ferrari A., Magnani G., Grasso D., Fantechi A., Tempestini M. (literal)

Pagina inizio

• 42 (literal)

Pagina fine

• 61 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Ferrari, Alessio (1); Magnani, Gianluca (3) ; Grasso, Daniele (3); Fantechi, Alessandro (1); Tempestini, Matteo (3); (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 2 (literal)

Rivista

• International journal of embedded and real-time communication systems (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 20 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 2 (literal)

Note

• Scopu (literal)
• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• (1) CNR-ISTI, Pisa, Italy; (2) Dipartimento di Informatica, Università di Firenze, Italy; (3) General Electric Transportation Systems, Italy (literal)

Titolo

• Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (literal)

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. (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• Alessio Ferrari (Persona)
• ALESSANDRO FANTECHI (Persona)

Insieme di parole chiave

• Keywords of "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• ALESSANDRO FANTECHI (Persona)
• Alessio Ferrari (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• International journal of embedded and real-time communication systems (Rivista)

Insieme di parole chiave di

• Keywords of "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer" (Insieme di parole chiave)