TTCN-3

作品数:138被引量:133H指数:5
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:蒋凡赵会群吴际张宁孙晶更多>>
相关机构:内蒙古大学北京邮电大学北方工业大学中国科学技术大学更多>>
相关期刊:更多>>
相关基金:国家科技重大专项国家自然科学基金北京市自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 基金=国家科技支撑计划x
条 记 录,以下是1-3
视图:
排序:
基于TTCN-3的HINOC MAC信令协议一致性测试
《网络新媒体技术》2013年第5期29-34,共6页魏琼琼 王敏超 张晓娜 张冰 
863计划资助项目(编号:2011AA01A106);国家科技支撑计划资助项目(编号:2012BAH02B02)
根据HINOC MAC协议的特点,基于协议一致性测试方法框架,设计了信令协议抽象测试集;给出了基于TTCN-3的MAC信令协议一致性测试的设计和实现方法;采用测试工具TTworkbench完成了测试开发及实现。通过测试例的执行,验证了测试方案的有效性...
关键词:HINOC MAC协议 TTCN-3 一致性测试 
基于TTCN-3的HINOC MAC测试软件TRI和TCI接口设计
《网络新媒体技术》2013年第1期43-51,共9页王敏超 段晋通 张冰 
863计划资助项目(编号:2011AA01A106);国家科技支撑计划资助项目(编号:2012BAH02B02)
研究了HINOC MAC协议测试实现方案和关键接口设计。首先提出了基于TTCN-3的HINOC MAC协议一致性测试平台架构,它包含测试例开发和协议适配器接口开发两部分。重点设计开发TRI(TTCN-3 Runtime Interface)和TCI(TTCN-3 Control Interface...
关键词:HINOC MAC 协议测试 TRI TCI 
基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法被引量:3
《铁道通信信号》2010年第7期15-20,共6页赵显琼 李开成 唐涛 袁磊 
国家自然基金重点项目(60634010);北京市城市轨道交通自动化与控制重点实验室资助;国家863高技术研究发展计划(2009AA11Z221);国家支撑计划(2009BAG12A08);中央高校基本科研业务费专项资金资助(2009YJS013)
提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的...
关键词:列车运行控制系统 测试和测试控制符号 端口标记的时间输入输出自动机 自动测试 
检索报告 对象比较 聚类工具 使用帮助 返回顶部