Test suite prioritization for efficient regression testing of model-based automotive software

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Up to 80% of the automotive software can be generated from models. MATLAB Simulink is a common tool for creation of complex combinations of block diagrams and state machines, automated generation of executable code, and its deployment on a target ECU. The automotive safety standards require extensive testing of the developed models. Regression testing should be undertaken every time a model is updated to ensure that the modifications do not introduce new faults into the previously validated model. A common, time-consuming way is to rerun an entire test suite after even minor changes. This paper introduces a new method for automatic prioritization of test cases. The method is based on two principles: (i) A test case should stimulate an error in an updated block and (ii) the stimulated error should propagate to the place where it can be detected. The proposed method includes the evaluation of input vectors that are provided to updated blocks by each test case and a Markov-based stochastic error propagation analysis of the model. The application of the method is demonstrated with a Simulink model of a gearbox and a test-suite, automatically generated with the Reactis Tester.

Details

Original languageEnglish
Title of host publicationProceedings - 2017 Annual Conference on Software Analysis, Testing and Evolution, SATE 2017
EditorsXiaoyuan Xie, Wei Dong
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages20-29
Number of pages10
ISBN (electronic)9781538636879
Publication statusPublished - 22 Nov 2017
Peer-reviewedYes

Publication series

SeriesInternational Conference on Software Analysis, Testing and Evolution (SATE)
Volume2017-January

Conference

Title2017 International Conference on Software Analysis, Testing and Evolution, SATE 2017
Duration3 - 4 November 2017
CityHarbin, Heilongjiang
CountryChina

External IDs

Scopus 85043473680

Keywords

Keywords

  • Automotive software, Control flow, Data flow, Dual-graph error propagation model, Error propagation analysis, Fault activation analysis, Markov chains;, Model-based software, Model-based testing, Regression testing, Simulink, Software testing, Test suite prioritization