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

被引：28

作者：

徐中伟

吴芳美

机构：

[1] 同济大学沪西校区信息与控制工程系

[2] 同济大学沪西校区信息与控制工程系上海

[3] 上海

来源：

同济大学学报(自然科学版) | 2001年 / 11期

关键词：

软件测试; 安全性; 故障树; 安全软件;

D O I：

暂无

中图分类号：

TP311.53 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

收藏

页码：1299 / 1302

页数：4

相关论文

共 2 条

[1]

A novel testing approach for safety-critical software. XU Zhong-wei,WU Fang-mei. Proc of 8th Asian Testing Symposium . 1999

[2]

From safety analysis to software requirements. Kirsten M Hansen,Anders P Ravn,Victoria Stavridou. IEEE Transactions on Software Engineering . 1998