【摘 要】
：
为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空
【基金项目】
：
国家“八六三”高技术研究发展计划(2007AA01Z142)
论文部分内容阅读
为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地反映程序真实的失效情况.实现了故障注入方案生成器,并集成到自行开发的基于Intel PIN框架的动态软件故障注入工具软件中.为了验证所提出的故障注入机制的合理性和有效性,以TINY语言编译器、LZ77压缩程序、CRC32程序为例,分别通过测试和故障注入实验的方式收集了相应的失效数据,然后用Jelinski-Moranda模型计算得到了2组很接近的可靠性指标值.实验结果表明,基于故障注入的软件可靠性评估方法的有效性和合理性不亚于传统的基于测试的方法,故障注入方法更适用于较大规模程序的可靠性评估,采用指数分布的故障发生时间分布假设更能反映程序真实失效情况.
其他文献
近年,腾讯体育视频在网络体育视频领域异军突起,除拥有顶级篮球赛事版权外,还布局自制节目,生产原创、优质的篮球赛事内容,率先探索原生赛事IP产业布局的生态闭环圈路径。在N
我国小微企业对我国GDP总量的贡献约为30%,在国民经济中具有举足轻重的地位,但小微企业的个体在融资时普遍处于弱势地位,融资难问题与小微企业如影随形。本文主要分析小微企
经济学要不要重视人类的价值观？显然要重视，但现代经济学冷冰冰的理论分析毫无先哲们的情怀。在《国富论》中，亚当·斯密不仅论述了人类的逐利行为会带来“劳动生产力上的最大增
在市场竞争日益加大和新媒体技术发展迅猛的大背景下,新闻从业人员良莠不齐、行业生存艰难的现状衍生出以权钱交易、以权谋私为特征的"新闻寻租"的行业现象。本文以21世纪报
新年伊始，天山南北正沉浸在辞旧迎新的喜庆气氛之中，此时，哈密地委宣传部组织编发的《现代文化引领“文化哈密”建设三十谈》一书付梓出版，与读者见面了。可以说，《现代文化引领“
目的研讨如何对护理学本科学生进行毕业论文的异地指导,提高论文质量的措施。方法护理本科学生完成毕业论文的时间主要在其临床实习阶段,与指导老师进行当面交流的时间不多,
随着经济全球化的发展,我国社会主义市场经济体制的建立与逐步完善,城市和农村金融业务竞争不断加剧。南海农商银行,位于城市化程度较高、经济较为发达的珠三角地区,刚完成农
传统演示磁铁磁场分布的教学实验往往局限于二维平面,难以呈现磁场的实际空间分布。本文针对铁屑法演示实验加以探究改进,达到立体演示磁铁磁感线空间分布的效果,既体现了教
为了激发设计人员的创作灵感,帮助其快速创造出具有视觉冲击力的墙绘图案作品,将进化艺术和分形技术相结合,提出一种图案生成方法.采用层次结构化基因型表示摆线参数,使用进
政治干部是政治工作的主体力量,是政治工作的"代言人"。政治干部的威信既是政治干部的魅力所在,也是政治工作的威力所在。把政治工作威信牢固树立起来,首先要按照习主席指出