并行程序的时序测试

• 作者: 张辉 李舒 梁煜 韩承德
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 时序测试 并行程序 同步事件 同步序列 原子事件测试策略
• 年，卷（期）: 1999,（9）
• 所属期刊栏目: 分布式处理
• 页码范围: 1062-1068
• 页数: 7页
• 分类号: TP311.5
• 字数: 5349字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩承德	中国科学院计算技术研究所国家高性能计算机工程技术中心	53	704	14.0	24.0
2	张辉	中国科学院计算技术研究所国家高性能计算机工程技术中心	195	2226	23.0	39.0
3	梁煜	中国科学院计算技术研究所国家高性能计算机工程技术中心	3	17	2.0	3.0
4	李舒	中国科学院计算技术研究所国家高性能计算机工程技术中心	3	30	3.0	3.0