PODS—A project on diverse software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Software quality assurance activities in Japan
Japanese perspectives in software engineering
Operational Profiles in Software-Reliability Engineering
IEEE Software
Estimating the Number of Residual Defects
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Process Modelling to Support Dependability Arguments
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Hi-index | 0.00 |
One of the main problems with reliability testing and prediction is that the result is specific to a particular operational profile. This paper extends an earlier reliability theory for computing a worst case reliability bound. The extended theory derives a re-scaled reliability bound based on the change in execution rates of the code segments in the program. In some cases it is possible to derive a maximum failure rate bound that applies to any change in the profile. It also predicts that (in principle) a "fair" test profile can be derived where the reliability bounds are relatively insensitive to the operational profile. In addition the theory allows unit and module test coverage measures to be incorporated into an operational reliability bound prediction. The implications of the theory are discussed, and the theory is evaluated by applying it to two example programs with known faults.