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. Finally, we
address automatic test generation for the proposed framework.
|
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16573-3_4 | IFIP International Conference on Testing of Communicating Systems |
Keywords | Field | DocType |
sufficient condition,automatic test generation,proposed framework,testable properties wrt,corresponding test oracle,safety-progress class,safety-progress classification,possible test execution,testable property | Testability,Data mining,Computer science,Automatic test generation,Oracle,Theoretical computer science,Scrutiny | Conference |
Volume | Issue | ISSN |
14 | 4 | 1433-2787 |
ISBN | Citations | PageRank |
3-642-16572-9 | 6 | 0.49 |
References | Authors | |
36 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yliès Falcone | 1 | 508 | 39.21 |
Jean-Claude Fernandez | 2 | 6 | 0.49 |
Thierry Jéron | 3 | 1053 | 91.06 |
Hervé Marchand | 4 | 449 | 33.75 |
Laurent Mounier | 5 | 1187 | 79.54 |