Skip to main content
Robust Test Generation and Coverage for Hybrid Systems
Departmental Papers (CIS)
  • Agung Julius, University of Pennsylvania
  • Georgios E Fainekos, University of Pennsylvania
  • Madhukar Anand, University of Pennsylvania
  • Insup Lee, University of Pennsylvania
  • George Pappas, University of Pennsylvania
Date of this Version
Document Type
Conference Paper
Postprint version. Published in Lecture Notes in Computer Science, Proceedings of the 10th International Conference on Hybrid Systems: Computation and Control (HSCC), April 2007, pgs 329-342.

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 with any other test that is 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.

Citation Information
Agung Julius, Georgios E Fainekos, Madhukar Anand, Insup Lee, et al.. "Robust Test Generation and Coverage for Hybrid Systems" (2007)
Available at: