利用软件故障注入提高软件测试覆盖率 被引量：7

1

作者 温东新 刘宏伟 +1 位作者 杨孝宗 董剑 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1253-1256,共4页

软件测试过程是软件生命周期中提高软件质量的重要阶段 ,但无论结构测试还是接收测试 (AT) ,都很难测试程序的所有分枝 .对于容错软件的异常处理和故障恢复代码的测试尤其困难 ,使得这些代码中可能包含软件故障 ,反而成为软件质量的隐... 软件测试过程是软件生命周期中提高软件质量的重要阶段 ,但无论结构测试还是接收测试 (AT) ,都很难测试程序的所有分枝 .对于容错软件的异常处理和故障恢复代码的测试尤其困难 ,使得这些代码中可能包含软件故障 ,反而成为软件质量的隐患 .为此采用程序变异的方法对被测软件进行故障注入 ,用强制的方法执行被测分支 ,从而提高软件的测试覆盖率 . 展开更多

关键词 覆盖率 软件故障注入 程序变异 软件测试 分枝覆盖 错误恢复 软件生命周期

在线阅读 下载PDF 职称材料

分布式实时系统的软件故障注入 被引量：3

2

作者 徐光侠 陈蜀宇 +2 位作者 常光辉 刘宴兵 刘国良 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第2期62-68,共7页

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统... 针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。 展开更多

关键词 分布实时系统 系统可信验证平台 软件故障注入 故障模型

在线阅读 下载PDF 职称材料

运行时软件故障注入器的设计与实现 被引量：4

3

作者 叶俊民 熊华根 +1 位作者 董威 齐治昌 《计算机工程》 CAS CSCD 北大核心 2008年第24期4-6,共3页

针对实际故障诊断中难以有效获得故障现场信息的问题,提出通过在软件运行时注入故障的方式获取故障现场信息,设计并实现一种运行时软件故障注入器,给出其中的故障脚本描述语言、故障库和故障注入器算法。实验结果表明,该注入器能有效实... 针对实际故障诊断中难以有效获得故障现场信息的问题,提出通过在软件运行时注入故障的方式获取故障现场信息,设计并实现一种运行时软件故障注入器,给出其中的故障脚本描述语言、故障库和故障注入器算法。实验结果表明,该注入器能有效实现故障注入,获取故障现场信息。 展开更多

关键词 故障诊断 故障注入 软件故障注入器

在线阅读 下载PDF 职称材料

基于软件故障注入的容错性能评测技术 被引量：7

4

作者 谭玲 曲峰 +1 位作者 董剑 杨孝宗 《计算机工程与科学》 CSCD 2005年第11期90-92,共3页

软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows 2000系统的双机网络容错系... 软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows 2000系统的双机网络容错系统评测方法。 展开更多

关键词 容错 软件故障注入 评测

在线阅读 下载PDF 职称材料

软件实现的无人机故障注入系统 被引量：1

5

作者 蒋支运 陈欣 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2006年第11期1993-1995,共3页

结合无人机的特点提出了一种基于软件的无人机故障注入系统实现方案,利用故障注入技术实时地模拟无人机机载设备的故障,演示机载设备在寿命试验中的快速失效过程;并构造了一个实用的故障注入工具UAVFI-01,考察无人机故障检测、隔离及系... 结合无人机的特点提出了一种基于软件的无人机故障注入系统实现方案,利用故障注入技术实时地模拟无人机机载设备的故障,演示机载设备在寿命试验中的快速失效过程;并构造了一个实用的故障注入工具UAVFI-01,考察无人机故障检测、隔离及系统重构的能力,测试其可靠性.在无人机动态测试过程中,故障注入试验结果表明了这种方案的正确性和可行性. 展开更多

关键词 可靠性 软件故障注入 故障模型 无人机

在线阅读 下载PDF 职称材料

Linux上软件实现的瞬时故障注入方案及实现 被引量：8

6

作者 江建慧 梁剑华 +1 位作者 靳昂 胡瑾 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第6期823-827,共5页

针对基于Linux的计算机系统,提出了一种软件实现的瞬时故障注入方案.它通过Linux的ptrace()调用,实现故障注入,工作负载选用八皇后算法和Mibench,实验结果验证了所提出的瞬时故障注入方案的有效性.同时也表明,在基于Intel X 86或Pentiu... 针对基于Linux的计算机系统,提出了一种软件实现的瞬时故障注入方案.它通过Linux的ptrace()调用,实现故障注入,工作负载选用八皇后算法和Mibench,实验结果验证了所提出的瞬时故障注入方案的有效性.同时也表明,在基于Intel X 86或Pentium的系统设计中,应该对微处理机中EIP,EBP,ESP这三个寄存器予以很好的保护. 展开更多

关键词 LINUX软件 可信性评估 系统验证 故障注入 软件实现的故障注入

在线阅读 下载PDF 职称材料

用软件中断实现的Linux内核故障注入方法 被引量：3

7

作者 郭庆伟 杨麦顺 +1 位作者 张影 张兴军 《计算机应用》 CSCD 北大核心 2014年第A02期200-203,共4页

针对容错操作系统的可靠性评测问题,提出一种向Linux内核注入"单个位"故障的方法。基于x86体系结构中的软件中断机制,首先利用可加载内核模块机制在时钟中断中设置一个探测点,然后将用户态的故障数据传输到内核空间,最后利用... 针对容错操作系统的可靠性评测问题,提出一种向Linux内核注入"单个位"故障的方法。基于x86体系结构中的软件中断机制,首先利用可加载内核模块机制在时钟中断中设置一个探测点,然后将用户态的故障数据传输到内核空间,最后利用一种C/S结构的故障注入模型,分别向Linux内核的arch、fs、kernel和mm四个子系统注入故障(瞬时型、间歇型和永久型)6 700余次。实验结果表明,与arch和fs子系统相比,kernel和mm子系统对故障的敏感度较高,平均检测故障覆盖率达到38.23%;与数据段相比,内核代码段对故障的敏感度较高,平均检测故障覆盖率达到73.49%,该方法提高了容错型操作系统可靠性评测的速度和准确度。 展开更多

关键词 可靠性评测 软件中断 软件实现的故障注入 LINUX内核

在线阅读 下载PDF 职称材料

软件故障优化注入方案研究与分析 被引量：7

8

作者 潘庆和 洪炳熔 《计算机研究与发展》 EI CSCD 北大核心 2011年第3期528-534,共7页

主要研究了基于空间注入技术的软件故障注入(software-implemented fault injection,SWIFI)实验与分析中存在的问题.提出了并设计了2种基于空间注入技术的注入方式:等待方式与冲击方式,分别设计了2种方式的注入算法,并利用它们分别进行... 主要研究了基于空间注入技术的软件故障注入(software-implemented fault injection,SWIFI)实验与分析中存在的问题.提出了并设计了2种基于空间注入技术的注入方式:等待方式与冲击方式,分别设计了2种方式的注入算法,并利用它们分别进行了故障注入实验,通过实验着重分析了注入地址不同的空间分布对实验产生的影响.详细讨论并分析了基于不同空间地址概率分布的故障注入实验问题,根据实验结果得出并证明结论,针对空间注入技术实施的2种注入算法在执行软件故障注入实验时总存在一种相对较优的注入方案. 展开更多

关键词 单粒子效应 软件故障注入 概率分布 注入空间 失效率

在线阅读 下载PDF 职称材料

某型无人直升机飞行传感器故障模拟与容错技术研究 被引量：2

9

作者 邱宏峰 谢勇 +1 位作者 陈照海 刘小芳 《机电工程》 CAS 2010年第8期64-68,80,共6页

针对某型无人直升机半实物仿真系统中传感器故障模拟与容错技术问题,设计了无人直升机飞行传感器模拟系统来模拟大气数据计算机、无线电高度表、GPS机载传感器等信号,对无人直升机的高度、升降速率和速度进行了故障仿真、替代容错处理... 针对某型无人直升机半实物仿真系统中传感器故障模拟与容错技术问题,设计了无人直升机飞行传感器模拟系统来模拟大气数据计算机、无线电高度表、GPS机载传感器等信号,对无人直升机的高度、升降速率和速度进行了故障仿真、替代容错处理及模态容错处理,提出了软件故障注入方法并实现了传感器模拟信号的注入,采用VC6.0设计了以上3种传感器的故障注入程序,实现了对无人直升机传感器故障容错设计的验证。研究结果表明,采用该设计验证方式能准确验证无人直升机传感器故障容错的有效性。 展开更多

关键词 无人直升机 故障模拟和容错 软件故障注入 替代容错 模态容错

在线阅读 下载PDF 职称材料

面向继电保护装置的嵌入式软件安全性检测技术 被引量：8

10

作者 丁伟 蒙家晓 +1 位作者 戴涛 陈华军 《电信科学》 2018年第4期182-187,共6页

继电保护装置作为电网安全的第一道防线,其正确动作能够最大限度地降低系统或设备故障对电力系统安全的影响。在对继电保护装置检验规程以及电力行业企业标准研究的基础上,从功能检测、性能检测以及故障注入检测等方面对继电保护嵌入式... 继电保护装置作为电网安全的第一道防线,其正确动作能够最大限度地降低系统或设备故障对电力系统安全的影响。在对继电保护装置检验规程以及电力行业企业标准研究的基础上,从功能检测、性能检测以及故障注入检测等方面对继电保护嵌入式软件检测内容和技术进行研究,以保证继电保护嵌入式软件检测的完整性和正确性。 展开更多

关键词 继电保护装置 功能测试 性能测试 软件故障注入

在线阅读 下载PDF 职称材料

一种快速测试Java异常处理机制的方法 被引量：1

11

作者 姜淑娟 闫大顺 《小型微型计算机系统》 CSCD 北大核心 2005年第10期1854-1857,共4页

异常处理机制能增强程序运行的可靠性,提高软件的健壮性,但异常处理代码本身可能存在错误．由于它的特殊性,采 用与测试普通代码同样的方法对其进行测试,通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故 障注... 异常处理机制能增强程序运行的可靠性,提高软件的健壮性,但异常处理代码本身可能存在错误．由于它的特殊性,采 用与测试普通代码同样的方法对其进行测试,通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故 障注入技术的基础上,提出了将Java异常处理机制的特殊结构同断言违背策略、程序变异技术相结合,可以有效地测试异常处 理代码,并设计工具来支持这种故障注入方法． 展开更多

关键词 异常处理 软件故障注入 软件测试 程序变异

在线阅读 下载PDF 职称材料