Experiences in building and using compiler validation systems
- 1 June 1979
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1051-1058
- https://doi.org/10.1109/mark.1979.8817184
Abstract
For purposes of this discussion, the term "software validation" refers to the process of testing a completed software product in its operational environment. The scope of this paper is further 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; and the result of a validation could impact the eligibility of the product for procurement. This environment imposes unusual and stringent requirements on the portability of the validation systems and the auditability of the validation.Keywords
This publication has 5 references indexed in Scilit:
- Automated Compiler Test Case Generation.Published by Defense Technical Information Center (DTIC) ,1978
- An Analysis of Some Commercial PL/I ProgramsIEEE Transactions on Software Engineering, 1976
- Experiences in COBOL compiler validationPublished by Association for Computing Machinery (ACM) ,1974
- A program for software quality controlPublished by Association for Computing Machinery (ACM) ,1974
- The DOD COBOL compiler validation systemPublished by Association for Computing Machinery (ACM) ,1972