基于同步有向图的同步测试序列生成方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:zhangsao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时,测试系统各个端口之间可能会出现同步问题.现在,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接,然后通过此同步连接相互发送同步消息来进行同步.多端口协议和其它类型的分布式系统可以用有限状态机模型来描述.目前,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型.该文考虑两种有限状态机测试问题:第一种是面向端口的测试,不考虑有限状态机测试单元之间的通信问题;第二种面向组的测试,有限状态机中的各个端
其他文献
近两年来,不少企业多为市场疲软、产品滞销、债务拖欠、流动资金紧张等因素而困扰。然而在同样的外部环境下,陕西龙门钢铁总厂却经营有招,蒸蒸日上。94年不仅产品内销走俏,而
用计算机建立人脸表情动画是当前计算机图形学研究领域的一个富有挑战性的课题,该文在总结了国内外有关该课题研究方法的基础上,提出了一种基于物理模型的人脸表情画生成算法,并
目前手语识别研究的难点之一在于如何实现大词汇量的连续语句识别,针对这个问题,该文提出了几个有效的方法,包括修正转移矩阵,状态结点的捆绑,快速匹配,在搜索路径中加入词跳转的估
满足多种服务质量请求的多播路由问题是目前多播通信中的重要课题之一。该文作者在研究受端到端时延及时延抖动限制的多播路由问题的过程中,发现当前许多算法所普遍使用的两个
目的探讨新形势下心内科护理措施的改进与改进后的效果。方法对心内科收治的120例患者采用新改进的护理措施进行整体护理,并选择全部患者进行护理服务需求方面的问卷调查。结
一、企业职工教育的现状及问题 若干年来,企业的职工教育取得了很大的成绩。为国家和企业培养了大批的有用人才,为企业的发展作出了很大的贡献,功不可没。但是,我们也不能不