Title :
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.<>
Keywords :
FORTRAN; fission reactor theory and design; nuclear engineering computing; physics computing; program verification; software tools; systems analysis; user manuals; ARCHY; CASE tools; DEC Test Manager; FORTRAN source code; FORTRAN-77 standard; FORTRAN-Lint; IBM-MVS SuperCE utility; Performance and Coverage Analyzer; PostScript format; Yourdon diagrams; common block information; computer assisted software engineering; critical reactor analysis software; data dictionary; language deviations; programmer´s reference manual; reactor physics codes; regression testing; structure charts; test suite completeness testing; validation; variables categorization; Automatic testing; Certification; Computer aided software engineering; Databases; Documentation; Inductors; Page description languages; Performance analysis; Physics computing; Rivers;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218402
