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