An Approach to Program Testing
ACM Computing Surveys (CSUR)
Program development by stepwise refinement
Communications of the ACM
The Elements of Programming Style
The Elements of Programming Style
Reliability and Integrity of Large Computer Programs
GFK-GI-GMR Fachtagung Prozessrechner 1974
Structured programming
Design diversity: an approach to fault tolerance of design faults
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Hi-index | 0.00 |
In safety-oriented applications, the software has to fulfil certain stringent reliability requirements. In order to determine the reliability of the software, a variety of different methods can be used. The methods used for the reliability proof of a computerized reactor protection system are discussed in this paper. In addition to the constructive approach with structured programming, defensive programming and other guidelines also concerning the operating system, the analytical approach is taken. This includes the use of an automatic test system for statical and dynamical analysis of the software and automatic test data generation. Finally, a systemtest is conducted, where test data are produced according to the process and the results are compared with the results of a simulation model.