【摘 要】
：
针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法：根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序
【机 构】
：
中国科学技术大学计算机科学与技术学院,中国科学院软件研究所计算机科学国家重点实验室,安徽省计算与通讯软件重点实验室
【基金项目】
：
国家自然科学基金项目(61003027)资助;国家科技重大专项(2012ZX01039004)资助;安徽省自然科学基金项目(11040606M131)资助
论文部分内容阅读
针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法：根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序异常进行分析,判断程序是否真的出错并找到程序错误来源.实验结果表明,该方法可以有效地发现程序执行过程中发生的非崩溃错误,对程序异常进行合理的分类,约简程序代码和不变量,并将程序错误来源定位到具体的汇编指令,从而帮助程序员快速方便地找到错误来源.
其他文献
权力需要是一种想去影响他人的潜意识驱动。有强烈权力需要的人经常认为自己应该反对或以不同于其他人的方式出现
Power needs are subconscious drives that want to influ
“良法是善治之前提”。坚持依法治国、依法行政共同推进，坚持法治国家、法治政府、法治社会一体建设，是实现良法善治的基础。法律的生命力在于实施，法律权威同样在于实施。文物
众所周知,婚姻是圣神而不可侵犯的,然而,现实往往是残酷的,并不是所有的情侣结婚之后都过上了像童话故事里所说的那样的幸福的生活,他们其中很多人在婚姻里耍起了阴谋诡计,开
美国联邦通讯委员会(FCC)已经授权了超宽带(UWB)技术在短距离无线通信中的使用,并开放3.1GHz10.6GHz的频段作为室内超宽带系统的标准频段免费作为民用,具有极高的商用价值,可用于物联网系统。而作为其重要组成部分的超宽带微波滤波器,对系统的性能具有关键性的影响。同时在其3.1GHz10.6GHz的通带内还存在一些其它窄带通信系统,它们与UWB通信系统间难免会产生相互干扰,所以能有效抑制通
小学语文课堂教学是一门艺术，它能产生一种迷人的力量，如果上课没有教学艺术，学生上课的兴趣就会很低；学生也会处于一种被动而僵化的状态。语文教学效果就会很差。对执教者来说，课
辽南地区汉代社会政治环境相对稳定，社会经济发展繁荣，以豪族为代表的社会形态较为先进，社会整体发展水平较高。凭借“并海道”的陆路交通和由“沓渚”等港口组成的海路交通，辽南
目的：建立木贼配方颗粒质量标准。方法：采用TLC法对木贼配方颗粒进行鉴别;采用HPLC法对木贼配方颗粒中的山奈素进行测定,并对木贼配方颗粒相关指标进行检查。结果：TLC方法中木贼
<正>随着农村经济社会的发展,人们对于生活污水的处理要求也越来越高。农村污水单个处理量小、日变化系数大、收集难度大,如果照搬城市的生活污水处理经验对当地财政是个较重
景区发展与其区位条件密切相关,处于优势区位的景区更容易获得优先快速发展。以“丝绸之路旅游带”为例,综合考虑资源、市场、交通及服务四大区位因子,将其视为证据,引入D-S
目的:观察自拟方滋阴复血汤治疗女性更年期高血压病肝肾阴虚证患者的临床疗效。方法:将97例患者随机分为治疗组和对照组,治疗组49例口服科素亚联合滋阴复血汤治疗;对照组48例