Validation using CASE tools

Abstract

Describes how computer assisted software engineering (CASE) tools were used in the process of validation of several reactor physics codes. ARCHY is a tool that automates most of the drudgery involved in making a programmer's reference manual. When FORTRAN source code is read by ARCHY, it outputs a data dictionary that includes a categorization of variables and common block information. It also prints structure charts and Yourdon diagrams in PostScript format. The author also describes how several off-the-shelf products were used in validating critical reactor analysis software. FORTRAN-Lint is a useful tool for correcting deviations from the FORTRAN-77 standard. DEC Test Manager and the IBM-MVS SuperCE utility are useful for regression testing. DEC's Performance and Coverage Analyzer is a powerful tool for assessing the completeness of a test suite.<>