检索结果-内蒙古大学图书馆

timing-sequence testing of Parallel Programs

Journal of Computer Science & Technology 2000年第1期15卷 84-95页

作者：梁煜李舒张辉韩承德 Center of High-Performance Computing Institute of Computing Technology Chinese Academy of Sciences Beijing P.R. China

testing of parallel programs involves two parts-testing of controlflow within the processes and testing of timing-sequence. This paper focuses on thelatter, particularly on the timing-sequence of message-passing paradigms. Firstlythe coarse-grained SYN-sequence model is built up to describe the execution of distributed programs. All of the topics discussed in this paper are based on it. Themost direct way to test a program is to run it. A fault-free parallel program shouldbe of both correct computing results and proper SYN-sequence. In order to analyzethe validity of observed SYN-sequence, this paper presents the formal specification(Backus Normal Form) of the valid SYN-sequence. Till now there is little workabout the testing coverage for distributed programs. Calculating the number of thevalid SYN-sequences is the key to coverage problem, while the number of the validSYN-sequences is terribly large and it is very hard to obtain the combination lawamong SYN-events. In order to resolve this problem, this paper proposes an efficienttesting strategy- atomic SYN-event testing, which is to linearize the SYN-sequence(making it only consist of serial atomic SYN-events) first and then test each atomicSYN-event independently. This paper particularly provides the calculating formulaabout the number of the valid SYN-sequences for tree-topology atomic SYN-event(broadcast and combine). Furthermore, the number of valid SYN-sequences also,to some degree, mirrors the testability of parallel programs. Taking tree-topologyatomic SYN-event as an example, this paper demonstrates the testability and communication speed of the tree-topology atomic SYN-event under different numbersof branches in order to achieve a more satisfactory tradeoff between testability andcommunication efficiency.

关键词： timing-sequence testing SYN-sequence atomic SYN-event linearization coverage

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：