TY - GEN
T1 - Robust test generation and coverage for hybrid systems
AU - Julius, A. Agung
AU - Fainekos, Georgios E.
AU - Anand, Madhukar
AU - Lee, Insup
AU - Pappas, George J.
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38049098874&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38049098874&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-71493-4_27
DO - 10.1007/978-3-540-71493-4_27
M3 - Conference contribution
AN - SCOPUS:38049098874
SN - 9783540714927
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 329
EP - 342
BT - Hybrid Systems
PB - Springer Verlag
T2 - 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007
Y2 - 3 April 2007 through 5 April 2007
ER -