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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00510018
Contributor : Hal Ifip <>
Submitted on : Monday, August 25, 2014 - 4:35:54 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Long-term archiving on : Thursday, November 27, 2014 - 3:11:38 PM

File

64350030.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

529

Files downloads

167