Article

Free access

Programanalysis - A method for the verification of software for the control of a nuclear reactor

Authors:

W. Ehrenberger,

G. Rauch,

K. OkroyAuthors Info & Claims

ICSE '76: Proceedings of the 2nd international conference on Software engineering

Pages 611 - 616

Published: 13 October 1976 Publication History

PDF eReader

Abstract

The number of tests, which are necessary to prove the performance of a program, can be reduced to an executable number, if the structure of the program is investigated. The analysis starts from the memory dump. The program is first divided into those pieces, which are without labels or branchings. Then the mappings of the program and their input and output areas are identified, further those areas which influence branchings. The next step states, which ranges of values in the individual areas are distinguished by the program and which junctions of areas are relevant. From this, the kind and the number of the necessary tests can be derived. By means of observing their main variables loops are divided into simpler structures.

The method has been applied for the verification of the user programs of the protection system of the 800 MWE boiling water reactor plant in Brunsbüttel.

References

[1]

H. Schüller Self-checking features of a Process Computer Enlarged Halden Program Group Meeting Loen/Norway, May/June 1972

Google Scholar

[2]

C.V. Ramamoorthy, R.C. Cheung, K.H. Kim Reliability and Integrity of large Computer Programs Fachtagung Prozeßrechner 1974, Karlsruhe, Germany

Digital Library

Google Scholar

[3]

W. Ehrenberger, G. Rauch Analysis and Corresponding Test of the User Programs of a Reactor Protection Computer Enlarged Halden Programme Group Meeting, Sandefjord Norway 1974, HPR 188

Google Scholar

[4]

James C. King Proving Programs to be Correct IEEE Transactions on Computers No 11, 1971

Google Scholar

[5]

J.B. Goodenough, S.L. Gerhard Toward a Theory of Test Data Selection International Conference on Reliable Software IEEE Cat.No. CHO 940-7 CSR

Digital Library

Google Scholar

Index Terms

Programanalysis - A method for the verification of software for the control of a nuclear reactor

Recommendations

Fuzzy control for nuclear reactor operation -- strengths, weaknesses, opportunities and threats
Dedicated to the 60th birthday of Etienne E. Kerre

Assessment of four real fuzzy control applications at the MIT research reactor in the US, the FUGEN heavy water reactor in Japan, the BR1 research reactor in Belgium, and a TRIGA Mark III reactor in Mexico will be analyzed through an analysis of ...
Experience in Testing the Motif Interface

The testing and quality assurance of the Motif 1.0 graphical user-interface software are described. The testing goals, which fell into three general categories (code coverage, defect-density, and defect-arrival rate), and a deliverable formal test suite ...
Assessing Testing Tools in Research and Education

An evaluation of three software engineering tools based on their use in research and educational environments is presented. The three testing tools are Mothra, a mutation-testing tool, Asset, a dataflow testing tool, and ATAC, a dataflow testing tool. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '76: Proceedings of the 2nd international conference on Software engineering

October 1976

639 pages

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 13 October 1976

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
164
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)2

Reflects downloads up to 29 Sep 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Fuzzy control for nuclear reactor operation -- strengths, weaknesses, opportunities and threats

Experience in Testing the Motif Interface

Assessing Testing Tools in Research and Education