并发程序由于将功能交由多个进程共同完成,因而与顺序程序相比具有高效性.现今,随着用户对软件系统的性能要求越来越高,并发技术得到了广泛的应用.并发技术在得到广泛应用的同时也带来了困难.首先,软件测试需要在分析和理解软件的基础上进行.由于存在进程之间的通信,对于并发程序的分析和理解较为困难,因此,了解进程间的通信关系是理解并发程序的关键所在.而今的代码日趋庞大,人工查阅代码获得进程间的通信关系几乎不可能,因此需要一种测试辅助工具自动提取出进程间的通信关系并将其呈现给测试人员.其次,并发程序给测试带来的困难还在于其动态的执行行为.并发程序由于进程的调度顺序以及通信机制本身的原因对于同样输入的不同执行呈现不同的结果,因而行为具有不确定性.这种不确定性直接导致了错误的不可再现性,即后续的执行无法再现前次执行的错误.测试的目的就是发现和纠正程序中的错误,而正确发现和纠正错误的前提是能够不断地让同样的错误重复出现.因而,对于并发程序的功能和性能进行测试需要能够重现程序的某次执行情况.基于上述问题,我们研究和开发了并发程序分析和测试辅助工具,其中包括通信关系提取和描述工具和并发程序追踪重演工具.该工具基于用C语言编写的进程间以消息队列为通信中介的并发程序.通信关系提取和描述工具用于自动提取输入的源代码中的通信关系并将通信关系以图形的方式显示给用户,追踪重演工具能够重现并发程序的某次执行情况.该文讨论了程序分析的技术,并在此基础上详述了通信关系的提取和描述方法,阐述了并发程序的追踪重演算法,最后介绍了通信关系提取和描述工具以及追踪重演工具的设计与实现.