Abstract
Plant protection software may be realistically tested using inputs from a plant model before its initial use, or when it is not feasible to take the plant into certain fault conditions. If statistical estimation of software reliability is to be performed using the test results, it is not sufficient for the plant model to produce inputs which are simply correct in the sense that the plant could have produced them. In addition, the operational distribution of the input space must be simulated. The paper illustrates how to perform such a simulation, by developing an example in which an existing non-random plant model is randomised to simulate the operational distribution of the software. In addition, two methods of estimating the probability of failure on demand (pfd) for a program are reported. Both methods estimate a pfd given results from dynamic testing, during which the program is exercised according to its operational distribution. The first method is standard and has been used previously in the context of software testing. The second estimation method has been developed recently within a program of Nuclear Electric research into software reliability testing. The distinguishing foundational assumptions of the two methods are discussed.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
