应用过程间分析技术的并行错误模式匹配方法

来源 :西北工业大学学报 | 被引量 : 0次 | 上传用户:h725bin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想。为此,文章试图运用过程间分析技术对并行程序进行“错误模式”的匹配。通过遍历构建的全局控制流图,分析图中单个节点所包含的语句,对其中可能出现错误的程序进行了错误模式的匹配,最终得出“错误定位”的结果。通过在实际开源系统中的应用,结果表明文中所提出的方法效果良好,具有较好的错误定位能力。
其他文献
他乡遇老乡,没有泪流,满心荡漾着快乐的泡泡,曾受过的委屈,曾流过的泪,一刹那已抛在了脑后,千言万语,此时已无法用笨拙的言语表达,只剩下满心的喜悦.……
期刊
神经MOS晶体管(简称NeuMOS)是一种多输入多阈值的高功能度新型MOS器件.作者在其改进结构钟控神经MOS晶体管的启发之下,提出了一种新型的开关共点耦合神经MOS晶体管结构.在这
中华优秀传统文化是涵养社会主义核心价值观的重要源泉,培育和弘扬社会主义核心价值观必须立足中华优秀传统文化。传统儒家“修身”思想强调个人提升道德上的自我修养和人格上
古老的苍穹下,它以最威严的姿态屹立。  天地玄黄,长江从洪荒远古滔滔而来,流过高耸孵山,流过无限平沙,流过空旷天际,也流过了赤壁。  从秦谣汉赋中溯源,在唐风宋雨中划过,历史在它身上刻下了太多沧桑。天地间永恒的空旷,勾勒出它苍凉的轮廓;秋风卷起漫天的落叶,铺染着岸边冰冷的黑岩;远古年代的断壁残垣,沉淀着历史的尘埃,诉说着“寄蜉蝣于天地,渺沧海之一粟”的浩瀚。  赤壁老了。  千百年采,它默默地看着
期刊
古建筑复原是进行古建筑研究的最终目的,然而由于土木结构的建筑往往保存时间不过百年,尤其是唐代以前的古建筑几乎不存或者很少,给了解当时的建筑形制带来了很大的困难.因此
当太空舰队到达木星轨道时,迎宾飞船开始进入土星公转轨道。  “帕查卡马克”在1000万公里外正以每秒708公里的速度向他们疾奔而来,将在4小时后到达这里。 本文为全文原貌 未安装PDF浏览器用户请先下载安装 原版
期刊
针对现有基于速度特征的笔画分割方法对匀速绘制笔画过度分割的问题,提出一种创新性的基于速度特征的笔画分割方法。首先对笔画进行折线化预处理,从而将笔画的采样点进行数据
摘要:深耦合跟踪环路在INS的辅助下可以有效提高GNSS接收机在高动态条件下的跟踪性能。但是如果INS模块发生故障,会导致GNSS跟踪环路的失锁或处于误跟踪状态,从而导致整个GNSS系
输入随机变量对失效概率的贡献程度可以用基于失效概率的全局重要性测度来表征。引入交叉熵方法计算全局重要性测度,以解决传统重要抽样法存在重要抽样函数难以确定的困难。交