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

• 作者: 吴芳美 徐中伟
• 来源期刊: 同济大学学报(自然科学版)
• 学科: 工学
• 关键词: 软件测试 安全性 故障树 安全软件
• 年，卷（期）: 2001,（11）
• 页码范围: 1299-1302
• 页数: 4页
• 分类号: TP393.08
• 字数: 4380字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-374X.2001.11.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学沪西校区信息与控制工程系	95	644	13.0	20.0
2	吴芳美	同济大学沪西校区信息与控制工程系	32	431	12.0	20.0