This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Automated Software Engineering (ASE'06)
A methodology for automated test generation guided by functional coverage constraints at specification level
Tokyo, Japan
September 18-September 22
ISBN: 0-7695-2579-2
Odile Laurent, AIRBUS France
Christel Seguin, ONERA/DTIM, France
Virginie Wiels, ONERA/DTIM, France
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.
Citation:
Odile Laurent, Christel Seguin, Virginie Wiels, "A methodology for automated test generation guided by functional coverage constraints at specification level," ase, pp.285-288, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.