【摘 要】
：
由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一.控制流错误作为软错误的一种主要表现形式,约占软错误总量的33％ ～ 77％.本文提出了一种在源代码级实现控制
【机 构】
：
国防科学技术大学计算机学院,湖南省长沙市,410073
论文部分内容阅读
由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一.控制流错误作为软错误的一种主要表现形式,约占软错误总量的33％ ～ 77％.本文提出了一种在源代码级实现控制流错误检测的方法SLCEDM,该方法针对高级语言程序以函数作为基本功能单元的特点,通过函数标签分析策略解决了函数间控制流容错的难点问题.并且,由于基本块的划分及标签分配以函数为界,可以根据函数内控制流的结构选用最适合的标签更新和检测手段,增强了可配置性,具有开销小、检错率高、易于实现等优势.
其他文献
疟原虫乳酸脱氢酶是疟原虫糖分解途径的关键酶,由无性期和有性期虫体产生.感染人类的4种疟原虫有不同的乳酸脱氢酶异构体,使其具有种属特异性,已成为新一代疟疾快速诊断方法
目的 了解我院麻醉药品使用情况,进一步加强麻醉药品安全管理,使用好麻醉药品.方法 统计我院2002年至2006年麻醉药品药库出库数据并进行分析,采用有效管理对策进行麻醉药品管
目的 探讨玻璃体切割联合玻璃体腔注药治疗外伤性眼内炎的临床疗效.方法 回顾性分析22例(22眼)外伤性眼内炎患者的临床资料.结果 4眼单纯药物治疗,18眼行玻璃体切割联合玻璃
在信息技术及计算机日益普及的今天,利用OCR(光学字符识别)技术将图片类型的文字材料方便、快捷地输入到计算机中并转化为文字已经广泛应用于各行各业,但随着文件数量的急剧
目的 探讨在体外培养条件下不同浓度姜黄素干预对内脏脂肪组织与腹部皮下脂肪组织脂联素(APN)分泌的影响.方法 用体外组织培养法培养手术中离体脂肪组织(n=84),分别予低浓度
目的:分析1947年至1966年和2004年至2007年两个不同历史时期麻痹性痴呆(GPI)患者的临床差异.方法:回顾性调查1947年6月至2007年6月GPI住院患者临床情况.病例分旧患者组(1947
本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对
现代化舰船对电磁兼容(EMC)性技术提出新的需求,EMC技术在舰船领域所处的地位越来越重要.新技术、新装备的发展对舰船EMC技术提出了新的和更高的要求和需求.这促使舰船EMC技
OpenFlow提供了一种新型的将控制与转发分离的架构,OpenFlow交换机的流表负责转发功能,外部的OpenFlow控制器提供网络的控制和管理,从而实现了数据转发和路由控制的分离.控制
随着移动互联网的发展,移动终端的多网络接入已成趋势,而有效的垂直切换是保证移动终端通信服务质量的关键,通过分析对比现有异构网络垂直切换算法的优缺点以及公交车载的现