首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

基于变异配置选择的编译器错误恢复故障检测方法与系统 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:南京航空航天大学

摘要:本发明公开了一种基于变异配置选择的编译器错误恢复故障检测方法与系统,方法包括步骤如下:1探索种子程序变异空间,确定所有的潜在变异点,并使用一系列变异算子组成变异配置在程序中构建错误敏感结构;2设计变异配置选择算法,通过对变异配置进行向量化和归一化,利用最远变异配置优先的选择策略选择代表性变异配置;3使用代表性变异配置对种子程序变异,从而构造错误敏感结构,并采用差分测试对不同编译器的错误恢复诊断进行解析和对齐,分析出不一致的错误恢复信息,从而检测编译器错误恢复故障。采用本发明设计的变异配置和选择策略可以构造多样化的错误敏感程序,从而检测出更多的编译器错误恢复故障,提高错误恢复故障检测效率。

主权项:1.一种基于变异配置选择的编译器错误恢复故障检测方法,其特征在于,包括如下步骤:1探索种子程序变异空间,确定所有的潜在变异点,并使用一系列变异算子组成变异配置在程序中构建错误敏感结构;如果某个变异配置能够引发编译器错误恢复缺陷,则将其视为历史已知有缺陷的变异配置;2通过计算候选变异配置与历史已知有缺陷的变异配置之间的加权距离对候选变异配置进行数值向量化和归一化,利用最远变异配置优先的选择策略选择代表性变异配置;所述最远变异配置优先的选择策略包括:利用距离向量进行聚类得到最远簇和最近簇,优先从最远簇中选择变异配置,并综合考虑候选变异配置到所有簇中心的变异配置和已选择的变异配置之间的距离为每个候选变异配置计算优先级分数,优先选择排序在列表中顶部的候选变异配置;3使用代表性变异配置对种子程序变异,构造错误敏感结构,并采用差分测试对不同编译器的错误恢复诊断进行解析和对齐,分析出不一致的错误恢复信息,从而检测编译器错误恢复故障。

全文数据:

权利要求:

百度查询: 南京航空航天大学 基于变异配置选择的编译器错误恢复故障检测方法与系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。