Accession Number : ADA311137

Title :   Application of Formal Specification to Software Maintenance.

Descriptive Note : Technical rept.,

Corporate Author : STANFORD UNIV CA COMPUTER SYSTEMS LAB

Personal Author(s) : Madhav, Neel ; Sankar, Sriram

PDF Url : ADA311137

Report Date : AUG 1990

Pagination or Media Count : 16

Abstract : This paper describes the use of formal specifications and associated tools in addressing various aspects of software maintenance - corrective, perfective, and adaptive. It also addresses the refinement of the software development process to build programs that are easily maintainable. The task of software maintenance in our case includes the task of maintaining the specification as well as maintaining the program. We focus on the use of Anna, a specification language for formally specifying Ada programs, to aid us in maintaining Ada programs. These techniques are applicable to most other specification language and programming language environments. The tools of interest are: (1) the Anna Specification Analyzer which allows us to analyze the specification for correctness with respect to our informal understanding of program behavior; and (2) the Anna Consistency Checking System which monitors the Ada program at runtime based on the Anna specification.

Descriptors :   *MAINTENANCE, *SPECIFICATIONS, *COMPUTER PROGRAM VERIFICATION, SOFTWARE ENGINEERING, PROGRAMMING LANGUAGES, CONSISTENCY, ADAPTIVE SYSTEMS, MONITORS, BEHAVIOR, ANALYZERS, ADA PROGRAMMING LANGUAGE, INDEX TERMS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE