摘要： 安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。

关键词: 安全苛求系统, 软件, 评价, 复杂度

Abstract: Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified in this paper, and the study on complexity parameter is made emphatically.

中图分类号: 

• TP311.56