A General Approach for Automating Source Code Verification.
ARMY STRATEGIC DEFENSE COMMAND HUNTSVILLE AL ADVANCED TECHNOLOGY DIRECTORATE
Pagination or Media Count:
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.
- Computer Programming and Software