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

• 作者: 冯晨 吴潇雪 蔺军 郑炜 黄月明
• 来源期刊: 西北工业大学学报
• 学科: 工学
• 关键词: 并行程序 静态测试 过程间分析 错误模式 错误检测
• 年，卷（期）: 2017,（1）
• 页码范围: 148-153
• 页数: 6页
• 分类号: TP311.5
• 字数: 3511字
• 语种: 中文

摘要

过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点.然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想.为此,文章试图运用过程间分析技术对并行程序进行"错误模式"的匹配.通过遍历构建的全局控制流图,分析图中单个节点所包含的语句,对其中可能出现错误的程序进行了错误模式的匹配,最终得出"错误定位"的结果.通过在实际开源系统中的应用,结果表明文中所提出的方法效果良好,具有较好的错误定位能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑炜	西北工业大学软件与微电子学院	38	229	8.0	14.0
2	吴潇雪	西北工业大学软件与微电子学院	8	19	2.0	4.0
3	冯晨	西北工业大学软件与微电子学院	4	2	1.0	1.0
4	黄月明	西北工业大学软件与微电子学院	3	2	1.0	1.0
5	蔺军	西北工业大学软件与微电子学院	2	2	1.0	1.0