HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Automatic Test Generation from Interprocedural Specifications

Abstract : This paper adresses the generation of test cases for testing the conformance of a black-box implementation with respect to its specification, in the context of reactive systems. We aim at extending the principles and algorithms of model-based testing à la ioco for recursive specifications that can be modeled by Push-Down Systems (PDS). Such specifications may be more compact than non-recursive ones and are more expressive. The generated test cases are selected according to a test purpose, a (set of) scenario of interest that one wants to observe during test execution. The test generation method we propose in this paper is based on program transformations and a coreachability analysis, which allows to decide whether and how the test purpose can still be satisfied. However, despite the possibility to perform an exact analysis, the inability of test cases to inspect their own stack prevents it from using fully the coreachability information. We discuss this partial observation problem, its consequences, and how to minimize its impact.
Document type :
Reports
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00137064
Contributor : Anne Jaigu Connect in order to contact the contributor
Submitted on : Friday, March 16, 2007 - 3:05:17 PM
Last modification on : Friday, February 4, 2022 - 3:24:11 AM
Long-term archiving on: : Wednesday, April 7, 2010 - 1:37:27 AM

Files

PI-1835.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00137064, version 1

Citation

Bertrand Jeannet, Thierry Jéron, Camille Constant. Automatic Test Generation from Interprocedural Specifications. [Research Report] PI 1835, 2007, pp.19. ⟨inria-00137064⟩

Share

Metrics

Record views

117

Files downloads

113