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.近年,自動車制御システムへの機能要求は著しく高度化し,制御ソフトウェアが複雑化・大規模化しているため,開発プロセスの効率向上が望まれている. 本稿では,検証プロセス効率化のための動的テスト自動生成に着目し,静的解析技術を組み合わせることで制御ソフトウェアの検証能力が向上することを示す.

Language

  • English
  • Japanese

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 01666822
  • Record Type: Publication
  • Source Agency: Japan Science and Technology Agency (JST)
  • Files: TRIS, JSTAGE
  • Created Date: Jan 31 2018 3:24PM