• 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“4”条记录

已选条件:
导出
  • 排序
  • 显示
1. 协议一致性测试平台的设计和实现 CSCD 期刊论文 认领

作者:何立强;叶新铭

外文作者:何立强;叶新铭

第一作者:何立强

作者机构:[何立强]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古. 更多

来源:计算机工程,2001,Vol.27,Issue.8

基金:国家863计划; 国家自然科学基金

CSCD被引频次:2

知网综合影响因子:0.550

知网复合影响因子:0.901

关键词:协议; 一致性测试; 外部行为表示; 被测实现

摘要:简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行, 更多

2. 关于路由协议的一致性测试的一种形式方法 CSCD 期刊论文 认领

作者:赵玉兰;刘咏梅;何立强;孟光萌;叶新铭

外文作者:ZHAO Yu-lan;LIU Yong-mei;HE Li-qiang;MENG Guang-meng;YE Xin-ming

第一作者:赵玉兰

作者机构:[赵玉兰;刘咏梅;何立强;孟光萌;叶新铭]内蒙古大学计算机学院,内蒙古,呼和浩特

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.6

基金:国家科技攻关项目

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:RIP协议;一致性测试;E-LOTOS;GE-LOTOS;TTCN;

摘要:为了一致性测试Internet网上的一个标准路由信息协议(RIP协议),利用形式描述技术语言E-LOTOS对其进行了描述,然后把文本描述的E-LOTOS转换为GE-LOTOS.并在此上产生 更多

3. 基于EBE描述的RIP协议的一致性测试 期刊论文 认领 增刊

作者:何立强;叶新铭;吴承勇

外文作者:He Liqiang, Ye Xinming, Wu Chengyong (College of Computer Science, Inner Mongolia University, Hohhot 010021 )

第一作者:何立强

作者机构:[何立强;叶新铭;吴承勇]内蒙古大学计算机学院!呼和浩特010021

来源:计算机工程,2000,Issue.S1

基金:国家自然基金项目(69863001)

知网综合影响因子:0.550

知网复合影响因子:0.901

关键词:IUT;RIP;EBE;一致性测试;

摘要:本文简要介绍了有关协议一致性测试及EBE的基本知识,利用EBE模型描述了RIP路由协议,并且在此模型的基础上导出了一致性测试例集,最后简单讨论了测试例 更多

4. 基于EBE描述的RIP协议的一致性测试 会议论文 认领

作者:何立强;叶新铭;吴承勇

作者机构:[何立强;叶新铭;吴承勇]内蒙古大学计算机学院(呼和浩特)

来源:计算机工程 2000增刊,2000

会议名称:2000年CERNET第七届学术会议

会议时间:2000

会议地点:上海

关键词:一致性测试;EBE;网络互联;路由器;RIP路由协议;网络协议

摘要:本文简要介绍了有关协议一致性测试及EBE的基本知识,利用EBE模型描述了RIP路由协议,并且在此模型的基础上导出了一致性测试例集,最后简单讨论了测试例的选择和执行 更多

更新时间:Mar 28, 2019
TOP