| 采用数据流图的故障模型生成算法及其应用 |
| |
| 引用本文： | 王胜文,张凤斌,郑纬民. 采用数据流图的故障模型生成算法及其应用[J]. 哈尔滨工业大学学报, 2009, 41(1): 118-121 |
| |
| 作者姓名： | 王胜文 张凤斌 郑纬民 |
| |
| 作者单位： | 清华大学计算机系,北京,100084;哈尔滨理工大学计算机学院,哈尔滨,150080 |
| |
| 基金项目： | 国防科工委预研基金，国家自然科学基金 |
| |
| 摘 要： | 为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.
|
| 关 键 词： | 数据流图 故障模型 故障注入 故障覆盖率 |
A generation algorithm and its application for fault model established with data flow graph |
| |
| WANG Sheng-wen,ZHANG Feng-bin,ZHENG Wei-min. A generation algorithm and its application for fault model established with data flow graph[J]. Journal of Harbin Institute of Technology, 2009, 41(1): 118-121 |
| |
| Authors: | WANG Sheng-wen ZHANG Feng-bin ZHENG Wei-min |
| |
| Affiliation: | 1(1.Dept.of Computer Science and Technology,Tsinghua University,Beijing 100084,China;2.Dept.of Computer Science and Technology,Harbin University of Science and Technology,Harbin 150080,China) |
| |
| Abstract: | To solve the problem that it is difficult to model the system-level fault injection experiment efficiently,this paper presents a novel method for fault model construction,which constructs the dynamic fault tree using the language level data flow graph.Through analyzing the data flow of fault process,the data dependence relations are found out,and a generation algorithm of the fault model is proposed.Compared with other algorithms,the algorithm presented in this paper processes the dynamic characteristic.Moreover,it can increase the fault coverage,reduce the system cost and make it easier to implement the fault injection experiment. |
| |
| Keywords: | data flow graph fault model fault injection fault coverage |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
