Browse Publications Technical Papers 2009-01-0151
2009-04-20

Model-Based Testing Design for Embedded Automotive Software 2009-01-0151

ABSTRACT

The ever increasing complexity of embedded automotive software is not matched by the current development and test processes of automotive embedded software and the latter have become the limiting factor.
A model-based software development and testing approach has the potential to reduce software development times, to produce executable specifications very early in the process as well as facilitate automatic code generation. Not surprisingly, the above are regarded as highly beneficial for the automotive industry. The automotive industry is increasingly using model-based testing techniques. Despite this, model-based testing tends to be done in a bespoke and non-systematic fashion [1] and easy to use, high quality, formalised, model-based testing methodologies that cater for the specific needs of in-vehicle software are hard to find.
This paper proposes a systematic model-based testing design approach which builds on previous work on systematic model-based testing for embedded automotive software [2], [3], [4]. The testing design is based on the functional requirements for the system under test and the test data are generated via two different and independent routes.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 16% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Model Based Development and Auto Testing: A Robust Approach for Reliable Automotive Software Development

2006-01-1420

View Details

TECHNICAL PAPER

Model-based ECU development – An Integrated MiL-SiL-HiL Approach

2009-01-0153

View Details

TECHNICAL PAPER

10 Steps to ISO26262-compliant Model-based Software Components

2015-01-0160

View Details

X