Validation of Control Software by Search-Based Testing Using Formal Methods

Paper #:
  • 2016-01-0034

Published:
  • 2016-04-05
DOI:
  • 10.4271/2016-01-0034
Citation:
Kobuna, S., Kaga, T., and Yamaguchi, T., "Validation of Control Software by Search-Based Testing Using Formal Methods," SAE Technical Paper 2016-01-0034, 2016, doi:10.4271/2016-01-0034.
Pages:
7
Abstract:
As vehicle control software becomes larger and more complex, it is increasingly important to improve the efficiency of the software development process. This study developed search-based testing technology to increase the efficiency of the validation process. Search-based testing can generate dynamic test data automatically, but it tends to overlook the generation of correct test data to detect problems when the software has many branches and paths. To resolve this problem, a method was devised that combines search-based testing [1] and formal methods such as model checking. This paper describes this method and shows application examples of engine control.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Training / Education
2017-09-21
Training / Education
2017-07-26
Technical Paper / Journal Article
2012-04-16
Standard
2001-04-26
Technical Paper / Journal Article
1991-02-01
Standard
2012-03-15
Training / Education
2016-04-30