Invariant relations, invariant functions, and loop functions

Document Type

Article

Publication Date

9-1-2012

Abstract

The increasing criticality of software applications, the increasing size and complexity of such applications, and the increasing reliance of software engineering paradigms on third party software assets combine to place a high premium on the ability to analyze software products to an arbitrary level of thoroughness and precision. Yet despite several decades of research, the goal of analyzing the functional properties of software products to an arbitrary level of thoroughness and precision remains unfulfilled. In this paper, we discuss the use of a relation-theoretic approach inspired from Mills' logic to analyze while loops, and we support our approach by an operational prototype tool. The proposed method and tool have applications in program comprehension, reverse engineering, program verification, software maintenance, and programmer education. © 2012 Springer-Verlag London Limited.

Identifier

84865828616 (Scopus)

Publication Title

Innovations in Systems and Software Engineering

External Full Text Location

https://doi.org/10.1007/s11334-012-0189-0

e-ISSN

16145054

ISSN

16145046

First Page

195

Last Page

212

Issue

3

Volume

8

This document is currently not available here.

Share

COinS