收藏本站
《计算机研究与发展》 1999年09期
加入收藏 投稿

并行程序的时序测试

梁煜  李舒  张辉  韩承德  
【摘要】:并行程序的错误可分为进程间错误(interprocess fault)和进程内部错误(intraprocess fault).其中, 进程内部错误是由控制流错误造成的, 而进程间错误是由进程间的不合理时序关系造成的. 文中主要探讨了关于并行程序(以基于消息传递的分布式并行程序为主)时序测试中的一系列关键技术.为了能够简捷、较完备地反映并行程序的运行流程,文中首先构筑了一个同步序列模型,所有问题均在此模型的基础上进行讨论. 为了检测分布式并行程序同步序列的合法性,文中构筑了有效同步序列的形式规范.为使问题更加明了, 还提供了两个典型的聚类操作——树型广播与归并的有效同步序列的形式规范, 并总
【作者单位】中国科学院计算技术研究所国家高性能计算机工程技术中心!北京100080 中国科学院计算技术研究所国家高性能计算机工程技术中心!北京100080 中国科学院计算技术研究所国家高性能计算机工程技术中心!北京100080 中国科学院计算技术研究所国家高性能计算机工程技术中心!北京100080
【关键词】时序测试 并行程序 同步事件 同步序列 原子事件测试策略
【基金】:国家攀登计划项目基金
【正文快照】:
引  言在对并行程序(多线程或多进程)的测试中,我们不仅需要获得进程内部各控制流的执行情况(以确定各个进程或线程均按所期望的控制流程运行),而且还需获得对各进程或线程间不同时序组合的测试完成程度(以保证参与并行计算的各个进程或线程间的相互时序关系与期望

【引证文献】
中国硕士学位论文全文数据库 前3条
1 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年
2 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
3 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
【同被引文献】
中国期刊全文数据库 前10条
1 刘超,金茂忠;软件测试过程的基本模型POCERM[J];北京航空航天大学学报;1997年01期
2 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
3 刘超,李健,沈海华;面向对象程序可视化类图的逆向自动生成[J];北京航空航天大学学报;1998年04期
4 胡华平,金士尧;分布式系统可靠性模型[J];计算机工程与应用;1999年08期
5 武小悦,沙基昌,党晓玲,李大庆;系统可靠性预计与分配集成系统的设计与实现[J];计算机工程与应用;1999年11期
6 段永强,张申生,高国军;基于代理的软件设计和软件重用[J];计算机工程;2000年01期
7 兰毓华,毛法尧,曹化工;基于Z规格说明的软件测试用例自动生成[J];计算机学报;1999年09期
8 朱世伟,胡春琳,王兆祥;构件对象技术COM模型的研究与应用[J];计算机与数字工程;1999年01期
9 胡世亮,臧斌宇,凌冰,朱传琪;数据流分析中的区域覆盖技术[J];软件学报;2000年03期
10 刘超,张茂林,晏海华,杨峰,何智涛;软件集成测试的群体协同工作模式及其特性[J];软件学报;2000年06期
【二级引证文献】
中国重要会议论文全文数据库 前1条
1 高建华;陈茹;;基于多层次功能模型的代价分析回归测试技术研究[A];第三届中国测试学术会议论文集[C];2004年
中国硕士学位论文全文数据库 前1条
1 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 陈芳,沈晓军,陈洁;多媒体同步技术的研究[J];北京工业大学学报;1996年04期
2 ;会议简讯[J];控制理论与应用;1997年06期
3 梁煜,李舒,张辉,韩承德;关于并行程序时序测试中测试覆盖率的研究[J];计算机研究与发展;1999年02期
4 梁煜,李舒,张辉,韩承德;并行程序的时序测试[J];计算机研究与发展;1999年09期
5 于万军,权刚,党德玉;基于线程的多任务方法实现对大系统的递阶控制[J];东北电力学院学报;1999年02期
6 ;国防科大计算机学院工学博士学位论文摘要[J];计算机工程与科学;1999年02期
7 张海燕,袁平波;利用DELPHI多线程机制实现PC机与PLC之间的串行通信[J];计算机应用研究;2000年02期
8 白永胜,刘胜;Windows95下实现虚拟设备驱动程序与应用程序的实时通信[J];微计算机应用;2000年06期
9 方艳,金茂忠,刘超;并发Java程序动态分析及重演技术研究[J];计算机工程与应用;2001年12期
10 张斌,胡波,林锦国;Windows环境下利用多线程技术实现计算机与单片机的串行口通讯[J];南京化工大学学报(自然科学版);2001年05期
中国重要会议论文全文数据库 前7条
1 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
2 任月清;张泽;;基于DSPs DMA和McBSP接口的信号采集[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
3 史晓霞;钟秋海;;HLA/RTI时间管理的分类研究[A];全球化制造高级论坛暨21世纪仿真技术研讨会论文集[C];2004年
4 林晟;张光新;;OPC在啤酒自动化控制系统中的应用[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年
5 赵坤;陈建军;方德贤;葛文忠;李明;;数字天气雷达虚拟终端的硬件和软件设计[A];首届长三角科技论坛——气象科技发展论坛论文集[C];2004年
6 张红健;周春临;;用WIN32 API函数实现SIMOVERT MASTERDRIVES VC变频器监控[A];《制造业自动化与网络化制造》学术交流会论文集[C];2004年
7 张红健;周春临;;用WIN32 API函数实现SIMOVERT MASTERDRIVES VC变频器监控[A];先进制造技术论坛暨第三届制造业自动化与信息化技术交流会论文集[C];2004年
中国硕士学位论文全文数据库 前6条
1 周备战;“651改”测控计算机系统设计与实现[D];国防科学技术大学;2001年
2 申琳;面向GDI和HCCI试验发动机的电控系统软硬件设计[D];清华大学;2004年
3 朱伟;一个可编程虚拟实验平台的研究[D];华中科技大学;2004年
4 汪勇;基于平等模式智能建筑弱电系统集成技术研究与软件开发[D];中南大学;2005年
5 左赋斌;基于重放的并发程序调试技术研究[D];东南大学;2005年
6 曾奕;并发程序调试的追踪/重演机制研究[D];东南大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 800-810-6613
  • 010-62985026