Generic and Effective Specification of Structural Test Objectives

Abstract : While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automation tools usually support only a small subset of them. We introduce a unified specification language, called HTOL, providing a powerful generic mechanism to define test objectives , which permits encoding numerous existing criteria and supporting them in a unified way. HTOL comes with a formal semantics and can express complex requirements over several executions (using a novel notion of hyperlabels), as well as alternative requirements or requirements over a whole program execution. A novel classification of a large class of existing criteria is proposed. Finally, a coverage measurement tool for HTOL objectives has been implemented. Initial experiments suggest that the proposed approach is both efficient and practical.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [43 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01357487
Contributor : Virgile Prevosto <>
Submitted on : Friday, September 2, 2016 - 5:17:01 PM
Last modification on : Wednesday, January 23, 2019 - 2:38:28 PM
Long-term archiving on : Monday, December 5, 2016 - 1:56:09 AM

File

main.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

  • HAL Id : cea-01357487, version 1

Collections

Citation

Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prévosto. Generic and Effective Specification of Structural Test Objectives. 2016. ⟨cea-01357487⟩

Share

Metrics

Record views

124

Files downloads

129