Software evolution by correctness enhancement

Wided Ghardallou, Nafi Diallo, Ali Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Relative correctness is the property of a program to be more-correct than another with respect to a specification; this property enables us to rank candidate programs in a partial ordering structure whose maximal elements are the correct programs. Whereas traditionally we think of program derivation as a process of successive correctness- preserving transformations (using refinement) starting from the specification, we argue that it is possible to derive pro- grams by successive correctness-enhancing transformations (using relative correctness) starting from abort. One of the attributes of our approach is that it captures in the same mathematical model, not only the derivation of programs from scratch, but also most (if not all) of the activities that arise in software evolution. Given that most software is developed nowadays by evolving existing products rather than from scratch, any advance in the technology of pro- gram transformation by correctness enhancement stands to yield significant practical benefits.

Original languageEnglish (US)
Title of host publicationProceedings - SEKE 2016
Subtitle of host publication28th International Conference on Software Engineering and Knowledge Engineering
PublisherKnowledge Systems Institute Graduate School
Pages605-610
Number of pages6
ISBN (Electronic)189170639X, 9781891706394
DOIs
StatePublished - 2016
Event28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016 - Redwood City, United States
Duration: Jul 1 2016Jul 3 2016

Publication series

NameProceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
Volume2016-January
ISSN (Print)2325-9000
ISSN (Electronic)2325-9086

Other

Other28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016
Country/TerritoryUnited States
CityRedwood City
Period7/1/167/3/16

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Absolute cor-rectness
  • Adaptive maintenance
  • Correc-tive maintenance
  • Program correctness
  • Relative correctness
  • Software evolution
  • Software maintenance
  • Software merger
  • Software upgrade

Fingerprint

Dive into the research topics of 'Software evolution by correctness enhancement'. Together they form a unique fingerprint.

Cite this