State Estimation and Property-Guided Exploration for Hybrid Systems Testing - Testing Software and Systems
Conference Papers Year : 2012

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

Thao Dang
Noa Shalev
  • Function : Author
  • PersonId : 1003378

Abstract

This paper is concerned with model-based testing of hybrid systems. The first result is an algorithm for test generation which enhances the coverage of critical trajectories by using a random walk. The second result is a framework for practical testing that includes a state estimator. When the state of a system under test cannot be directly observed, it is necessary to reconstruct the trajectory of the real system in order to produce a verdict whether the system violates a property. To do so, we integrate in our tester a hybrid observer, the goal of which is to provide an estimate for the current location and the continuous state of the system under test based on the information on the input and the output of the system.
Fichier principal
Vignette du fichier
978-3-642-34691-0_12_Chapter.pdf (502.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01482399 , version 1 (03-03-2017)

Licence

Identifiers

Cite

Thao Dang, Noa Shalev. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩. ⟨hal-01482399⟩
424 View
103 Download

Altmetric

Share

More