【摘 要】
：
为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自
【基金项目】
：
国家自然科学基金（61379054）资助
论文部分内容阅读
为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实
其他文献
为了研究简化轮数的SNAKE（2）算法抵抗碰撞攻击的能力,根据算法的一个等价结构,给出了SNAKE（2）算法的一个6轮区分器。通过在此区分器前后加适当的轮数,对7/8/9轮的SNAKE（2）算法实施
由于Windows操作系统的封闭性，其NTFS文件系统资料匮乏，其驱动程序核心技术无人问津，大大阻碍了研究工作的进行。但是通过对Windows内核进行逆向工程和调试跟踪，可以轻易发现其运
四川雅化实业集团股份有限公司（股票代码：002497）是专业提供民用爆存器材研发、生产及爆破服务的产业集团。集团现有资产25亿多元。2012年集团工业生产总值居全国民爆行业第二位
2015年春节来临之际，受新疆维吾尔自治区公安厅委托，新疆雪峰爆破工程有限公司销毁了沙湾县公安局和安监局收缴的非法黑火药、引火线以及成品烟花爆竹，为辖区人民度过一个祥和平
利用C80微热量热仪研究了分析纯硝酸铵、典型配方的乳化炸药基质以及含有高氯酸铵（AP）的乳化炸药基质的热分解过程。通过C80热流曲线所得出的结果,采用单一非等温曲线法,求出了
随着XML数据库技术研究的深入,关于XML查询优化的研究日益增多,但至今其仍是XML数据库的薄弱环节。从传统的查询估算模型中找出原子操作,在物理优化时通过分析估算操作,采用
为了实现多项式数据通路的高层次综合,采用有序的、简化的和正则的带权值广义表模型表达该多项式。提出了基于带权值广义表的优化方法,该方法以自顶向下的方式遍历带权值广义
高光谱技术在广大电磁波谱范围内实现了不同物质的分辨，早已在遥感领域大显身手，虽然国内亦有研究机构提出了各种利用该技术进行司法鉴定的方法，但其往往结构复杂，成本极高，实现困
根据电爆网路盲炮产生的原因，构建了盲炮事故树，通过对盲炮事故树结构重要度分析，求出了盲炮事故树的最小割集，并对各基本事件重要度进行了排序，从而找出了盲炮产生的主要原因。最
电子证据的证明能力是证明力的基础，证明力关涉电子证据的证明效果强弱，两者共同构成电子证据的认证规则。在当前司法实践中QQ电子证据作为证据使用并不是很普遍的情况下，从QQ证