静态栅栏分析中反例生成的改进

摘要：

栅栏分析器生成反例以帮助MPI程序员诊断同步错误.然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断.提出了一种改进的反例生成方法.该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入.实验评估表明提出的方法比现有的技术更好地支持同步错误诊断.

关键词：栅栏、反例、消息传递接口、静态分析、错误诊断

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目软件工程学the National Natural Science Foundation of China under Grant 60725206

在线出版日期：2011-07-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：23-25