A methodology for automated test generation guided by functional coverage constraints at specification level

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Odile Laurent Articles by Christel Seguin Articles by Virginie Wiels

21st IEEE International Conference on Automated Software Engineering (ASE'06)

Tokyo, Japan

September 18-September 22

ISBN: 0-7695-2579-2

	ASCII Text	x
	Odile Laurent, Christel Seguin, Virginie Wiels, "A methodology for automated test generation guided by functional coverage constraints at specification level," Automated Software Engineering, International Conference on, pp. 285-288, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006.

	BibTex	x
	@article{ 10.1109/ASE.2006.6, author = {Odile Laurent and Christel Seguin and Virginie Wiels}, title = {A methodology for automated test generation guided by functional coverage constraints at specification level}, journal ={Automated Software Engineering, International Conference on}, volume = {0}, year = {2006}, issn = {1527-1366}, pages = {285-288}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.6}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Automated Software Engineering, International Conference on TI - A methodology for automated test generation guided by functional coverage constraints at specification level SN - 1527-1366 SP285 EP288 A1 - Odile Laurent, A1 - Christel Seguin, A1 - Virginie Wiels, PY - 2006 KW - null VL - 0 JA - Automated Software Engineering, International Conference on ER -

Odile Laurent, AIRBUS France

Christel Seguin, ONERA/DTIM, France

Virginie Wiels, ONERA/DTIM, France

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.6

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.