Criteria-Driven Approach in Automotive Software Development – Integrating Concepts of Formal Methods with Testing

Paper #:
  • 2017-01-0003

Published:
  • 2017-03-28
DOI:
  • 10.4271/2017-01-0003
Citation:
Tohdo, T., "Criteria-Driven Approach in Automotive Software Development – Integrating Concepts of Formal Methods with Testing," SAE Technical Paper 2017-01-0003, 2017, doi:10.4271/2017-01-0003.
Author(s):
Affiliated:
Pages:
11
Abstract:
We propose a verification method in the field of automotive control systems integrating the concepts of Formal Methods with testing, aiming at efficient and reliable software development. Although Formal Methods are believed to provide the benefits of their rigorous nature and their inherent capability of automation, only limited cases are known where Formal Methods were applied in system and software development, in practice, due to two major difficulties: appropriate abstraction in modeling and scalability in automated reasoning. Focusing on testing on the other hand, there is the difficulty of selecting reasonable set of tests for given verification objectives. In order to overcome these difficulties, our approach is to present verification criteria for testing to appropriately cover the property with the help of the Formal Method concepts. From the consistency with respect to the abstraction level of models between generic property (such as controllability) and underlying assumptions, we derive test coverage that covers the models and the assumptions. Based on a case study using a set of the artifact of a product system, we propose a criteria-driven approach with potential benefits in that we expect to gain the practical efficiency of testing the automotive control systems with the concept of model-checking.
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

Article
2016-08-15
Technical Paper / Journal Article
2004-11-16
Article
2016-09-22
Technical Paper / Journal Article
2004-03-08
Training / Education
2013-02-20
Training / Education
1997-05-29
Technical Paper / Journal Article
2003-10-27
Training / Education
1997-05-29