Cobol Automated Verification System: Study Phase.

reportActive / Technical Report | Accession Number: ADA098755 | Open PDF

Abstract:

The COBOL language, and automated software testing tools, have been studied in order to design an Automated Verification System for COBOL. The proposed functions and design of the system are summarized in this report. Details of the system are presented in the CAVS Functional Description and CAVS SystemSubsystem Specification. To provide a perspective for the capabilities of the proposed system, this report contains a critique of the COBOL language, a description of methods of software testing, and a characterization of errors in COBOL. Considerations for future capabilities of the system are also outlined. Author

Author(s):
Melton, Richard ; Greenburg, Gary ; Sharp, Michael
Author Organization(s):
GENERAL RESEARCH CORP SANTA BARBARA CA
Descriptive Note:
Final technical rept. Mar-Sep 80,
Supplementary Note:
DOI: 10.21236/ADA098755
Pagination:
0083

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
RADC-TR-81-11
Contract/Grant Number(s):
F30602-80-C-0101
Task Number(s):
02
Project Number(s):
2531
Monitor Series:
TR-81-11
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_8_Building Partnerships; JCA_8.2_Shape; JCA_5.3_Planning; JCA_4.6_Engineering; JCA_4.6.1_General Engineering; JCA_5.4_Decide; JCA_5.4.5_Intuit; JCA_8.2.2_Provide Aid to Foreign Partners and Institutions; JCA_8.2.1_Partner with Governments and Institutions; JCA_8.1_Communicate; JCA_8.1.3_Influence Adversary and Competitor Audiences; JCA_5.5_Direct; JCA_5.5.1_Communicate Intent and Guidance; JCA_1_Force Support; JCA_1.2_Force Preparation; JCA_4.3_Maintain; JCA_6_Net Centric; JCA_6.4.1_Secure Information Exchange; JCA_6.1.3_Switching and Routing; JCA_1.3_Human Capital Management
Modernization Areas:
Fully Networked C3
Communities of Interest:
C4I
Descriptor(s):
*COMPUTER PROGRAMMING, *COMPUTER PROGRAM VERIFICATION, *HIGH LEVEL LANGUAGES, COMPUTER PROGRAM DOCUMENTATION, AUTOMATION, SPECIFICATIONS, STATE OF THE ART, QUALITY CONTROL, USER NEEDS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
COBOL programming language, Software maintenance, CAVS Computer program, CAVS(Cobol Automated Verification System), PE63728F, WURADC25310205
Report Date:
1981 Mar 01