Skip to Main content Skip to Navigation
Theses

Génération automatique de cas de test guidée par les propriétés de sûreté

Abstract : This work deals with the problem of the synchronous software validation against his safety properties. Safety properties allow to specify the safe software bahaviors. Generally speaking, our approach is based on the test. We define a technique to find, only from the safety properties, all data test which could lead to the violation of sefety properties. This technique allow to forcast a future violation. Different heursistics have been implemented in oder to select one data test submited to the software. These propostions are implemented inside the Lutess tool which allow to generate data test automatically and dynamically.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00007373
Contributor : Jérôme Vassy <>
Submitted on : Wednesday, November 10, 2004 - 2:34:18 PM
Last modification on : Friday, November 6, 2020 - 4:09:06 AM
Long-term archiving on: : Monday, September 17, 2012 - 3:45:13 PM

Identifiers

  • HAL Id : tel-00007373, version 1

Collections

UJF | IMAG | CNRS | UGA

Citation

Jérôme Vassy. Génération automatique de cas de test guidée par les propriétés de sûreté. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2004. Français. ⟨tel-00007373⟩

Share

Metrics

Record views

232

Files downloads

224