Title :
Program Testing Techniques for Nuclear Reactor Protection Systems
Author :
Geiger, Werner ; Gmeiner, Lothar ; Trauboth, Heinz ; Voges, Udo
Author_Institution :
Kernforschungszentrum Karlsruhe GmbH
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 :
Application software; Computer applications; Electrical safety; Nuclear power generation; Safety; Software systems; Software testing; System testing;
DOI :
10.1109/MC.1979.1658847
