Skip to Main content Skip to Navigation

Application des hypothèses de test à une définition de la couverture

Abstract : Conformance testing aims at checking that a product complies to the requirements for which it has been developed. Because of their complexity, communicating systems cannot be tested exhaustively. In practice, real tests are incomplete and never perfect. The goal of test coverage is to express this imperfection. So, it is an important measure for test selection and automatic test generation. When selecting test suites, test experts make choices based on test hypotheses. In other words, their experience of testing allows them to infer some good properties on the imlementation which decrease test effort. In this thesis, we propose to define H-coverage as the set of hypotheses which must be made such that the implementation is equivalent to the exhaustive test. In a first part, we precisely define H-coverage and we show that it is necessary to have a formalism available to write hypotheses in order to compute this measure. In a second part we solve the problem for a particular set of systems : the input outputautomata. First we propose to write hypotheses through trace sets, and then as automata transformers.
Document type :
Complete list of metadata
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 10:59:41 AM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM

Links full text


  • HAL Id : tel-01747424, version 1



Olivier Charles. Application des hypothèses de test à une définition de la couverture. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10255⟩. ⟨tel-01747424⟩



Record views