Génération automatique de bouchons pour le test structurel basée sur l'analyse du flot de contrôle

par Karim-Cyril Griche

Thèse de doctorat en Informatique

Sous la direction de Farid Ouabdesselam.

Soutenue en 2005

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Lors du développement d'un logiciel, plusieurs phases de test sont mises en oeuvre. Dans cette thèse, nous nous intéressons particulièrement à deux d'entre elles : les test unitaire et le test d'intégration. Dans le test unitaire, les entités du logiciel sont testées individuellement. Elles sont ensuite intégrée au sein d'un agrégat qui est soumis à un test d'intégration. Lors de cette phase, on cherche traditionnellement à tester les interactions entre ces entités. Nous nous intéressons plus particulièrement dans cette thèse au test structurel unitaire. Lors de cette phase de test, si l'entité contient des app rers d'autres entités, elles sont remplacées par des bouchons simples qui facilitent le test. Ces bouchons ne sont pas exempts de défauts. En particulier, ils sont généralement pas représentatifs des entités qu'ils remplacent. Les taux de couverture obtenus pendant le test ne représentent donc pas l'utilisatin éelle de la fonction testée. Dans cette thèse, nous proposons d'étendre la phase de test unitaire aux agrégats de fonctions. Tous les bouchons nécessaires sont produits automatiquement à partir du code des fonctions appelées. Pour cela, on se base sur une analyse et un découpage du flot de ontrôle de la fonction appelée en approximations, ainsi que sur la détermination de l'environnement particulier de chaque appel. Cet environnement ontient les informations sur les conditions d'appel à la fonction et sur l'impact de cet appel sur le flot de contrôle de la fonction appelante. On crée inalement le bouchon spécifique à un appel par filtrage des approximations par le contexte d'appel. On sélectionne ensuite une approximation pour chaque objectif de génération. L'ensemble de cette technique a été implanté au sein d'un prototype basé sur l'outil de test Inka.


  • Pas de résumé disponible.

  • Titre traduit

    Automatic generation of stubs for structural testing based on control flow analysis


  • Résumé

    While developing a software, many different tests are processed. Ln this thesis, we are focusing mainly on unitary test and integration test. During the unitary test phase, the software's entities are tested individually. Afterwards, they are integrated within an aggregate on which the integration test is lrocessed. During this phase, interactions between entities are tested. We are working on structural unitary test. During this test phase, when the entites under test contains calls to other entites, the called entities are replaced by stubbs designed to simplify test data generation for the calling function. Ln general, such stubbs do not represent correctly the behaviour of the entity they stand for. Therefore, the resulting covering rate does not represent the use of the calling function. In this thesis, we propose a new test phase, the unitary aggregate test phase, where ail necessary stubbs are automatically generated from the called function's code. The production of such a stubb is based on the slice of the called function's control flow into approximations. Tatic analysis is used to deterrnine the specifie environment of each cali. This environment con tains information on the calling conditions for a function and also on the impact ofthis cali on the calling function's control flow. The stubb for a specifie cali can be created by filtering the called function's approximations, using the calling context. Then, a single filtered approximation is kept for each generation objective within the calling function. A prototype of this method was implemented within the Inka test tool.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (viii-140 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 133-135

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS05/GRE1/0098
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS05/GRE1/0098/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.