JeffCorbell-DesigningProgramsTha CheckTheirWork

JeffCorbell-DesigningProgramsTha CheckTheirWork - Click to...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Click to edit Master subtitle style 8/1/11 Designing Programs that Check Their Work Manuel Blum Sampath Kannan by Jeffrey Corbell 8/1/11 Overview Introduction to a Program Checker Other Methods of Determining Correctness Definition of a Program Checker Example of a Checker: Graph Isomorphism Beigels Theorem 8/1/11 What is a program checker Program that checks the output of a program to determine if the program is correct or buggy Formally: P and C are programs, I is the input For any I run on P, C is run and determines whether P is correct for I or buggy 8/1/11 Other Methods of Determining Correctness Program verification Use a proof to prove a program is correct Very difficult to do Argued that it doesn't improve confidence in correctness very complex may contain errors which would be difficult to detect 8/1/11 Other Methods of Determining Correctness Program testing Run program on input that you know the correct output for Compare program output to expected output Problems No general way to create test data No theorems to describe behavior if they do pass tests 8/1/11 Differences Between a Checker and Testing A checker is a program that uses its own algorithm that allows it to check the output Program testing usually only uses a small amount of predetermined cases for specific input 8/1/11...
View Full Document

This note was uploaded on 07/30/2011 for the course COP 4810 taught by Professor Staff during the Spring '11 term at University of Central Florida.

Page1 / 24

JeffCorbell-DesigningProgramsTha CheckTheirWork - Click to...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online