The air force computer program acquisition concept
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Configuration management of computer programs by the Air Force: principles and documentation
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
The technical specification: key to management control of computer programming
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
The air force computer program acquisition concept
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Configuration management of computer programs by the Air Force: principles and documentation
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
The technical specification: key to management control of computer programming
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Measurement of computer systems: an introduction
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
| Hi-index | 0.00 |
While much has been written about the design and development of large scale computer-based systems, little has been published about the testing of these systems and in particular about the testing of computer programs within the context of a system. Similarly, while extensive techniques for design control of system hardware have been developed by the Air Force over the past five years, technical control and design verification procedures for computer programs have not been aggressively investigated. An Air Force project was established at the Electronic Systems Division (AF Systems Command) to rectify this situation. Concepts resulting from this investigation are presented and current procedures to insure design integrity of computer programs by technical reviews of the designer's efforts and by tests during program development are summarized.