收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

一种面向软件可靠性评估的故障注入机制的设计与实现

胡嘉伟  江建慧  
【摘要】:故障注入技术己被成功地运用在容错机制验证、可信性基准程序构建等方面。本文给出了一种面向软件可靠性评估的故障注入机制的设计与实现。在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布以及程序输入等因素,以更合理地反映程序真实的失效情况。为此,在基于Intel Pin框架的动态软件故障注入工具中设置了故障注入方案生成器。我们以TINY编译器、LZ77压缩程序、CRC32程序作为目标程序,分别通过测试和故障注入实验收集了相应的失效数据。针对每一个目标程序,经Jelinski-Moranda模型计算,得到了两组结果很接近的可靠性指标,从而用实例验证了所提出的面向软件可靠性评估的故障注入机制的合理性和有效性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈显锋,裘丽华,王占林;分布式系统故障注入研究[J];系统仿真学报;1999年06期
2 王铁江,郦萌;基于黑箱的自动软件测试工具的质量保障方法[J];同济大学学报(自然科学版);2002年10期
3 徐丽;;基于程序变异的故障注入及故障规则库的设计[J];中国科技信息;2010年22期
4 杨晋辉,毛翼飞;使用基于脚本的故障注入测试安全苛求软件[J];电脑开发与应用;2005年08期
5 徐珞;吴际;刘超;;一种模型驱动的协议测试故障注入引擎设计[J];计算机工程与应用;2007年16期
6 叶俊民;叶焰锋;雷志翔;贺鹏程;张红春;;构件中非法除故障的容错性检测方法研究[J];计算机应用研究;2008年05期
7 罗辉;李飞;;基于AVR双CPU的太阳模拟器及其故障注入系统[J];工业控制计算机;2007年01期
8 郑宏超;范隆;岳素格;刘立全;;基于库替换技术的单粒子效应故障注入仿真[J];微电子学与计算机;2009年07期
9 张建伟;叶东升;;嵌入式系统测试的发展[J];单片机与嵌入式系统应用;2011年02期
10 彭俊杰;黄庆成;洪炳熔;李瑞;袁成军;;一种用于星载系统可靠性评测的软件故障注入工具[J];宇航学报;2005年06期
11 屠海滢,吴芳美;面向软件黑箱测试的仿真环境嵌入故障研究[J];软件学报;1999年05期
12 石君友;李郑;骆明珠;陈帅;;故障注入控制软件的设计与实现[J];测控技术;2008年04期
13 王婷婷;经小川;王瑞;;基于故障注入的信息系统安全性缺陷验证技术研究[J];警察技术;2008年04期
14 李卷孺;谷大武;张媛媛;;一类SPN结构密码设备的故障注入攻击技术(英文)[J];北京交通大学学报;2010年05期
15 陆瑶;;软件注入故障的跟踪及其响应分析研究[J];信息与电脑(理论版);2011年01期
16 王维东;机载嵌入式软件的系统测试[J];航空计算技术;2004年04期
17 徐应诗;刘斌;阮镰;;基于故障注入的仿真测试方法过程框架[J];测控技术;2007年10期
18 刘海峰;;星载软件容错设计及验证技术[J];中国电子科学研究院学报;2009年03期
19 洪春霞;陈欣;郭鸿昌;;基于Linux的无人机故障注入软件研究[J];计算机测量与控制;2009年06期
20 王轶辰;徐萍;;嵌入式软件机内测试的设计与测试[J];计算机工程;2009年17期
中国重要会议论文全文数据库 前10条
1 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 刘伟娜;张翱;杨宏涛;张展;钱军;;消息驱动的故障注入自动化测试平台[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 贡岩;黄琳;;指挥自动化系统嵌入式软件可靠性评估[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
4 王勇;王婷婷;;基于故障注入的信息系统安全漏洞检测技术研究[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
5 孔霞;董剑;曲峰;杨孝宗;;面向容错服务器的软件故障注入工具的研制[A];第十届全国容错计算学术会议论文集[C];2003年
6 王珏;韦群;孟祥航;;程序变异在软件可靠性评估中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
7 靳昂;江建慧;;Java程序故障模式及故障注入方案[A];第五届中国测试学术会议论文集[C];2008年
8 宁云晖;侯海梅;范晓虹;;软件可靠性评估与测试方法研究[A];2009第十三届全国可靠性物理学术讨论会论文集[C];2009年
9 李霏霞;曾声奎;马纪明;田华东;;AMESim与Simulink联合仿真在舵机可靠性研究中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
10 赵则章;江建慧;刘洪涛;;操作系统健壮性测试方法的分析与比较[A];第四届中国测试学术会议论文集[C];2006年
中国博士学位论文全文数据库 前6条
1 潘庆和;软件故障注入关键技术研究[D];哈尔滨工业大学;2011年
2 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
3 韩炜;非相似容错计算机系统设计及其验证技术研究[D];西北工业大学;2002年
4 刘新忠;关联缺陷及其应用研究[D];吉林大学;2010年
5 曾凡平;软件漏洞测试若干问题研究[D];中国科学技术大学;2009年
6 卢旭;面向分布式关键任务系统的自愈调控技术研究[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库 前10条
1 柳卯;通讯故障注入测试系统的研究与实现[D];中山大学;2010年
2 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
3 庞东贺;基于STAF的分布式自动化可用性评测平台的设计与实现[D];哈尔滨工业大学;2011年
4 何焱;基于马尔可夫链的软件可靠性评估技术研究[D];解放军信息工程大学;2011年
5 张洋;铁路信号系统安全关键软件故障注入技术研究[D];北京交通大学;2011年
6 刘丹;面向软件的故障注入工具的研究与实现[D];哈尔滨工业大学;2008年
7 熊华根;基于COTS的安全关键软件故障注入技术研究[D];华中师范大学;2007年
8 何永彪;基于Linux下的无人机软件故障注入与分析系统研究[D];南京航空航天大学;2007年
9 杨扬;基于故障注入的CBTC系统测试的研究与实现[D];北京交通大学;2009年
10 朱鸿宇;通过源程序检查发现缓冲区溢出漏洞[D];解放军信息工程大学;2004年
中国重要报纸全文数据库 前3条
1 许培楠;军工专家研讨工程软件提高研发能力[N];中国航天报;2010年
2 安宁;信息系统脆弱性引发的风险须关注[N];中国城乡金融报;2010年
3 本报记者 于翔;甲骨文加快集成优化步伐[N];网络世界;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978