故障树分析测试用例生成技术研究与应用

Research and application on FTA testing case generating technology

摘要:

文章对采用故障树分析技术造成系统失效的各种软件因素进行分析，确定造成系统失效的各种原因组合。通过构造软件系统故障树，生成故障树的最小割集，分析各个割集的安全性约束条件，由安全性约束条件分析测试数据，最后生成测试用例的算法。将故障树分析技术用于指导软件测试设计，体现了以系统工程方法研究软件测试的系统性、准确性和预测性。

Abstract:

This paper discusses Fault Tree Analysis(FTA) technology, uses FTA to analyze a variety of software elements causing software system failure, and constructs software system fault tree through determining all software failure combination of reasons. Then generates the minimum cut sets of fault tree，analyses the security constraint conditions of cut sets，and analyzes the testing data according to the security constraint conditions. Thereafter, the testing case algorithm is generated．Practice shows the fault tree analysis technique can be used to guide the design of software testing, reflecting the systematic, accuracy and predictability of systems engineering methods to study software testing.