定量评估核电厂安全级DCS系统应用软件缺陷价值的方法

摘要

本发明公开一种定量评估核电厂安全级DCS系统应用软件缺陷价值的方法，1、根据使用的系统分析缺陷X，得到缺陷X所在功能的使用频率F和冗余功能个数r以及每个冗余功能的失效率P(i)；2、通过对故障逻辑的识别，利用实际使用软件的结构得到逻辑分支概率PL；3、利用(1)得到此缺陷X导致后果故障的概率P(X)；4、将(1)代入W＝P(X)*E(2)得到此缺陷X的价值W。本发明为直接衡量核电站安全级DCS应用软件V&V人员或软件测试人员对项目的贡献度及设计人员的设计质量等提供一个重要参考。

主权项

定量评估核电厂安全级DCS系统应用软件缺陷价值的方法，其特征在于，设所分析的缺陷为X，分析步骤如下：步骤1、根据使用的系统分析缺陷X，得到缺陷X所在功能的使用频率F和冗余功能个数r以及每个冗余功能的失效率P(i)；步骤2、通过对故障逻辑的识别，利用实际使用软件的结构得到逻辑分支概率PL；步骤3、逻辑分支概率PL的分析过程如下：步骤31、找出软件中缺陷所处的位置；步骤32、查找缺陷的输入源，并确认输入源的个数以及概率；步骤33、将软件中正常逻辑所输出的值与故障逻辑所输出的值进行逻辑运算，从而得到缺陷X产生错误输出的概率；利用$P\left(X\right)=F*\mathrm{PL}*{\Pi }_{i=1}^{r}P\left(i\right)---\left(1\right)$得到此缺陷X导致后果故障的概率P(X)；步骤4、将(1)代入W＝P(X)*E    (2)得到此缺陷X的价值W；其中E表示缺陷导致的严重程度。