段明璐

（华北计算技术研究所 软件测评中心，北京 100083）

0 引言

科技在发展，软件已经渐渐随着信息化的普及而与我们的生活密不可分，然而，它的生产过程又和其他产品有很大不同。不管是国家级的软件项目还是个人开发的共享软件，都或多或少地存在各种各样的缺陷，我们不可能对所有缺陷都进行关注和修复，但有的缺陷带来的恶劣后果是大到我们无法接受的，甚至会造成诸如人员伤亡、财产损失的重大事故，比如 1996年欧洲的 Ariane火箭，由于程序溢出引起了爆炸，又如90年代美国Therac25型放射治疗仪软件，由于设计缺陷导致了群体死亡事件的发生，我们必须想办法尽量避免此类问题的产生[1]。

很多软件公司试图在软件交付用户之前找到所有的缺陷进行修复，但这是不现实的，因为这依赖于成本、进度、资源等诸多因素。因此开发者应该对缺陷进行分析，依据分析结果来确定可能导致严重问题的因素和模块，这样就可以有针对性的调整准则规范、测试范围和测试程度，以此来杜绝同类缺陷的再次发生，在成本进度与质量之间找寻一个相对合理的平衡点，由此判断何时软件可以相对成熟的交付给用户使用[2]。

本文的主要目的是依据笔者经历过的大型项目中出现过的典型重要缺陷类别，结合故障树建模方式构建一个基于贝叶斯算法的典型软件故障树算法分析模型，在缺陷数据的基础上，探索出适合大型软件测试使用的、质量要求高的、基于贝叶斯网络的软件故障树建模及分析方法。……