The DOD COBOL compiler validation system

@inproceedings{Baird1972TheDC,
  title={The DOD COBOL compiler validation system},
  author={George N. Baird},
  booktitle={AFIPS '72 (Fall, part II)},
  year={1972}
}
  • George N. Baird
  • Published in AFIPS '72 (Fall, part II) 5 December 1972
  • Computer Science
The ability to benchmark or validate software to ensure that design specifications are satisfied is an extremely difficult task. Test data, generally designed by the creators of said software, is generally biased toward a specific goal and tend not to cover many of the possibilities of combinations and interactions. The philosophy of suggesting that "a programmer will never do . . ." or "this particular situation will never happen" is altogether absurd. First, "never" is an extremely long time… 
10 Citations
Information Technology Measurement and Testing Activities at NIST
TLDR
Key terms and concepts of IT metrology are explained, the history of the National Bureau of Standards/National Institute of Standards and Technology (NBS/NIST) in the field of IT is reviewed, and NIST’s current capabilities and work in measurement and testing for IT are reviewed.
Experiences in building and using compiler validation systems
  • P. Oliver
  • Computer Science
    1979 International Workshop on Managing Requirements Knowledge (MARK)
  • 1979
TLDR
The scope of this paper is limited in the following ways: the experiences described are not applicable to applications software; the validation systems discussed must be capable of functioning on a variety of dissimilar hardware and operating systems; the staff performing the validation is not involved in the development or the maintenance of the products being tested.
Checklist for computer system conversion
Why do you want to convert?When do you expect the new system to become productive?How long do you expect the new system to last?Do you expect to save money with the new system?Do you expect increased
Economic justification of an OSCL/OSRL
Because an OSCL/OSRL has many of the properties of programming languages, a discussion of the pros and cons of programming language standardization sets the stage for the statement of needs for a
An overview of the 1974 COBOL standard
Since 1 July 1972, all COBOL compilers brought into the Federal Government have to be identified as implementing one of the levels of the Federal COBOL Standard. The National Bureau of Standards,
COBOL '74: contributions to structured programming
TLDR
There is indeed evidence that rapid quantification of software quality is not really feasible, because simple formulas can often be misleading and hence not very credible.
A program for software quality control
The Automatic Data Processing Equipment Selection Office (ADPESO) of the Department of the Navy is engaged in a development program for software to be used in the quantification of computer systems
An experiment in the use of synthetic programs for system benchmarking
TLDR
The thrust of several ongoing "standard benchmark" efforts in the Department of Defense and other Federal Government agencies is to develop a measurement tool with these qualities.
Experiences in COBOL compiler validation
The Federal COBOL Compiler Testing Service (FCCTS) is an activity of the Software Development Division of the Department of the Navy, Automatic Data Processing Equipment Selection Office (ADPESO).