Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Elimination des fautes : contribution au test du logiciel

Hélène Waeselynck 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : The research summarized in this report focuses on the dependability of computer systems. It adresses fault removal by means of software testing. The contributions are grouped into four chapters. Chapter I presents work seeking to adapt the test design to software development technologies. It considers both object-­‐oriented development and the formal B method. Chapter II investigates ways of coupling testing and formal verification. The aim may be to consolidate the verification of partially proved algorithms, or to aid in the analysis of counterexamples obtained from a model checker. Chapter III concerns search-­‐based test generation, taking the example of simulated annealing search. It focuses on a measurement approach to tune the parameters of the metaheuristics. Finally, Chapter IV tackles testing of mobile computing systems. Test traces are checked with respect to properties described in graphical scenarios. The checking involves both graph matching and event order analysis.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [189 references]  Display  Hide  Download
Contributor : Arlette Evrard <>
Submitted on : Tuesday, March 6, 2012 - 2:40:25 PM
Last modification on : Thursday, June 10, 2021 - 3:05:52 AM
Long-term archiving on: : Wednesday, December 14, 2016 - 10:31:18 AM


  • HAL Id : tel-00676826, version 1


Hélène Waeselynck. Elimination des fautes : contribution au test du logiciel. Informatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2011. ⟨tel-00676826⟩



Record views


Files downloads