This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Validation of Control Software by Search-Based Testing Using Formal Methods
Technical Paper
2016-01-0034
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
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.
Recommended Content
Technical Paper | An Architecture-Centric Approach Towards the Construction of Dependable Automotive Software |
Authors
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, https://doi.org/10.4271/2016-01-0034.Also In
References
- McMinn , P Search-based Software Test Data Generation: A Survey Software Testing, Verification and Reliability 14 105 156 2004 http://dx.doi.org/10.1002/stvr.294
- Matsubara , M. , Sakurai , K. , Narisawa , F. , Enshoiwa , M. et al. Application of Model Checking to Automotive Control Software with Slicing Technique SAE Technical Paper 2013-01-0436 2013 10.4271/2013-01-0436
- Baresel A , Conrad M , Sadeghipour S , Wegener J The interplay between model coverage and code coverage Proc. EuroCAST 2003
- McMinn , P. Search-Based Software Testing: Past, Present and Future IEEE Software Testing, Verification and Validation Workshops 153 163 2011 http://dx.doi.org/10.1109/ICSTW.2011.100
- Zhao . Q , Krogh . B.H , and Hubbard . P Generation of Test Inputs for Embedded Control Systems IEEE Control Systems 49 57 2003
- Fainekos , G.E. , Sankaranarayanan , S. , Ueda , K. , and Yazarel , H. Verification of Automotive Control Applications using STaLiRo American Control Conference 3567 3572 2012 http://dx.doi.org/10.1109/ACC.2012.6315384
- Kutsuna. T. , Ishii ., Y. and Yamamoto A. Abstraction and refinement of mathematical functions toward SMT-based test-case generation International Journal on Software Tools for Technology Transfer 1 12 2015 http://dx.doi.org/10.1007/s10009-015-0389-7
- Harman , M and McMinn , P A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search IEEE Transactions on Software Engineering 36 226 247 2010 http://dx.doi.org/10.1109/TSE.2009.71
- The MathWorks, Inc. Simulink Design Verifier: Identify design errors, generate test cases, and verify designs against requirements http://www.mathworks.com/products/sldesignverifier/index.html Sept. 2015
- Jin , X. , Deshmukh , J.V. , Kapinski , J. , Ueda , K. , Butts , K. Powertrain Control Verification Benchmark HSCC Proceedings of the 17th International Conference on Hybrid Systems, Computation and Control 253 262 2014 http://dx.doi.org/10.1145/2562059.2562140