Accession Number : AD0760144

Title :   A Study in Software Reliability and Evaluation.

Descriptive Note : Technical memo.,

Corporate Author : TEXAS UNIV AUSTIN ELECTRONICS RESEARCH CENTER

Personal Author(s) : Meeker,Robert Edward , Jr. ; Ramamoorthy,C. V.

Report Date : 15 FEB 1973

Pagination or Media Count : 87

Abstract : The subject of software reliability is introduced and current methods are examined. Theoretical techniques which attempt to prove program correctness are described and their limitations noted. The problems encountered in evaluating and validating large programs are investigated, and an initial step toward automatic validation is presented in the form of an Automated Software Evaluation System. (Author)

Descriptors :   (*COMPUTER PROGRAMMING, RELIABILITY), ALGORITHMS, ERRORS, TRANSFORMATIONS, CONTROL SEQUENCES, INTERFACES, COMPUTER PROGRAMS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE