您的位置: 专家智库 > >

国家自然科学基金(69863001)

作品数:11 被引量:44H指数:3
相关作者:叶新铭石立新何立强王红霞郝松侠更多>>
相关机构:内蒙古大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 8篇自动化与计算...
  • 5篇电子电信

主题

  • 3篇网络
  • 3篇TTCN
  • 3篇测试例
  • 2篇一致性
  • 2篇网络协议
  • 2篇协议一致性测...
  • 2篇路由
  • 2篇IPV6
  • 1篇动态路由
  • 1篇动态路由协议
  • 1篇序列图
  • 1篇压力测试
  • 1篇用户
  • 1篇软件测试
  • 1篇通讯协议
  • 1篇最短路径
  • 1篇最短路径树
  • 1篇网络平台
  • 1篇网模型
  • 1篇下一代

机构

  • 11篇内蒙古大学

作者

  • 11篇叶新铭
  • 4篇石立新
  • 2篇何立强
  • 2篇吴铁楠
  • 2篇王红霞
  • 2篇郝松侠
  • 1篇塔娜
  • 1篇孙美飞
  • 1篇赵玉兰
  • 1篇吴承勇
  • 1篇许智君
  • 1篇冯晓利

传媒

  • 7篇内蒙古大学学...
  • 2篇计算机工程
  • 2篇计算机科学

年份

  • 1篇2005
  • 1篇2003
  • 3篇2002
  • 3篇2001
  • 3篇2000
11 条 记 录,以下是 1-10
排序方式:
协议一致性测试平台的设计和实现 被引量:7
2001年
简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行,同时给出了一些简单的实例。
何立强叶新铭
关键词:网络协议
软件压力测试流程被引量:24
2002年
在金融、电信等领域 ,随着业务处理的集中化 ,中心服务器压力也在增加 ,在新软件使用前都要进行压力测试 .本文介绍了压力测试的概念 。
叶新铭冯晓利
关键词:软件测试压力测试WEB服务器
Internet面向用户的计帐方法
2000年
近年来 CERNET有了长足的发展 ,越来越多的院校和科研部门连入了 CERNET.网络计费是 CERNET上一个十分迫切和关键的问题 ,目前已有许多种计费系统 ,但大多数计费都是基于 IP地址的 .这种方法对于多人使用同一台计算机的情况 ,不能分别对每个用户来计帐 ,因此存在许多不方便之处 .本文提出了一种面向用户的计费方法 。
石立新叶新铭许智君
关键词:INTERNETCERNET面向用户计帐
一种有效的形式描述技术:GE-LOTOS被引量:3
2000年
利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 .
赵玉兰叶新铭贾斌
IPv6邻居发现协议的一致性测试被引量:3
2005年
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。
叶新铭孙美飞
关键词:邻居发现下一代互联网协议协议一致性测试TTCN测试例序列图
基于EBE描述的RIP协议的一致性测试
2000年
本文简要介绍了有关协议一致性测试及EBE的基本知识,利用EBE模型描述了RIP路由协议,并且在此模型的基础上导出了一致性测试例集,最后简单讨论了测试例的选择和执行。
何立强叶新铭吴承勇
关键词:RIP
下一代网络协议一致性测试执行系统的实现被引量:2
2003年
In order to go along the work of next generation network protocol conformance testing effectively and thorough, we bring forward a sign idea about test executing system and implement it base on Linux environment, which is obtained based ISO' criterion and method. The main function of test executing system is to execute automatically the test suit in TTCN form in course of protocol conformance testing and present the testing report in the end. In this paper,we first introduce the realization Idea of test executing system base on Linux environment and some interrelated arithmetic. We emphasize on the sign flow and implement procedure of test executing system and discuss some arithmetic for central module. Finally, we give test procedure and test result for IPv6 protocol using this test executing system.
叶新铭王红霞石立新
关键词:网络协议MPLS协议IPV6协议通讯协议计算机网络
基于Petri网模型的OSPF路由算法的测试序列生成被引量:2
2001年
OSPF协议是一种动态路由协议 ,它利用内部的链路状态数据库来维护和计算路由 ,它的路由算法是本协议的关键部分 .本文给出了路由算法的 Petri网模型 ,并使用控制流和数据流测试相结合的一种方法 ,在此基础上产生测试序列 .
王红霞叶新铭
关键词:动态路由协议最短路径树PETRI网模型
OSPF协议中路由表计算的测试例生成方法被引量:1
2001年
本文给出了 OSPF协议中路由表计算部分的 Petri网模型和产生测试例的方法 ,以算法中的外部路由计算为例 ,详细介绍了如何从协议文本形式化为 Petri网模型 ,然后再从 Petri网生成测试例的方法 ,并给出了该方法所采用的测试标准 .
塔娜叶新铭
关键词:路由表PETRI网测试例OSPF协议
基于PC的IPv6网络平台及其测试的探讨被引量:1
2002年
介绍了如何用普通的 PC机组建一个与路由无关的 IPv6网络 ,并在其上实践 IPv6协议 .说明了如何组建测试 IPv6协议所需的测试环境 ,并探讨协议的测试过程 .
吴铁楠郝松侠石立新叶新铭
关键词:IPV6网络平台TTCN测试例
共2页<12>
聚类工具0