Skip to Main content Skip to Navigation

Etude et mise en œuvre de techniques de validation à l'exécution

Abstract : This thesis deals with three dynamic validation techniques: runtime verification (monitoring), runtime enforcement, and testing from property. We consider these approaches in the absence of complete behavioral specification of the system under scrutiny. Our study is done in the context of the Safety-Progress classification of properties. This framework offers several advantages for specifying properties on systems. We adapt the results on this classification, initially dedicated to infinite sequences, to take into account finite sequences. Those sequences may be considered as abstract representations of a system execution. Relying on this general framework, we study the applicability of dynamic validation methods. We characterize the classes of monitorable, enforceable, and testable properties. Then, we proposed three generic approaches for runtime verification, enforcement, and testing. We show how it is possible to obtain, from a property expressed in the {\SP} framework, some verification, enforcement, and testing mechanisms for the property under consideration. Finally, we propose the tools j-VETO and j-POST implementing all the aforementioned results on Java programs.
Complete list of metadata

Cited literature [215 references]  Display  Hide  Download
Contributor : Yliès Falcone Connect in order to contact the contributor
Submitted on : Wednesday, November 18, 2009 - 3:23:36 PM
Last modification on : Friday, March 25, 2022 - 11:10:28 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 2:25:22 PM


  • HAL Id : tel-00420478, version 1



Yliès Falcone. Etude et mise en œuvre de techniques de validation à l'exécution. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨tel-00420478⟩



Record views


Files downloads