SAFETYLIT WEEKLY UPDATE

We compile citations and summaries of about 400 new articles every week.
RSS Feed

HELP: Tutorials | FAQ
CONTACT US: Contact info

Search Results

Journal Article

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

NEW SEARCH


All SafetyLit records are available for automatic download to Zotero & Mendeley
Print