Validation using CASE tools

Author

Aull, J.E.

fYear

1992

fDate

4-8 May 1992

Firstpage

389

Lastpage

394

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;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218402

Filename

218402