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) 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… CONTINUE READING
    10 Citations
    Information Technology Measurement and Testing Activities at NIST
    • 7
    • PDF
    Experiences in building and using compiler validation systems
    • P. Oliver
    • Computer Science
    • 1979 International Workshop on Managing Requirements Knowledge (MARK)
    • 1979
    • 8
    • PDF
    Cobol For Minicomputers - Hypo-cobol
    Checklist for computer system conversion
    Economic justification of an OSCL/OSRL
    • 5
    COBOL '74: contributions to structured programming
    • 2
    • PDF
    A program for software quality control
    • 4
    • PDF
    Experiences in COBOL compiler validation
    • 2
    • PDF