Citation

Kobuna S, Kaga T, Yamaguchi T. Trans. Soc. Automot. Eng. Jpn. 2015; 46(4): 839-844.

Copyright

(Copyright © 2015, Society of Automotive Engineers of Japan)

DOI

10.11351/jsaeronbun.46.839

PMID

unavailable

Abstract

As the automobile control software is becoming larger and more complex, it is increasingly important to improve the efficiency of software development process. In this study, we developed the search based testing technology to increase efficiency of verification process. Search based testing can generate dynamic test data automatically, but it tends to miss generating correct test data to detect the problem when the software has many branch and path. In order to resolve the problem, we devise the method combing the search based testing and static analysis such as model checking, and show the application examples of engine control.

Language: ja

Keywords

Electronics and control; Engine control/transmission control/chassis control; Reliability/simulation