【摘 要】
：
有效地检测、定位和屏蔽软件错误可以提高程序的容错能力,从而提升程序的可靠性.为缩短程序中错误传播路径,尽早发现程序错误,提出一种程序首错误特征的分析方法.提出一种细
【机 构】
：
广西财经学院,南宁,530003广西财经学院,南宁 530003;上海交通大学 电子信息与电气工程学院,上海 200240;
论文部分内容阅读
有效地检测、定位和屏蔽软件错误可以提高程序的容错能力,从而提升程序的可靠性.为缩短程序中错误传播路径,尽早发现程序错误,提出一种程序首错误特征的分析方法.提出一种细粒度基本块的程序状态提取方法(FGBB),以充分反映程序的控制流特征及运行时中间计算特征;提出一种获取并量化首错误特征的方法;以MiBench基准程序为研究对象,采用故障注入的方法,获取了大量与首错误相关的统计数据.实验表明,程序的首错误特征与程序固有的功能特征和结构特征有关,并且由首错误引发的程序失效概率普遍偏高,这意味着针对程序首错误的正确检测和修复可以有效提高程序的容错能力.
其他文献
在对隐瞒事故、迟报、谎报原因进行调查分析时,发现许多企业的负责人、安全管理人员还不知国家对事故统计有专门的规定,也不知道哪个部门负责事故统计工作,对事故统计制度的
去年,曹鹏在天津市宝坻区养殖110亩地挣了100多万,7月末找他的时候,对虾的规格都在20—30头左右,他表示如果能够继续按照他的模式养虾,到中秋节前后再出,规格能在达到10头/斤
在如今以服务为导向的各种信息系统中,跨域访问已经变得越来越普及,现存的一些跨域访问模型要么不实用,要么不适合Web Service。通过提出一种易于扩展的轻量级跨域访问控制框架实现RESTful Web服务构架的跨域访问控制和代理,达到了跨域访问交互双方无需预定义信任关系,该框架还结合已有的Web安全技术实现扩展安全策略执行,并以微小系统开销实现跨域交互的隐私保护。最后实现了一个原型演示系统证实了
醉蟹为江苏兴化市的传统名产,历史悠久。因最早制作此蟹的童氏家族居住在中庄,故人称“中庄醉蟹”。这种醉蟹的烹饪技巧以腌菜为主,色如鲜蟹,放在盘中,栩栩如生。其肉质细嫩,
介绍了泰安市在消防基础建设中大量采用现代消防产品和所取得的丰硕成果 ,概括了他们的基本经验和做法 ,并由此得出在知识经济时代 ,只有科技才能为消防腾飞插上翅膀的结论
通过介绍了无缝式桥梁伸缩缝在国内外的应用状况,进一步分析了该类伸缩缝近年来在材料和结构方面取得的研究进展,并提出了未来无缝伸缩缝的研究方向,从而推进无缝式桥梁伸缩
系统报道了48年来我国几个主要单位开展家养马鹿(♀)与梅花鹿(♂)杂交,即马.花杂交试验研究工作及其马·花杂交F1 54只290副茸的鲜茸产量和2只创记录者各锯龄的锯茸规格茸型
介绍了Vindows NT4.0环境下如何为数据采集卡编写内核模式的设备驱动程序.详述了NT下设备驱动程序的组成、设计模式及调试环境.
简述拉普普特的环境行为研究学,对环境蕴涵意义的挖掘,环境意义对于规划设计的积极作用以及对拉普普特研究方法的简单评述.
通化市东昌区把农业绿色发展摆在生态文明建设的突出位置,紧紧围绕“产业兴旺、生态宜居、乡风文明、治理有效、生活富裕”的总目标,坚持“绿色、生态、高效、规范”,稳步推