Méthodes et outils pour le test logiciel - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2007

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).
Fichier principal
Vignette du fichier
HDRIoannisParissis.pdf (601.5 Ko) Télécharger le fichier

Dates et versions

tel-00377293 , version 1 (21-04-2009)

Identifiants

  • HAL Id : tel-00377293 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More