Adding Value to Formal Test Oracles

	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
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by James H. Andrews Articles by Rui Fu Articles by Vicky D. Liu

17th IEEE International Conference on Automated Software Engineering (ASE'02)

Edinburgh, UK

September 23-September 27

ISBN: 0-7695-1736-6

	ASCII Text	x
	James H. Andrews, Rui Fu, Vicky D. Liu, "Adding Value to Formal Test Oracles," Automated Software Engineering, International Conference on, pp. 275, 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002.

	BibTex	x
	@article{ 10.1109/ASE.2002.1115029, author = {James H. Andrews and Rui Fu and Vicky D. Liu}, title = {Adding Value to Formal Test Oracles}, journal ={Automated Software Engineering, International Conference on}, volume = {0}, year = {2002}, issn = {1527-1366}, pages = {275}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2002.1115029}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Automated Software Engineering, International Conference on TI - Adding Value to Formal Test Oracles SN - 1527-1366 SP EP A1 - James H. Andrews, A1 - Rui Fu, A1 - Vicky D. Liu, PY - 2002 KW - null VL - 0 JA - Automated Software Engineering, International Conference on ER -

James H. Andrews, University of Western Ontario

Rui Fu, University of Western Ontario

Vicky D. Liu, University of Western Ontario

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

Test oracles are programs which check the output of test cases run on other programs. We describe techniques which add value to formally-defined test oracles in three ways: (a) by measuring functional coverage of test suites, (b) by giving automated support to the process of validating the oracles, and (c) by automating the generation of test cases from the oracles. The techniques involve the use of coverage measures and AI-based search algorithms. We describe the application of these techniques in the verification and validation of a complex piece of real-world software.

Citation:

James H. Andrews, Rui Fu, Vicky D. Liu, "Adding Value to Formal Test Oracles," ase, pp.275, 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002

Peer Review Notice | Give Us Feedback

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