TY  - JOUR
PY  - 2015//
TI  - Verification of control software by dynamic test generation using static analysis
JO  - Transactions of Society of Automotive Engineers of Japan
A1  - Kobuna, Shunsuke
A1  - Kaga, Tomoyuki
A1  - Yamaguchi, Tomoya
SP  - 839
EP  - 844
VL  - 46
IS  - 4
N2  - 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>
LA  - ja
SN  - 0287-8321
UR  - http://dx.doi.org/10.11351/jsaeronbun.46.839
ID  - ref1
ER  -