Robust test generation and coverage for hybrid systems

A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

81 Scopus citations

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 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.

Original languageEnglish (US)
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control - 10th International Conference, HSCC 2007, Proceedings
PublisherSpringer Verlag
Pages329-342
Number of pages14
ISBN (Print)9783540714927
DOIs
StatePublished - Jan 1 2007
Event10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007 - Pisa, Italy
Duration: Apr 3 2007Apr 5 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4416 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007
CountryItaly
CityPisa
Period4/3/074/5/07

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Robust test generation and coverage for hybrid systems'. Together they form a unique fingerprint.

  • Cite this

    Julius, A. A., Fainekos, G. E., Anand, M., Lee, I., & Pappas, G. J. (2007). Robust test generation and coverage for hybrid systems. In Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings (pp. 329-342). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4416 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-71493-4_27