A methodology for automated test generation guided by functional coverage constraints at specification level
Abstract
This paper presents an approach to automate test generation from a formal specification and a set of functional test objectives while taking into account coverage constraints at the specification level. We use existing test generation techniques and tools, our contribution is on the methodological side. We define an innovative approach adapted to the industrial domain and its constraints
BibTeX
@inproceedings{Laurent-al:ASE06,
author = {Odile Laurent and
Christel Seguin and
Virginie Wiels},
title = {A methodology for automated test generation guided by functional coverage constraints at specification level},
booktitle = {ASE},
pages = {285--288},
publisher = {{IEEE} Computer Society},
year = {2006},
}