More Testable Properties

Abstract : In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tested system and the property under scrutiny, holds. We characterize testable properties wrt. several relations of interest. For each relation, we give a sufficient condition for a property to be testable. Then, we study and delineate, for each Safety-Progress class, the subset of testable properties and their corresponding test oracle producing verdicts for the possible test executions. Furthermore, we address automatic test generation for the proposed framework. Finally, we present a tool implementing the results proposed by this paper.
Type de document :
Rapport
[Research Report] RR-7279, INRIA. 2010, pp.45
Liste complète des métadonnées

https://hal.inria.fr/inria-00484297
Contributeur : Yliès Falcone <>
Soumis le : mardi 18 mai 2010 - 11:41:14
Dernière modification le : mercredi 11 avril 2018 - 01:53:23
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 14:51:54

Fichier

RR-7279.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00484297, version 1

Collections

Citation

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. [Research Report] RR-7279, INRIA. 2010, pp.45. 〈inria-00484297〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

186