Skip to Main content Skip to Navigation
Theses

Automatisation du test tous-les-chemins en présence d'appels de fonctions

Patricia Mouy 1
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Abstract : Structural testing is usually restricted to unit tests and based on some clear definition of source code coverage. In particular, the all-paths criterion, which requires at least one test-case per feasible path of the function under test, is recognised as offering a high level of software reliability. This document deals with the difficulties of using structural unit testing to test functions which call other functions. To limit the resulting combinatorial explosion in the number of paths, we choose to abstract the called functions by their specification. We incorporate the functional information on the called functions within the structural information on the function under test, given as a control flow graph (CFG). This representation combining functional and structural descriptions may be viewed as an extension of the classic CFG and allows us to characterise test selection criteria ensuring the coverage of the source code of the function under test. Two new criteria will be proposed. The first criterion corresponds to the coverage of all the paths of this new representation, including all the paths arising from the functional description of the called functions. The second criterion covers all the feasible paths of the function under test only. We describe how we automate test-data generation with respect to such grey-box (combinations of black-box and white-box) test selection strategies, and we apply the resulting extension of our PathCrawler tool to examples coded in the C language.
Document type :
Theses
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00514053
Contributor : Patricia Mouy <>
Submitted on : Wednesday, September 1, 2010 - 9:57:06 AM
Last modification on : Monday, February 10, 2020 - 6:12:32 PM
Long-term archiving on: : Thursday, December 2, 2010 - 2:40:43 AM

Identifiers

  • HAL Id : tel-00514053, version 1

Collections

CEA | DRT | LIST

Citation

Patricia Mouy. Automatisation du test tous-les-chemins en présence d'appels de fonctions. Génie logiciel [cs.SE]. Université d'Evry-Val d'Essonne, 2007. Français. ⟨tel-00514053⟩

Share

Metrics

Record views

336

Files downloads

322