State Estimation and Property-Guided Exploration for Hybrid Systems Testing

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.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01482399
Contributor : Hal Ifip <>
Submitted on : Friday, March 3, 2017 - 3:17:14 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Long-term archiving on : Tuesday, June 6, 2017 - 12:11:17 PM

File

978-3-642-34691-0_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

582

Files downloads

155