@article{ref1,
title="Verification of control software by dynamic test generation using static analysis",
journal="Transactions of Society of Automotive Engineers of Japan",
year="2015",
author="Kobuna, Shunsuke and Kaga, Tomoyuki and Yamaguchi, Tomoya",
volume="46",
number="4",
pages="839-844",
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.<p /><p>Language: ja</p>",
language="ja",
issn="0287-8321",
doi="10.11351/jsaeronbun.46.839",
url="http://dx.doi.org/10.11351/jsaeronbun.46.839"
}