Theories of Program Testing and the Application of Revealing Subdomains

E.J. Weyuker; T.J. Ostrand

doi:10.1109/TSE.1980.234485

Publication
1980
Issue No. 3 - May
Abstract - Theories of Program Testing and the Application of Revealing Subdomains

	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 E.J. Weyuker Articles by T.J. Ostrand

Theories of Program Testing and the Application of Revealing Subdomains

May 1980 (vol. 6 no. 3)

pp. 236-246

	ASCII Text	x
	E.J. Weyuker, T.J. Ostrand, "Theories of Program Testing and the Application of Revealing Subdomains," IEEE Transactions on Software Engineering, vol. 6, no. 3, pp. 236-246, May, 1980.

	BibTex	x
	@article{ 10.1109/TSE.1980.234485, author = {E.J. Weyuker and T.J. Ostrand}, title = {Theories of Program Testing and the Application of Revealing Subdomains}, journal ={IEEE Transactions on Software Engineering}, volume = {6}, number = {3}, issn = {0098-5589}, year = {1980}, pages = {236-246}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1980.234485}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - JOUR JO - IEEE Transactions on Software Engineering TI - Theories of Program Testing and the Application of Revealing Subdomains IS - 3 SN - 0098-5589 SP236 EP246 EPD - 236-246 A1 - E.J. Weyuker, A1 - T.J. Ostrand, PY - 1980 KW - theory of testing KW - Program testing KW - revealing subdomain KW - software error detection KW - software reliability KW - test data generation VL - 6 JA - IEEE Transactions on Software Engineering ER -

E.J. Weyuker, Courant Institute of Mathematical Sciences, New York University

T.J. Ostrand

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.1980.234485

The theory of test data selection proposed by Goodenough and Gerhart is examined. In order to extend and refine this theory, the concepts of a revealing test criterion and a revealing subdomain are proposed. These notions are then used to provide a basis for constructing program tests.

Index Terms:

theory of testing, Program testing, revealing subdomain, software error detection, software reliability, test data generation

Citation:

E.J. Weyuker, T.J. Ostrand, "Theories of Program Testing and the Application of Revealing Subdomains," IEEE Transactions on Software Engineering, vol. 6, no. 3, pp. 236-246, May 1980, doi:10.1109/TSE.1980.234485

Peer Review Notice | Give Us Feedback

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