Generic and Effective Specification of Structural Test Objectives - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Generic and Effective Specification of Structural Test Objectives

(1) , (1) , (2) , (1) , (1)
1
2

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

Dates and versions

cea-01357487 , version 1 (02-09-2016)

Licence

Copyright

Identifiers

  • HAL Id : cea-01357487 , version 1

Cite

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⟩
86 View
156 Download

Share

Gmail Facebook Twitter LinkedIn More