Program repair by stepwise correctness enhancement

Nafi Diallo, Wided Ghardallou, Ali Mili

Research output: Contribution to journalConference articlepeer-review

Abstract

Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect), relative correctness arranges candidate programs on the richer structure of a partial ordering. In other venues we discuss the impact of relative correctness on program derivation, and on program verification. In this paper, we discuss the impact of relative correctness on program testing; specifically, we argue that when we remove a fault from a program, we ought to test the new program for relative correctness over the old program, rather than for absolute correctness. We present analytical arguments to support our position, as well as an empirical argument in the form of a small program whose faults are removed in a stepwise manner as its relative correctness rises with each fault removal until we obtain a correct program.

Original languageEnglish (US)
Pages (from-to)1-15
Number of pages15
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume208
DOIs
StatePublished - May 25 2016
Event1st Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 - Reykjavik, Iceland
Duration: Jun 4 2016 → …

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Absolute correctness
  • Program correctness
  • Program repair
  • Relative correctness

Fingerprint

Dive into the research topics of 'Program repair by stepwise correctness enhancement'. Together they form a unique fingerprint.

Cite this