形式化故障树分析建模和软件安全性测试

摘要：

阐述了安全性需求的形式化故障树表示技术,给出了一种于形式化故障树最小割集的动态扩展安全性基测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.

关键词：软件测试、安全性、故障树、安全软件

所属期刊栏目：29

分类号：TP393.08(计算技术、计算机技术)

资助基金：铁道部科技发展基金2000X018

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1299-1302