论文部分内容阅读
TTCN作为一种形式化的测试集描述语言,已经得到了广泛的应用.在介绍了并发TTCN的基本概念之后,接着介绍TTCN2的操作语义及相关算法,然后结合TTCN执行机的实现给出了并发测试组件的调度算法.
并发TTCN的操作语义及相关算法
【摘 要】
：
TTCN作为一种形式化的测试集描述语言,已经得到了广泛的应用.在介绍了并发TTCN的基本概念之后,接着介绍TTCN2的操作语义及相关算法,然后结合TTCN执行机的实现给出了并发测试
【机 构】
：
中国科技大学计算机科学与技术系
【出 处】
：
计算机工程
【发表日期】
：
2003年4期
其他文献
以桥式起重机模块化端梁系列为研究对象,针对桥式起重机模块化端梁加工工艺过程的典型化和工装标准化设计制造加工装备,根据两种不同形式的模块化端梁,运用该装备,实现模块化
提出了改进型指纹点方向图计算方法,设计了基于方向图的分离模板以实现灰度图像的方向性滤波,并采用数学形态学的方法进行二值指纹图的滤波操作。实验表明,用该方法进行图像预处理,能大大减少指纹图像中的伪结构,有利于后续的指纹特征抽取和识别。
自进入21世纪以来，人类社会的技术革新进入了一个极为高速的阶段，在教育方面也取得了突破性的进展，无论是在教学理念还是教学手段上，都得到了很大的飞跃。而多媒体教学就是其中十
国防动员潜力统计调查工作是国防动员建设的前提,是实战化国防建设的重要组成部分。因此本文从提升思想认知,明确国防动员潜力调查工作的重要性、建立完善的军事需求提报机制
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,等词单独处理,利用提取不等式析取并在启发
科学探究是人们探索和了解自然,获得科学知识的重要方法。小学科学课程把探究活动作为学生学习科学的重要方式,科学教师可从以下四个方面激发小学生的探究兴趣:第一是科学教
如何最大限度地延长执政时间、甚至实现长期执政，始终是政党建设中一个备受关注的问题。长期执政绝不是普通执政在时间上的简单延长，实现长期执政必须遵循特殊的规律和要求。中
消化性溃疡是全球性常见病．主要指发生在胃和十二指肠的慢性溃疡，即胃溃疡和十二指肠溃疡．临床上以十二指肠溃疡多见。白1983年澳大利亚学者M8nh址l从胃粘膜中分离出幽门螺杆菌(HelicobactCr Pylod，HP)以来，关于HP与消化系统疾病的关系．一直是热点话题，并且进行了大量的研究。目前认为HP感染是消化性溃疡发病的主要病因川。有研究表明．常规抑制胃酸药物治疗后愈合的溃疡年复发率为50％
在当下的数学教材中,色彩斑斓的图画是随处可见的,图中把一些生活情节与数学相融,营造一种充满童趣和真实亲近的氛围,这种用图画反映数学知识的图片称为主题图。它在数学教学