Taejoon Byun
ABSTRACT
The automotive operating system is a typical safety-critical system that is tightly coupled with the operational environment through system services. However, existing automated techniques come short of testing the interface of such operating systems. We introduced an automated test generation method for system-level safety testing of the automotive operating systems, by utilizing the operational constraints defined in the specification. This work extends the idea by adding configuration-dependent and state-dependent constraint patterns, and by developing a tool chain to automate the constraint-based system-level testing. The effectiveness of our approach is demonstrated through a series of experiments, and a comparative analysis is performed between our method and concolic testing.
- AUTomotive Open Source ARchitecture.Google Scholar
- OSEK/VDX operating system specification 2.2.3.Google Scholar
- C. Baier and J. Katoen. Principles of model checking. 2008.Google ScholarDigital Library
- J.-L. Bechennec, M. Briday, S. Faucou, and Y. Trinquet. Trampoline: an opensource implementation of the OSEK/VDX RTOS specification. 2006.Google Scholar
- J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In Proceedings of the 2008 23rd IEEE/ACM international conference on automated software engineering. IEEE Computer Society, 2008. Google ScholarDigital Library
- J. Chen and T. Aoki. Conformance testing for OSEK/VDX operating system using model checking. In 18th Asia-Pacific Software Engineering Conference, 2011. Google ScholarDigital Library
- Y. Choi. Constraint specification and test generation for OSEK/VDX-based operating systems. In Software Engineering and Formal Methods, pages 305--319. Springer, 2013.Google ScholarDigital Library
- Y. Choi and T. Byun. Constraint-based test generation for automotive operating systems. In Software and Systems Modeling, in press.Google Scholar
- P. Godefroid, P. de Halleux, A. V. Nori, S. K. Rajamani, W. Schulte, N. Tillmann, and M. Y. Levin. Automating software testing using program analysis. IEEE Software, 2008. Google ScholarDigital Library
- A. Gupta, K. L. McMillan, and Z. Fu. Automated assumption generation for compositional verification. Formal Methods in System Design, 32:285--301, 2008. Google ScholarDigital Library
- R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, et al. Using formal specifications to support testing. ACM Computing Surveys, 2009. Google ScholarDigital Library
- D. John. OSEK/VDX conformance testing - MODISTARC. In Proceedings of OSEK/VDX Open Systems in Automotive Networks, 1998.Google Scholar
- P. Koopman, K. DeVale, and J. DeVale. Interface robustness testing: Experience and lessons learned from the ballista project. Dependability Benchmarking for Computer Systems, 72:201, 2008.Google ScholarCross Ref
- N. P. Kropp, P. J. Koopman, and D. P. Siewiorek. Automated robustness testing of off-the-shelf software components. In Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on, pages 230--239. IEEE, 1998. Google ScholarDigital Library
- N. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995. Google ScholarCross Ref
- R. A. D. Millo and A. J. Offutt. Constraint-based automatic test data generation. 17(9):900--910, September 1991. Google ScholarDigital Library
- NuSMV: A New Symbolic Model Checking. Available at http://nusmv.irst.itc.it/.Google Scholar
- M. Park, T. Byun, and Y. Choi. Property-based code slicing for efficient verification of OSEK/VDX operating systems. 2012.Google ScholarCross Ref
- K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In 10th European Software Engineering Conference/13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005. Google ScholarDigital Library
- L. Tan, O. Sokolsky, and I. Lee. Specification-based testing with linear temporal logic. In IEEE International Conference on Information Reuse and Integration, 2004.Google Scholar
- O. Tkachuk, M. Dwyer, and C. Pasareanu. Automated environment generation for software model checking. In 18th IEEE International Conference on Automated Software Engineering, pages 116--129, October 2003.Google ScholarDigital Library
- K. Yatake and T. Aoki. Automatic generation of model checking scripts based on environment modeling. In 17th International SPIN Conference on Software Model Checking, 2010. Google ScholarDigital Library
Index Terms
- Automated system-level safety testing using constraint patterns for automotive operating systems
Recommendations
Constraint-based test generation for automotive operating systems
This work suggests a method for systematically constructing a software-level environment model for safety checking automotive operating systems by introducing a constraint specification language, OSEK_CSL. OSEK_CSL is designed to specify the usage ...
Concolic testing for high test coverage and reduced human effort in automotive industry
ICSE-SEIP '19: Proceedings of the 41st International Conference on Software Engineering: Software Engineering in PracticeThe importance of automotive software has been rapidly increasing because software now controls many components in motor vehicles such as window controller, smart-key system, and tire pressure monitoring system. Consequently, the automotive industry ...
Automated generation of positive and negative tests for parsers
FATES'05: Proceedings of the 5th international conference on Formal Approaches to Software TestingIn this paper we describe a specification-based approach to automated generation of both positive and negative test sets for parsers. We propose coverage criteria definitions for such test sets and algorithms for generation of the test sets with respect ...
Comments