摘要
随着并行编程越来越普及,并行程序的测试也变得越来越重要。本文面向共享内存的并行程序,研究一种新的并行程序测试技术,设计了工具CPTester,采用冗余分析方法避免重复的结果。和已有工作不同的是CPTester能够自动生成每一个并行bug的上下文信息,对程序员理解并修复一个并行bug具有重要意义。将CPTester在一些真实的并行程序上进行实验评测,结果显示CPTester能够有效地检测到程序中的并行bug,且每一个并行bug都有相应的上下文信息来描述该bug触发的根本原因。
As programming concurrent programs becomes pervasive,testing concurrent programs is also becoming important. This paper focuses on the concurrent programs that are based on shared memory. A new concurrent program testing technique is researched,and a tool called CPTester is designed for concurrent programs. CPTester uses redundancy analysis approach to avoid repeated results. Different from previous work,CPTester can generate the context information for every concurrent bug automatically,which is useful for programmers to understand and fix the concurrent bug. CPTester is evaluated on a number of real concurrent programs. Results show that CPTester can effectively detect the concurrent bugs in concurrent programs. Also,the context information about the root cause of each concurrent bug can be described.
出处
《计算机与现代化》
2016年第8期40-45,共6页
Computer and Modernization
基金
湖南省教育厅科研项目(15C0017)
关键词
并行程序
共享内存
程序测试
冗余分析
上下文信息
concurrent program
shared memory
program testing
redundancy analysis
context information
