雷云 陈圣斌 丁杰

（中国直升机设计研究所，江西景德镇 333001）

0.引言

本文研究对象是应用领域有经验机构开发的重大软件和其所经受的试验以及其他演示/验证技术。该种软件不是因编制101程序太繁琐而引发编码差错造成失效或故障。硬件的发展在一定程度上降低了“有效编程”在使用处理步骤和内存时强调经济的要求。自动程序生成器、高级语言和先进的编译程序，实际上已经消除了编码差错。这样，防止软件故障就意味着关注需求阶段和设计阶段潜在的或可能的差错源。当软件遇到了未经试验的条件或者已经试验但并未确认失效的状态时，软件就会故障。因此，该文重要的一部分就是要认可以下两方面中的关键功能：它们干扰了提供基本服务；它们引起不安全状态。确认这些领域的模式是故障树分析、故障模式和影响分析。对于这两种分析，本文将以实例详细说明。

1.使用剖面

1.1 定义

（1）软件失效（software failure）— 软件失效（另一种称呼即称之为缺陷）即是软件有缺陷或差错（这可能是因错误编码、设计差错或需求和规范问题产生的），这种缺陷或差错有可能引起软件故障或内部缺陷。（2）使用（operation）— 使用定义为主要的逻辑工作，这种逻辑工作与其他工作或任务是很不相同的，一个主要的工作或任务通常与功能需求相关。（3）使用剖面（operation profile）— 一组完整的使用和它们发生的概率。（4）否认或拒绝。当考虑减少软件相关故障时，人们需对故障进行限止和按优先顺序处理。……