As vehicle control software becomes larger and more complex, it is increasingly important to improve the efficiency of the software development process. This study developed search-based testing technology to increase the efficiency of the validation process. Search-based testing can generate dynamic test data automatically, but it tends to overlook the generation of correct test data to detect problems when the software has many branches and paths. To resolve this problem, a method was devised that combines search-based testing [1] and formal methods such as model checking. This paper describes this method and shows application examples of engine control.
Validation of Control Software by Search-Based Testing Using Formal Methods
Sae Technical Papers
SAE 2016 World Congress and Exhibition ; 2016
05.04.2016
Aufsatz (Konferenz)
Englisch
Validation of Control Software by Search-Based Testing Using Formal Methods
British Library Conference Proceedings | 2016
|Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Formal methods in software engineering
Tema Archiv | 1990
|Validation of Software Testing Results for Real-Time Vehicle Control Software
SAE Technical Papers | 1995
|