Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Generic and Effective Specification of Structural Test Objectives

Sébastien Bardin 1 Mickaël Delahaye 1 Nikolai Kosmatov 2 Michaël Marcozzi 1 Virgile Prévosto 1, * 
* Corresponding author
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
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 metadata

Cited literature [43 references]  Display  Hide  Download
Contributor : Virgile Prevosto Connect in order to contact the contributor
Submitted on : Friday, September 2, 2016 - 5:17:01 PM
Last modification on : Thursday, February 17, 2022 - 10:08:04 AM
Long-term archiving on: : Monday, December 5, 2016 - 1:56:09 AM


Files produced by the author(s)




  • HAL Id : cea-01357487, version 1


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⟩



Record views


Files downloads