DocumentCode
996964
Title
Special Feature Program Testing: Art Meets Theory*
Author
Miller, Edward F., Jr.
Author_Institution
Software Research Associates
Volume
10
Issue
7
fYear
1977
fDate
7/1/1977 12:00:00 AM
Firstpage
42
Lastpage
51
Abstract
The problems of providing quality assurance for computer software have received a good deal of attention from the computing community. Such areas as program proving, automatic programming, structured programming, and hierarchical design/development methodologies have all experienced significant growth–largely as a result of the increased attention focussed on them. Program testing, on the other hand, has not enjoyed the same level of intensive investigation, even though it has a number of technical and intuitive appeals:
Keywords
Art; Automatic programming; Automatic testing; Bridges; Hardware; Military computing; Software quality; Software testing; Subspace constraints; System testing;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/C-M.1977.217782
Filename
1646557
Link To Document