用软件实现的故障注入工具评估错误检测机制

故障注入是容错计算机系统可靠性评估的重要手段 .本文介绍了软件实现的故障注入工具 SOBFI的设计和实现 .用 SOBFI对 RS6 0 0 0工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估 .结果表明 ,在非容错商用计算机系统中加入简单的软件实现的错误检测机制 ,也可以达到很高的错误检测覆盖率 .

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.

基于VHDL的故障注入工具的研究

基于VHDL的故障注入技术是一种验证系统可信性的有效方法,构造基于VHDL的故障注入工具是故障注入研究的一个重要组成部分。对基于VHDL的故障注入技术进行了研究,详细描述了该故障注入工具的结构和主要模块功能,并进行故障注入实验,分析和计算故障的激活率、探测率、恢复率。故障注入工具可用于对中等复杂度的VHDL模型进行故障注入,对容错系统的容错机制进行分析和验证。

非侵入式故障注入技术研究与实现

可靠性验证过程需要模拟一些较为苛刻的测试场景,如出现网络带宽受限、内存过载、文件拒绝访问等故障类型,而传统方法常常会对系统资源或被测软件造成破坏或影响。在Windows环境下利用Detours的截获机制研究了三种非侵入式故障注入技术,对常见的资源故障进行模拟。然后,设计开发了一款故障注入工具,能够快速自动地在软件测试或可靠性验证中实施故障注入试验,最后,通过试验验证了软件实现的正确性和功能的适用性。