| 形式化故障树分析建模和软件安全性测试 |
| |
| 引用本文： | 徐中伟,吴芳美.形式化故障树分析建模和软件安全性测试[J].同济大学学报(自然科学版),2001,29(11):1299-1302. |
| |
| 作者姓名： | 徐中伟 吴芳美 |
| |
| 作者单位： | 同济大学沪西校区信息与控制工程系, |
| |
| 基金项目： | 铁道部科技发展计划资助项目(2000X018) |
| |
| 摘 要： | 阐述了安全性需求的形式化故障树表示技术，给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构，并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论。
|
| 关 键 词： | 软件测试 形式化故障树 安全软件 软件工程 动态扩展安全性测试 自动生成算法 |
| 文章编号： | 0253-374X(2001)11-1299-04 |
| 修稿时间： | 2001年4月13日 |
Formal Fault Tree Analysis Modeling and Software Safety Testing |
| |
| XU Zhong-wei,WU Fang-mei.Formal Fault Tree Analysis Modeling and Software Safety Testing[J].Journal of Tongji University(Natural Science),2001,29(11):1299-1302. |
| |
| Authors: | XU Zhong-wei WU Fang-mei |
| |
| Abstract: | A set of formal fault tree denotations for safety requirement is introduced.The structure of dynamically extensible safety test cases based on minimum cut sets of formalized fault trees is presented.And their automatic generation arithmetic which can meet the safety requirement coverage criterion is thoroughly discussed. |
| |
| Keywords: | software testing safety fault tree analysis safety-critical software |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
