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

并行程序的时序测试

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

【引证文献】
中国硕士学位论文全文数据库 前3条
1 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
2 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
3 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 刘超,金茂忠;软件测试过程的基本模型POCERM[J];北京航空航天大学学报;1997年01期
2 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
3 刘超,李健,沈海华;面向对象程序可视化类图的逆向自动生成[J];北京航空航天大学学报;1998年04期
4 张广泉,戎玫,沈一栋;并发系统基本模型及其分析[J];重庆大学学报(自然科学版);1998年03期
5 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
6 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
7 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
8 胡华平,金士尧;分布式系统可靠性模型[J];计算机工程与应用;1999年08期
9 武小悦,沙基昌,党晓玲,李大庆;系统可靠性预计与分配集成系统的设计与实现[J];计算机工程与应用;1999年11期
10 方艳,金茂忠,刘超;并发Java程序动态分析及重演技术研究[J];计算机工程与应用;2001年12期
中国硕士学位论文全文数据库 前2条
1 陈果;基于测试驱动开发的软件测试管理系统的研究[D];中国科学院研究生院(空间科学与应用研究中心);2004年
2 陈任;基于Browser/Server体系结构的软件测试技术及其应用[D];武汉大学;2004年
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 王颐;基于图形用户界面的软件测试技术及其在儿童益智游戏产品中的应用研究[D];重庆大学;2004年
2 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 李弋;;面向嵌套事务内存的多线程程序验证框架研究[J];电脑知识与技术;2011年25期
2 邓甜;邓倩妮;;锥束CT的FDK算法与CUDA实现[J];微型电脑应用;2011年06期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 韩国兴;;一种实用嵌套并行程序设计算法[A];第九届全国微分方程数值方法暨第六届全国仿真算法学术会议论文集[C];2004年
2 赵鹏;张丹丹;汪鲁兵;田振夫;钱跃竑;;格子Boltzmann并行程序的优化与性能分析[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
3 王巍;方滨兴;张宏莉;;网格环境下的限定性并行程序可达性测试算法[A];全国网络与信息安全技术研讨会'2005论文集(上册)[C];2005年
4 郑启龙;王昊;吴晓伟;房明;;HPMR:多核集群上的高性能计算支撑平台[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年
5 李正夫;郭权;王希诚;;新药研发网格下的一种药物分子对接并行程序[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
6 臧德华;邓倩妮;陆鑫达;;并行可视化调试工具中检查点使能的研究与实现[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
7 谭荣乐;袁国兴;刘兴平;;高性能数值并行计算程序的移植[A];中国工程物理研究院科技年报(1999)[C];1999年
8 黄清南;申卫东;徐敏;;多流管辐射流体力学的SMP并行计算[A];中国工程物理研究院科技年报(2000)[C];2000年
9 任伶;林新华;伍民友;李明禄;陆鑫达;陈英;;上海网格自适应网格引擎[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
10 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
中国重要报纸全文数据库 前6条
1 清华大学计算机系 都志辉;奠基未来[N];计算机世界;2001年
2 总编 孙定;探究软件变革[N];计算机世界;2008年
3 Intel编程系统实验室 Ali-RezaAdl-Tabatabai;TM将取代互斥锁助益并行编程[N];中国计算机报;2008年
4 本报记者 祁金华;高性能计算 走向成熟期[N];网络世界;2007年
5 刘琦;伯克利专家展望未来并行计算[N];中国计算机报;2008年
6 谢涛;萧洁云就任SAP中国区总裁 稳定团队成首要任务[N];电脑商报;2010年
中国博士学位论文全文数据库 前10条
1 王建;并行最优化算法与软件设计及数值软件移植[D];中国科学院研究生院(软件研究所);2005年
2 濮方琍;并行程序测试的关键技术研究[D];华中科技大学;2009年
3 王攀峰;应用级checkpointing技术的研究与实现[D];国防科学技术大学;2008年
4 李勇;基于软件事务内存的并行程序验证[D];中国科学技术大学;2011年
5 张小强;基于事务的软件投机并行机制研究[D];国防科学技术大学;2009年
6 闫昭;程序并行识别方法及应用研究[D];吉林大学;2009年
7 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
8 梁煜;消息传递并行程序的测试及其通信环境[D];中国科学院研究生院(计算技术研究所);1998年
9 丁晓宁;面向CFD的交互式并行化技术研究[D];西北工业大学;2002年
10 彭林;软件事务存储并行编程环境关键技术研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 方贤文;基于Petri网的并行程序分析与评价[D];山东科技大学;2004年
2 赵峪;消息传递并行程序性能调试环境PBuster的设计[D];清华大学;2004年
3 富弘毅;并行程序性能分析技术研究与实现[D];国防科学技术大学;2004年
4 朱伟;一个可编程虚拟实验平台的研究[D];华中科技大学;2004年
5 汪勇;基于平等模式智能建筑弱电系统集成技术研究与软件开发[D];中南大学;2005年
6 邓笋根;面向Skeleton的并行计算体系[D];江西师范大学;2002年
7 王建学;TTCN-3语言调试器设计与实现[D];中国科学技术大学;2009年
8 刘辉;基于MPI的并行程序设计技术[D];郑州大学;2002年
9 陈倩;并行程序性能分析系统的研究与实现[D];国防科学技术大学;2005年
10 刘晓明;异构机群系统环境下PVM并行程序的编程方法研究[D];暨南大学;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026