Deriving Programs by Reliability Enhancement

Marwa Benabdelali, Lamia Jilani

2019

Abstract

This paper concerns the exploration of an approach that deals with formal program derivation in contrast to the traditional approach that begins with a formal specification, derive different refinements of that specification until generating the final correct program code. Hence, we use a rigorous theoretical framework which is based on the concept of relative correctness; the property of a program to be more correct than another program with respect to a specification. Program derivation process by relative correctness presents several advantages as for example deriving reliable software. In fact, for most software products, as for products in general, perfect correctness is not necessary; very often, adequate reliability threshold is sufficient. Our aim is to continue experimenting with the discipline of reliable program derivation by correctness enhancement by conducting an analytical and empirical study of this approach as a proof of concept. Then, to analyze the results and compare them (give feedback) to what is predicted and proposed by the analytical approach and decide on the usability of the approach and/or adjust/complete it. Finally, we propose a mechanism that helps and guides developer in the program derivation process using relative correctness.

Download


Paper Citation


in Harvard Style

Benabdelali M. and Jilani L. (2019). Deriving Programs by Reliability Enhancement.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 210-217. DOI: 10.5220/0007835402100217


in Bibtex Style

@conference{icsoft19,
author={Marwa Benabdelali and Lamia Jilani},
title={Deriving Programs by Reliability Enhancement},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={210-217},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007835402100217},
isbn={978-989-758-379-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Deriving Programs by Reliability Enhancement
SN - 978-989-758-379-7
AU - Benabdelali M.
AU - Jilani L.
PY - 2019
SP - 210
EP - 217
DO - 10.5220/0007835402100217