State Estimation and Property-Guided Exploration for Hybrid Systems Testing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

Thao Dang
Noa Shalev
  • Fonction : Auteur
  • PersonId : 1003378

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
399 Consultations
88 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More