TTCN 编译程序的设计

来源 :计算机应用 | 被引量 : 0次 | 上传用户:chinasun09
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
TTCN 是 ISO 为描述网络协议实现标准化测试控制数据而制定的语言,因此 TTCN 实现是标准化测试控制数据定义开发环境不可缺少的工具。文中介绍了中国科学院 成都计算机应用研究所(CICA)对最新版本的 TTCN 编译实现的设计方案。该编译程序能接收 TTCN 两种形式中的任意一种,实现了对 TTCN 的分别编译,提供了增殖编译手段,将有效地支持以 TTCN 描述的标准化测试控制数据的实现;另外,该编译程序为建立一个能够适应各种不同测试对象,以及不同测试完整性要求,而且能够在测试过程中动态选择测
其他文献
MDD是对BDD进一步化简后得到的多叉判决图 ,我们所做的是把布尔函数的MDD表示生成多级逻辑网络。在生成过程中计算时延并在时延的驱动下完成映射工作。通过计算已生成部分的
介绍了新型桥型—板桁结合梁桥的应用及此桥型的受力特点,并阐述了国内学者对这种桥型的研究进展,最后指出了板桁桥今后需要研究和解决的问题,为该桥型的推广应用提供了理论
围绕"两强一堡"的战略目标,建议在思路上需以加快转变发展方式为主线,切实增强消费对全省经济增长贡献率,构建扩大内需长效机制,增强经济增长内生动力。在重点领域中,以投资拉
相较于传统的硅器件,基于宽禁带半导体材料的功率电子器件在很多方面都体现出了优越的性能,符合功率变换器高效率、高工作温度及高功率密度的发展需求。近几年来,碳化硅(SiC)
2016年,深交所的一封问询函,引发了市场对“穿透式”监管的关注。在万达院线收购万达影视案中,深交所要求万达院线以列表的形式补充披露交易对手中有限合伙企业内全部合伙人
采用野三关镇136份返乡农民工的实地调研数据,运用logistic回归方法分析了政府政策支持等因素对民族地区返乡农民工创业意愿的影响.结果表明:返乡农民工对政府总体支持力度的满
研究了一类带有临界Sobolev指数和多个Hardy项的拟线性椭圆方程,运用分析技巧和变分方法,证明了在一定条件下此椭圆方程变号解的存在性.
用气相色谱法和同步荧光法分别测定了7个原油样品(其中2个油品来源相同)和一种润滑油的饱和烃色谱和同步荧光光谱,分析了正构烷烃组分包含姥鲛烷(2,6,10,14-四甲基十五烷,Pr)和植烷(2,6,1
为调查浅水湖泊底栖藻类群落的初级生产力,用黑白瓶法对东湖沿岸带人工基质上底栖藻类的初级生产力进行了原位测定.结果表明:东湖沿岸带底栖藻类群落春、秋季总初级生产力分别