并发多端口测试定义语言CMPTDL

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lhongbo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对现有测试描述语言TTCN3的不足,提出了在多端口并发测试条件下,测试语言应分为上、下两个层次,即宏观描述与微观描述两部分的观点.在此基础上定义了一种新的测试描述语言:并发多端口测试定义语言(Concurrent Multi-Port Test Definition Language-CMPT-DL),该语言可用于在多端口并发条件下对一致性测试、性能测试、互通性测试的描述.最后,利用该语言编写了一个测试用例.
其他文献
以正硅酸乙酯(Ethyl silicate,TEOS)为原料,乙醇为溶剂,NH3·H2O为催化剂,乙醇水溶液为稀释剂制备了胶粒带负电荷、浓度为0.01g/mL的SiO2溶胶.在低折射率(1.45)的玻璃基
随着电子技术和计算机技术的高速发展,数控系统也实现了稳定的技术提升。且随着未来技术的发展,开放式数控系统也将成为系统发展的主流。所以,未来数控系统也会朝着高精度、
对HC0(^2A’)自由基与NO(^2πu)在单线态势能面上的反应进行了量子化学研究.分别在B3LYP/6-311++G(3dr,3pd)和MP2/6,311++G(3df,3pd)水平优化了反应势能面上各驻点的几何结构,获得相应的振动频率
利用网袋法对九寨沟主要森林类型的凋落物的分解作用进行了研究.结果显示,九寨沟各林型凋落物的分解率k以白桦林最高,达0.7864,巴山冷杉林最低,为0.2705.九寨沟6个主要类型群落中,除巴山冷杉林的年分解率为23.70%,与一般温带针叶林分解率相似外,其余皆在30.20%至54.45%之间,高于温带森林凋落物的平均分解速率20%~30%.在实验期内五次取样的失重率与时间的关系有两类,它们以海拔2
将4种聚醚桥连二异羟肟酸过渡金属铜(Ⅱ)、锌(Ⅱ)、钴(Ⅱ)和锰(Ⅱ)配合物作为仿水解酶模型催化羧酸酯(PNPP)水解.探讨了聚醚桥连二异羟肟酸过渡金属配合物催化PNPP水解的动力
针对一类不确定时滞系统的鲁棒H∞稳定控制,设计了基于观测器的鲁棒H∞控制器.假定系统的不确定性是时变的且具有范数有界.基于线性矩阵不等式(linear matrix inequality-LMI
采用酵母双杂交方法,以人PER1的PAS结构域为诱饵,在人血液cDNA文库中筛选能与之相互作用的蛋白.经酶切和核苷酸序列测定,证实重组诱饵载体hper1Pas/pGBKT7构建成功.血cDNA文库转化
利用正交实验法研究了对苯二甲酸、乙二醇和阻燃单体HPPPA三元共聚体系的反应规律,确定了缩聚反应的最优反应条件.通过对产物阻燃性能、热稳定性以及流变性能的研究,发现产物
介绍了一种计算机辅助消声器开发系统.它通过所建立的消声器三维模型对排气消声器的插入损失进行计算,考虑到消声器的各个主要结构参数对消声性能的影响,采用正交设计方法,根据消声量的要求对消声器结构参数进行优化.利用VBA对AutoCAD进行二次开发,完成了性能计算程序与结构绘图程序间的数据共享,实现了消声器结构图的自动绘制及编辑.试验结果表明:该开发系统是有效的.
调查了18个水稻品种(系)的垩白度、垩白粒率和垩白大小,并对米粒胚乳横断面上的胚乳细胞和淀粉粒进行了电镜扫描.结果表明,供试品种(系)的垩白粒率和垩白度存在显著差异,但垩白大小差