为保证和提高软件安全性水平,针对软件安全性与软件失效后果和发生可能性密切相关,提出一种有效的软件安全性测试方法.在JM模型中注入软件失效严重度参数,对软件失效后果严重度进行降级处理;根据软件失效对系统安全影响程度,推导了软件安全可靠度计算公式;以软件错误严重度和发生概率为核心,建立了软件风险计算公式,更直观地反映软件安全性能,其中所定义的含权软件缺陷严重度变化矩阵,直接反映软件安全改善力度.改进后的JM模型以降低软件风险为目的开展测试过程,更符合软件安全性特征,为软件安全性测试的工程实践提供了一种可行、可信的方法.%In order to ensure and enhance the level of software safety,according to close relation of effects and likelihood software failures to software safety,an effective method is propounded for software safety test. Being engaged in the JM model,severity of software failure will degrade through testing process. Based on degree of software failure affecting on system safety, the formula for calculating software safety reliability is deduced. Further,risk formula is built focusing on severity and probability of software error. It is more intuitive to respond the performance of software safety. Weighting severity changed matrices is defined to express the improvement directly. With the improved JM model software safety test is processed for the purpose of risk reducing, which is more fit to character of software safety. It provides a feasible and credible method for practice of software safety test.
展开▼
