Accession Number : ADA191461

Title :   A General Approach for Automating Source Code Verification.

Descriptive Note : Summary rept.,

Corporate Author : ARMY STRATEGIC DEFENSE COMMAND HUNTSVILLE AL ADVANCED TECHNOLOGY DIRECTORATE

Personal Author(s) : Cordle, James H

PDF Url : ADA191461

Report Date : 02 Dec 1987

Pagination or Media Count : 72

Abstract : Conventional debugger systems rely on user guidance to conduct error localization procedures . System procedures are typically time consuming and inefficient due in part to the human factor. In addition, compatability is limited among different hardware and software systems. These factors inhibit program design and development while increasing system cost. A prototype software system has been developed that automates the debugging process. The system uses automation as an alternative technique for improving current debugger designs. Problem areas associated with typical debugger systems are presented. Concepts employing automation are supplied to remedy these deficiencies. Validation of these concepts are demonstrated by the prototype system. The prototype system exploits automation concepts through test case verification and provides the framework for an automated debugger system.

Descriptors :   *AUTOMATION, *CODING, *COMPUTER PROGRAMS, *DEBUGGING(COMPUTERS), *VALIDATION, COSTS, GUIDANCE, HUMAN FACTORS ENGINEERING, PROTOTYPES, SOURCES, USER NEEDS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE