Verification of Control Software by Dynamic Test Generation Using Static Analysis
静的解析を組み合わせた動的テストによる制御ソフトウェア検証
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, the authors 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, the authors devise the method combining the search based testing and static analysis such as model checking, and show the application examples of engine control.近年，自動車制御システムへの機能要求は著しく高度化し，制御ソフトウｪアが複雑化・大規模化しているため，開発プロセスの効率向上が望まれている． 本稿では，検証プロセス効率化のための動的テスト自動生成に着目し，静的解析技術を組み合わせることで制御ソフトウｪアの検証能力が向上することを示す．
- Record URL:
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/issn/02878321
-
Authors:
- Kobuna, Shunsuke
- Kaga, Tomoyuki
- Yamaguchi, Tomoya
- Publication Date: 2015-7
Language
- English
- Japanese
Media Info
- Media Type: Digital/other
- Features: References; Tables;
- Pagination: pp 839-844
-
Serial:
- Transactions of Society of Automotive Engineers of Japan
- Volume: 46
- Issue Number: 4
- Publisher: Society of Automotive Engineers of Japan
- ISSN: 0287-8321
- EISSN: 1883-0811
- Serial URL: https://www.jstage.jst.go.jp/browse/jsaeronbun
-
Publication flags:
Open Access (libre)
Subject/Index Terms
- TRT Terms: Advanced vehicle control systems; Automotive computers; Computer models; Defects; Dynamic tests; Electronic control; Optimization; Reliability; Simulation; Software; Validation
- Subject Areas: Data and Information Technology; Highways; Vehicles and Equipment;
Filing Info
- Accession Number: 01666822
- Record Type: Publication
- Source Agency: Japan Science and Technology Agency (JST)
- Files: TRIS, JSTAGE
- Created Date: Apr 23 2018 4:47PM