Gregory M. Kapfhammer Department of Computer Science Allegheny College email@example.com
I shall not deny that the construction of these testing programs has been a major intellectual effort: to convince oneself that one has not overlooked “a relevant state” and to convince oneself that the testing programs generate them all is no simple matter. The encouraging thing is that (as far as we know!) it could be done. Edsger W. Dijkstra [Dijkstra, 1968]
When a program is implemented to provide a concrete representation of an algorithm, the developers of this program are naturally concerned with the correctness and performance of the implementation. Software engineers must ensure that their software systems achieve an appropriate level of quality. Software veriﬁcation is the process of ensuring that a program meets its intended speciﬁcation [Kaner et al., 1993]. One technique that can assist during the speciﬁcation, design, and implementation of a software system is software veriﬁcation through correctness proof. Software testing, or the process of assessing the functionality and correctness of a program through execution or analysis, is another alternative for verifying a software system. As noted by Bowen, Hinchley, and Geller, software testing can be appropriately used in conjunction with correctness proofs and other types of formal approaches in order to develop high quality software systems [Bowen and Hinchley, 1995, Geller, 1978]. Yet, it is also possible to use software testing techniques in isolation from program correctness proofs or other formal methods. Software testing is not a “silver bullet” that can guarantee the production of high quality software systems. While a “correct” correctness proof demonstrates that a software system (which exactly meets its speciﬁcation) will always operate in a given manner, software testing that is not fully exhaustive can only suggest the presence of ﬂaws and cannot prove their... [continues]
Cite This Essay
(2010, 09). Test. StudyMode.com. Retrieved 09, 2010, from http://www.studymode.com/essays/Test-398364.html
"Test" StudyMode.com. 09 2010. 09 2010 <http://www.studymode.com/essays/Test-398364.html>.
"Test." StudyMode.com. 09, 2010. Accessed 09, 2010. http://www.studymode.com/essays/Test-398364.html.