Contributions à l'automatisation raisonnée de différents processus du test logiciel

Lydie Du Bousquet 1
1 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : Testing is the main activity in software validation. For reducing the testing costs and increasing the system under test quality, it is essential to provide automated test solutions and to ensure the productivity of test engineers. The work presented in this document aims at contributing to these objectives. These works are based on three axes. The first one concerns test generation. The originality of the work relies in establishing principles for the production of combinatorial test suites from abstract expressions. These principles have been implemented in a tool called Tobias. When large test suites are produced, it is important to automate the test oracle. A second focus is to assess the usability of assertions to determine the test verdicts for domotic applications. The results show that the assertions can actually be used, but that the execution of these applications in a live environment, which is not completely controllable and observable, may result in biaised verdicts. Thus, automating test generation and test oracle reduces the cost of the testing phase. But to reduce the cost of testing, it is also important to consider the internal factors related to the software testability. Many metrics have been proposed to predict and estimate the testability of a system. A third line of research concerns the evaluation and the experimental validation of these metrics. The results of experiments demonstrate that the studied metrics cannot be directly used to predict the test cost.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [288 references]  Display  Hide  Download
Contributor : Catherine Oriat <>
Submitted on : Thursday, June 12, 2014 - 5:57:13 PM
Last modification on : Friday, October 25, 2019 - 8:22:01 AM
Long-term archiving on: Friday, September 12, 2014 - 11:45:51 AM


  • HAL Id : tel-01005528, version 1



Lydie Du Bousquet. Contributions à l'automatisation raisonnée de différents processus du test logiciel. Génie logiciel [cs.SE]. Université de Grenoble, 2010. ⟨tel-01005528⟩



Record views


Files downloads