高可信软件的防危性评估研究

在分析安全关键软件防危性测评的必要性基础上，提出了适合于评估关键软件防危性的评估指标，给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性，并详细讨论了其具体实施过程，其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。

Research on safety evaluation of high dependable software

On the basis of analyzing the necessity of safety testing and evaluation for safety critical software, the safety evaluation criteria fitted for testing and evaluating safety critical software are proposed and the relations between safety evaluation criteria and reliability evaluation criteria are presented. Followed this, the limitations of the four classical testing and evaluation approaches used to evaluate the software with high safety requirements are summarized. The feasibility of safety testing and evaluation based on the technology of importance sampling and stress testing is researched, and the concrete implement process about this approach is discussed in detail, during the course of doing this, the safety critical control system of the nuclear power plant is used in a practical example in order to exemplify the correctness of the proposed approach. Finally, the related work and future trends of the research in this field are listed.