Coverage-guided test generation for continuous and hybrid systems

Authors:
Thao Dang;Tarik Nahhal
Affiliations:
VERIMAG, Gières, France 38610;VERIMAG, Gières, France 38610
Venue:
Formal Methods in System Design
Year:
2009

Citing 9
Cited 3

Computing the discrepancy

SCG '93 Proceedings of the ninth annual symposium on Computational geometry
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
A Formal Approach to Conformance Testing

Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Sampling-based Algorithm for Testing and Validating Robot Controllers

International Journal of Robotics Research
Robust test generation and coverage for hybrid systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Guided randomized simulation

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Hybrid systems: from verification to falsification

CAV'07 Proceedings of the 19th international conference on Computer aided verification
Randomized Halton sequences

Mathematical and Computer Modelling: An International Journal

Goal-oriented stimulus generation for analog circuits

Proceedings of the 49th Annual Design Automation Conference
Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm

Proceedings of the Conference on Design, Automation and Test in Europe
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits

Proceedings of the International Conference on Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard `Formal Methods in Conformance Testing' FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation `completeness'. It is also used to guide input stimulus generation by identifying the portions of the system behaviors that are not adequately examined. We then propose a test generation method, which is based on a robotic motion planning algorithm and is guided by the coverage measure. This method was implemented in a prototype tool that can handle high dimensional systems (up to 100 dimensions).