Program Testing Techniques for Nuclear Reactor Protection Systems

1 August 1979

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 12 (8) , 10-18
https://doi.org/10.1109/MC.1979.1658847

Abstract

The high-reliability software required for nuclear reactor protection systems cannot be validated by a single method. This approach combines several different but complementary techniques.

Keywords

This publication has 7 references indexed in Scilit:

Special Feature Program Testing: Art Meets Theory*
Computer, 1977
Eine Prüfstrategie für sicherheitsrelevante Prozeßrechner-Software
Published by Springer Nature ,1977
Optimal placement of software monitors aiding systematic testing
IEEE Transactions on Software Engineering, 1975
Toward a theory of test data selection
Published by Association for Computing Machinery (ACM) ,1975
Reliability and integrity of large computer programs
Lecture Notes in Computer Science, 1974
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys, 1972
A technique for software module specification with examples
Communications of the ACM, 1972