并行程序的错误可分为进程间错误(inter-process fault)和进程内部错误(intra-process fault).其中, 进程内部错误是由控制流错误造成的, 而进程间错误是由进程间的不合理时序关系造成的. 文中主要探讨了关于并行程序(以基于消息传递的分布式并行程序为主)时序测试中的一系列关键技术.为了能够简捷、较完备地反映并行程序的运行流程,文中首先构筑了一个同步序列模型,所有问题均在此模型的基础上进行讨论. 为了检测分布式并行程序同步序列的合法性,文中构筑了有效同步序列的形式规范.为使问题更加明了, 还提供了两个典型的聚类操作--树型广播与归并的有效同步序列的形式规范, 并总结了两个操作中的各同步事件间的时序约束规律.庞大的时序组合使得并行程序的测试难以实现, 因此文中提出了一种现实可行的测试策略--原子事件测试方法, 其思想方法是线性化同步序列使其仅由串行的原子同步事件组成,从而达到分而治之的目的.