Graduate studies at Western
Minds and Machines 1 (1):97-116 (1991)
|Abstract||In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other.|
|Keywords||Program verification program testing defeasible reasoning philosophy of computer science|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
G. Aldo Antonelli (2005). Grounded Consequence for Defeasible Logic. Cambridge University Press.
Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2):135-167.
Edward Yalow (1977). Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs. Department of Computer Science, University of Illinois at Urbana-Champaign.
Gordon McCabe (2005). Universe Creation on a Computer. Studies in History and Philosophy of Science Part B 36 (4):591-625.
James H. Fetzer (1991). Philosophical Aspects of Program Verification. Minds and Machines 1 (2):197-216.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Alan W. Richardson (1992). Philosophy of Science and Its Rational Reconstructions: Remarks on the VPI Program for Testing Philosophies of Science. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:36 - 46.
Robert L. Causey (2003). Computational Dialogic Defeasible Reasoning. Argumentation 17 (4):421-450.
David A. Nelson (1992). Deductive Program Verification (a Practitioner's Commentary). Minds and Machines 2 (3):283-307.
James H. Fetzer (1988). Program Verification: The Very Idea. Communications of the ACM 31 (9):1048--1063.
Added to index2009-01-28
Total downloads22 ( #62,693 of 722,951 )
Recent downloads (6 months)1 ( #61,087 of 722,951 )
How can I increase my downloads?