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

Méthodes et outils pour le test logiciel

Résumé : Ce document retrace de manière synthétique mes travaux de recherche depuis septembre 1999, date à laquelle j'ai été recruté sur un poste de Maître de Conférences à l'université Joseph Fourier (Grenoble 1).
Ces travaux, menés au sein de l'équipe VASCO du laboratoire LIG, portent sur le test des logiciels et sont étroitement liés aux recherches effectuées de 1993 à 1997, période pendant laquelle j'ai été thésard, puis chercheur contractuel dans cette même équipe.
Le test logiciel est une discipline qui embrasse l'ensemble du cycle de développement.
En effet, dès l'analyse des besoins d'une application, apparaissent des exigences et des propriétés à tester dont la caractérisation et l'identification font partie des compétences des testeurs. Il en est de même pour la spécification du produit, la conception de son architecture technique ou la programmation.
Le test logiciel est également une discipline qui se veut étroitement liée et utile à la pratique professionnelle. La prise en compte des problématiques issues de cette dernière s'est faite, entre autres, au moyen de nombreuses collaborations industrielles qui ont ponctué mes travaux, en particulier dans le cadre de projets nationaux (RNRT, RNTL).
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00377293
Contributor : Ioannis Parissis <>
Submitted on : Tuesday, April 21, 2009 - 2:18:51 PM
Last modification on : Thursday, November 19, 2020 - 12:59:40 PM
Long-term archiving on: : Thursday, June 10, 2010 - 6:38:33 PM

Identifiers

  • HAL Id : tel-00377293, version 1

Collections

CNRS | LIG | UJF | LCIS | UGA

Citation

Ioannis Parissis. Méthodes et outils pour le test logiciel. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007. ⟨tel-00377293⟩

Share

Metrics

Record views

452

Files downloads

7112