Skip to Main content Skip to Navigation
Theses

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 :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1997_0255_CHARLES.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01747424
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:59:41 AM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM

Identifiers

  • HAL Id : tel-01747424, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

16