DocumentCode
2769848
Title
A methodology for automated test generation guided by functional coverage constraints at specification level
Author
Laurent, Odile ; Seguin, Christel ; Wiels, Virginie
Author_Institution
AIRBUS France, Toulouse
fYear
2006
fDate
18-22 Sept. 2006
Firstpage
285
Lastpage
288
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
Keywords
formal specification; program testing; automated test generation; formal specification; functional coverage constraints; Aerospace electronics; Automatic testing; Automation; Certification; Embedded software; Flow graphs; Formal specifications; Real time systems; Software testing; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on
Conference_Location
Tokyo
ISSN
1938-4300
Print_ISBN
0-7695-2579-2
Type
conf
DOI
10.1109/ASE.2006.6
Filename
4019588
Link To Document