Model-based testing of automotive software: Some challenges and solutions

Automotive software has been growing in size, criticality and complexity with each new generation of vehicles. Testing at the model and code level is an important step in validating the software against various types of defects that may be introduced in the development process. Model based testing (...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings - ACM IEEE Design Automation Conference pp. 1 - 6
Main Authors: Petrenko, Alexandre, Timo, Omer Nguena, Ramesh, S.
Format: Conference Proceeding
Language:English
Published: IEEE 01.06.2015
Subjects:
Bridges
Computational modeling
Context
extended state machines
finite state machines
Input variables
Model-based testing
Prototypes
Software
statecharts
test chaining
test generation
test models
test optimization
tester-in-the-loop
Testing
ISSN:0738-100X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Automotive software has been growing in size, criticality and complexity with each new generation of vehicles. Testing at the model and code level is an important step in validating the software against various types of defects that may be introduced in the development process. Model based testing (MBT) methodology, paves a road towards automation of testing activities. Test generation is a computationally complex task, which requires efficient constraint solving techniques and some guidance from the test engineer when this task cannot be solved by a tool. At the same time, automatic tools can hardly substitute domain testing experts which can develop more effective tests or at least test fragments than any tool. This is why we believe that future test generation tools should support "tester-in-the-loop" MBT approaches. In this paper, we provide a brief report on our results in this direction.
ISSN:0738-100X
DOI:10.1145/2744769.2747935