Quantification of V and V results for Software Faults Estimation in Bayesian Nets

Bayesian Nets (BNs) has been known as one of promising techniques in estimating reliability of safety-critical software. However there are some hard factors to consider in practical application of the BN. The most important one among them is quantification of qualitative data including experts' judgments for modeling. In this paper, we introduce a method which we used in the reliability assessment of the safety-critical software for a reactor protection system. Main quantification in a BN modeling occurs during the construction process of Node probability Tables (NPTs) in BNs. Some rules for the NPT construction are described, and examples of key NPTs are explained. Also a case study was carried out by using the proposed quantification method