Skip to Main content Skip to Navigation

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

Abstract : 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.
Document type :
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download
Contributor : Thèses Imag <>
Submitted on : Thursday, November 22, 2007 - 5:31:54 PM
Last modification on : Friday, November 6, 2020 - 4:06:54 AM
Long-term archiving on: : Monday, April 12, 2010 - 3:19:09 AM


  • HAL Id : tel-00189959, version 1




Karim-Cyril Griche. Génération automatique de bouchons pour le test structurel basée sur basée sur l'analyse du flot de contôle. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨tel-00189959⟩



Record views


Files downloads