This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model Based Development and Auto Testing: A Robust Approach for Reliable Automotive Software Development
Technical Paper
2006-01-1420
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Automotive electronics and software is getting complex day by day. More and more features and functions are offered and supported by software in place of hardware. Communication is carried out on the CAN bus instead of hard wired circuits. This architectural transition facilitates lots of flexibility, agility and economy in development. However, it introduces risk of unexpected failures due to insufficient testing and million of possible combinations, which can be created by users during the life time of a product. Model based development supports an effective way of handling these complexities during simulation and also provide oracle for its validation. Based on priorities and type of applications, test vectors can be auto generated and can be used for formal verification of the models. These auto-generated test vectors are valuable assets in testing and can be effectively reused for target hardware (ECU) verification. Moreover, an incremental model and application software development can be validated with the help of a set of pre-recorded test vectors and a set of expected outputs. Thus eliminating any need for manual testing, which is excessive time consuming and expensive, yet not exhaustive. In this paper an approach of model based development has been presented along with a case study on auto testing and revalidation of the incremental model based software development.
Recommended Content
Technical Paper | Model-Based Testing Design for Embedded Automotive Software |
Technical Paper | Fixed-Point ECU Development with Model-Based Design |
Technical Paper | Fast and Reliable Process for the Development of Automotive Embedded Software |
Authors
Topic
Citation
Gautam, N. and Yadav, O., "Model Based Development and Auto Testing: A Robust Approach for Reliable Automotive Software Development," SAE Technical Paper 2006-01-1420, 2006, https://doi.org/10.4271/2006-01-1420.Also In
Reliability and Robust Design in Automotive Engineering, 2006
Number: SP-2032; Published: 2006-04-03
Number: SP-2032; Published: 2006-04-03
References
- Addy, Edward A. 1998 “A framework for performing verification and validation in reuse-based software engineering” Annals of Software Engineering 5 1-4 279 292
- Bagnasco A. Chirico M. Scapolla A. M. March 2002 “Improving Automation and Reuse in TLC Testing Through COTS-Based Architecture” IEEE AESS Sysrem Magazine 17 21
- El-Far, I. K. 2001 “Enjoying the Perks of Model-Based Testing” Proceedings of the Software Testing, Analysis, and Review Conference (STARWEST) San Jose, CA
- Fröhlich P. Link J. 2000 “Automated Test Case Generation from Dynamic Models” Lecture Notes In Computer Science 1850 Proceedings of the 14th European Conference on Object-Oriented Programming 472 491
- Gautam N. 2005 “A Design Reuse Framework for Lean Product Development” Wayne State University
- Gronau, A. Hartman Kirshin A. Nagin K. Olvovsky S. 2000 “A Methodology and Architecture for Automated Software Testing” IBM Research Laboratory in Haifa Technical Report
- Korel B. Tahat L. H. Vaysburg B. 2002 “Model based regression test reduction using dependence analysis” Proceedings of the international conference on software maintenance (ICSM-02) 214 223
- Petrenko A 2001 “Fault model-driven test derivation from finite state models: annotated bibliography” Lecture Notes In Computer Science - Modeling and Verification of Parallel Processes 196 205
- Rosaria S. Robinson H. 2000 “Applying Models in your Testing Process” Information & Software Technology 42 12 815 824
- Rothermel G. Harrold M. 1994 “A Framework for Evaluating Regression Test Selection Technique” Proceedings of the 16th international conference on Software engineering 201 210
- Rothermel G. Untch R.H. Horrold M.J. 2001 “Prioritizing Test Cases For Regression Testing IEEE Ttransactions on software engineering 27 10 929 948
- Savage P. Walters S. Stephenson M. 1997 “Automated Test Methodology for Operational Flight Programs” Proc. of IEEE Aerospace Conference 4 293 305
- Thiry L. Perronne J.M. Thirion B. 2004 “Patterns for behavior modeling and integration” Computers in Industry 55 225 237
- Whittaker J.A. 2000 “What is software testing? And why is it so hard?” IEEE Software Jan Feb 2000 70 80