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

发布时间：2018-11-25 15:57

【摘要】：过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想。为此,文章试图运用过程间分析技术对并行程序进行"错误模式"的匹配。通过遍历构建的全局控制流图,分析图中单个节点所包含的语句,对其中可能出现错误的程序进行了错误模式的匹配,最终得出"错误定位"的结果。通过在实际开源系统中的应用,结果表明文中所提出的方法效果良好,具有较好的错误定位能力。
[Abstract]:Inter-process analysis is usually used to detect error pattern instances in parallel programs. It has become a hotspot in the field of static testing and error pattern matching. However, the existing in-process analysis techniques are not ideal for the static testing of parallel errors. Therefore, this paper attempts to use inter-process analysis technology to match the "error pattern" of parallel programs. By traversing the constructed global control flow diagram and analyzing the statements contained by a single node in the diagram, the program that may have errors is matched with the wrong pattern, and the result of "error location" is obtained. Through the application in the actual open source system, the results show that the proposed method is effective and has good error location ability.
【作者单位】： 西北工业大学软件与微电子学院;
【基金】：国家自然科学基金(61402370) 中央高校基本科研业务费专项资金资助
【分类号】：TP311.53

【相似文献】

相关期刊论文 前10条

1 殷杰;边旭兴;;并行程序表征的语义发展趋势探析[J];科学技术哲学研究;2012年04期

2 周玉清;;关于并行程序验证方法的讨论[J];计算机研究与发展;1982年09期

3 刘杰,迟利华,胡庆丰;并行程序的优化与性能评价[J];计算机工程与科学;2000年05期

4 董超群;陆林生;;域:支持并行程序概念设计的一种抽象手段[J];计算机科学;2001年10期

5 刘建,沈美明,郑纬民;调试器对并行程序干扰特性的研究[J];计算机学报;2002年02期

6 万剑怡,孙永强,薛锦云;一种将设计模式用于程序精化演算的并行程序设计方法研究[J];计算机研究与发展;2003年02期

7 陆林生,董超群,王玲秋,史涛;并行程序概念设计方法的研究[J];计算机学报;2003年09期

8 张学波,李晓梅;分布式存储环境下并行程序的优化[J];装备指挥技术学院学报;2004年02期

9 陈素芬,万剑怡,曾雪强,薛锦云;一种典型并行程序风范——“管理者-工人”的设计模式开发与实现[J];计算机与现代化;2005年08期

10 蒋光庆;文锋;;并行程序实用优化方法讨论[J];信息工程大学学报;2006年04期

相关会议论文 前6条

1 王巍;方滨兴;张宏莉;;网格环境下的限定性并行程序可达性测试算法[A];全国网络与信息安全技术研讨会'2005论文集（上册）[C];2005年

2 王恩柱;刘晓平;;一个可视化并行程序开发平台的实现[A];计算机技术与应用进展——全国第17届计算机科学与技术应用（CACIS）学术会议论文集（上册）[C];2006年

3 郑启龙;王昊;吴晓伟;房明;;HPMR:多核集群上的高性能计算支撑平台[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年

4 李正夫;郭权;王希诚;;新药研发网格下的一种药物分子对接并行程序[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

5 赵鹏;张丹丹;汪鲁兵;田振夫;钱跃z，

本文编号：2356679