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

Alessio Ferrari (University of Florence, D.S.I., Italy), Gianluca Magnani (General Electric Transportation Systems, Italy), Daniele Grasso (General Electric Transportation Systems, Italy), Alessandro Fantechi (University of Florence, D.S.I., Italy) and Matteo Tempestini (General Electric Transportation Systems, Italy)

OnDemand Article PDF Download

Download link will be e-mailed upon order completion.

$30.00

Add to Cart

DOI: 10.4018/jertcs.2011040103, ISSN: 1947-3176, EISSN: 1947-3184

Source title: International Journal of Embedded and Real-Time Communication Systems (IJERTCS)

Sample PDFCite Article

MLA

Ferrari, Alessio, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi and Matteo Tempestini. "Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer." IJERTCS 2.2 (2011): 42-61. Web. 21 May. 2012. doi: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. doi:10.4018/jertcs.2011040103

Chicago

Ferrari, Alessio, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi and Matteo Tempestini. "Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 2 (2011): 2, accessed (May 21, 2012), doi:10.4018/jertcs.2011040103

Export Reference

Favorite

Recommend

Send to a librarian Send to a colleague

Available In

InfoSci-Journals

Browse Subjects

Business Technologies Business Technologies Subjects Accounting & Finance Business Information Systems Business Intelligence Business Process Management Consumer Management Decision Support Systems E-Business E-Commerce Electronic Services Enterprise Information Systems Enterprise Resource Planning Entrepreneurship & E-Innovation Hospitality, Travel & Tourism Management Marketing Small & Medium Enterprises Supply Chain Management
Database Technologies Database Technologies Subjects Data Mining Data Warehousing Databases Information Retrieval Knowledge Discovery
E-Government, Global & Environmental Technologies E-Government, Global & Environmental Technologies Subjects Digital Divide & Developing Countries Electronic Government Environmental Engineering Environmental Technologies Geoinformatics Global Business Global Information Technology Outsourcing Public & Sector Management Sustainable Development Urban & Regional Development
Educational Technologies Educational Technologies Subjects Adult Learning Applied E-Learning Blended & Mobile Learning Business & Technical Education Cognitive Learning Computer-Assisted Language Learning Distance Education Engineering Education Instructional Design Surveys, Measurements & Response Systems Technologies in Higher Education Technologies in K-12 Education Virtual Learning Environments Web-Based Teaching & Learning
Intelligent Technologies Intelligent Technologies Subjects Adaptive & Complex Systems Agent Technologies Algorithms Artificial Intelligence Cognitive Informatics Collective Intelligence Computational Intelligence Computational Linguistics Computer Simulation Computer Vision & Image Processing Cybernetics Nanotechnology Neural Networks Robotics
Knowledge Management & Library Science Knowledge Management & Library Science Subjects Business & Organizational Research Digital Libraries Digital Literacy Information Resources Management Information Value & Quality IT Governance IT Research & Theory Knowledge Management Library Information Systems Strategic Information Systems
Medical Technologies and Healthcare Medical Technologies and Healthcare Subjects Bioinformatics Biologically-Inspired Computing Biomedical Technologies Biometrics Chemoinformatics Clinical Technologies Healthcare Information Systems
Multimedia Technologies & Networking Multimedia Technologies & Networking Subjects Computer Graphics & Art Gaming Interactive Technologies Internet Technologies Mobile Computing Multimedia Technology Music Technologies Networking Portal Technologies Semantic Web Sensor Technologies Telecommunications Web Services Web Technologies & Engineering Wireless Systems
Security Technologies, Ethics & Law Security Technologies, Ethics & Law Subjects Cyber Warfare & Terrorism Digital Crime & Forensics Information Ethics Information Security & Privacy Information Trust IT Policy & Standardization
Social Technologies Social Technologies Subjects Computer-Mediated-Communication Cyber Behavior E-Collaboration End User Computing Gender & Technology Human Aspects of Business Human Aspects of Technology Human Resources Development Knowledge Society Social Computing Ubiquitous & Pervasive Computing Virtual Communities
Software, Computer Science & Engineering Software, Computer Science & Engineering Subjects Aerospace Engineering Chemical Engineering Computer Engineering Data Modeling Languages Electrical Engineering Grid & High Performance Computing Industrial Informatics Mechanical Engineering Object-Oriented Design Open Source Software Systems & Software Engineering

Top

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.

Top