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 su cient 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. Finally, we address automatic test generation for the proposed framework.
Type de document :
Communication dans un congrès
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. Springer, 6435, pp.30-46, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-16573-3_4〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00510018
Contributeur : Hal Ifip <>
Soumis le : lundi 25 août 2014 - 16:35:54
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : jeudi 27 novembre 2014 - 15:11:38

Fichier

64350030.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. Springer, 6435, pp.30-46, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-16573-3_4〉. 〈inria-00510018v2〉

Partager

Métriques

Consultations de la notice

443

Téléchargements de fichiers

99