Robust Test Generation and Coverage for Hybrid Systems

Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a framework for generating tests from hybrid systems models. The core idea of the framework is to develop a notion of robust test, where one nominal test can be guaranteed to yield the same qualitative behavior as a other tests that are close to it. Our approach offers three distinct advantages. 1) It allows for computing and formally quantifying the robustness of some properties, 2) it establishes a method to quantify the test coverage for every test case, and 3) the procedure is parallelizable and therefore, very scalable. We demonstrate our framework by generating tests for a navigation benchmark application.

• Type: Conference
• Year: 2007
• Where: HYBRID
• Authors: A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
• Keywords: HYBRID 2007, Hybrid Systems, Hybrid Systems Models, Model-based Test Generation, Nominal Test