Noon lecture

list of noon lectures ( 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | future lectures)

On 25.07.2019 at 12:30 in S8, there is the following noon lecture:

Absolute Correctness and Relative Correctness

Ali Mili

NJIT

Abstract

In this talk, we discuss the concept of relative correctness, i.e. the property of a program to be more-correct than another with respect to a specification. Whereas traditional absolute correctness distinguishes between two classes of candidate programs (correct vs incorrect), relative correctness ranks candidate programs on a partial ordering, whose maximal elements are the (absolutely) correct programs. We use the definition of relative correctness to define what is a fault in a program, and what is fault removal, as well as related concepts (fault density, fault depth, fault multiplicity). Also, we show that while the gold standard of program transformation is correctness-preserving transformations, the vast majority of software engineering practice does not involve correctness preservation but correctness enhancement; we show examples where such insights can be used to enhance current software engineering practice.

list of noon lectures ( 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | future lectures)

Webmaster: kamweb.mff.cuni.cz         Modified: 25. 02. 2019