More Testable Properties - Testing Software and Systems Access content directly
Conference Papers Year : 2010

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
Fichier principal
Vignette du fichier
main.pdf (296.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00510018 , version 1 (01-12-2010)
inria-00510018 , version 2 (25-08-2014)

Identifiers

Cite

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. 22nd IFIP International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩. ⟨inria-00510018v1⟩
422 View
168 Download

Altmetric

Share

Gmail Facebook X LinkedIn More