Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
The validation, verification and testing of software
Ince D. (ed), Oxford University Press, Inc., New York, NY, 1985. Type: Book (9789780198590040)
Date Reviewed: Sep 1 1987

This is a particularly good paper. It presents with much clarity the state of the art of the software life cycle, its phases, and its subphases. A complete survey is presented concerning validation, verification, and testing of software. The status of the tooling is determined according to its current usage and the foreseeable research progress.

Three approaches for obtaining a deliverable software end product of “high quality” are depicted: (1) traditional and nontraditional software testing, (2) validation and verification during noncoding phases, and (3) integrated support environment.

The conclusion is a sound one. The author states that “progress in validation and verification of software will not be achieved by research into these topics per se.” He goes on to state that “more research . . . is needed into the nature of the development process.”

This paper is so thorough that it should be recommended to any person whose job deals with management, quality, testing, or development of any type of software product. It invites the reader to think about research on the software development process and on software education.

Reviewer:  A. Decroix Review #: CR111592
Bookmark and Share
 
Software/ Program Verification (D.2.4 )
 
 
Life Cycle (D.2.9 ... )
 
 
Testing And Debugging (D.2.5 )
 
Would you recommend this review?
yes
no
Other reviews under "Software/Program Verification": Date
Verification of sequential and concurrent programs
Krzysztof R., Olderog E., Springer-Verlag New York, Inc., New York, NY, 1991. Type: Book (9780387975320)
Jul 1 1992
On verification of programs with goto statements
Lifschitz V. (ed) Information Processing Letters 18(4): 221-225, 1984. Type: Article
Mar 1 1985
The foundations of program verification (2nd ed.)
Loeckx J., Sieber K., John Wiley & Sons, Inc., New York, NY, 1987. Type: Book (9789780471912828)
Sep 1 1988
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy