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.
Type de document :
Communication dans un congrès
Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.152-167, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_12〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01482399
Contributeur : Hal Ifip <>
Soumis le : vendredi 3 mars 2017 - 15:17:14
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33
Document(s) archivé(s) le : mardi 6 juin 2017 - 12:11:17

Fichier

978-3-642-34691-0_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Thao Dang, Noa Shalev. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.152-167, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_12〉. 〈hal-01482399〉

Partager

Métriques

Consultations de la notice

104

Téléchargements de fichiers

13