您的位置： 专家智库 > >

国家高技术研究发展计划(2001AA112062)

作品数：14 被引量：44H指数：5
相关作者：赵保华屈玉贵顾翔赵静刘政更多>>
相关机构：中国科学技术大学更多>>
发文基金：国家高技术研究发展计划中国科学院院长基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 14篇期刊文章
  • 3篇会议论文

领域

  • 11篇自动化与计算...
  • 10篇电子电信

主题

  • 8篇形式化
  • 8篇形式化描述
  • 5篇通信
  • 5篇通信协议
  • 3篇协议形式化
  • 3篇路由
  • 3篇RSL
  • 3篇TCL
  • 2篇形式化描述技...
  • 2篇数据流
  • 2篇网络
  • 2篇协议形式化描...
  • 2篇路由协议
  • 2篇描述语言
  • 2篇控制流
  • 2篇计算机
  • 2篇计算机网
  • 2篇计算机网络
  • 2篇BGP
  • 2篇测试系统

机构

  • 17篇中国科学技术...

作者

  • 17篇赵保华
  • 16篇屈玉贵
  • 3篇吴慧萍
  • 2篇余营志
  • 2篇周颢
  • 2篇顾翔
  • 2篇赵静
  • 2篇郭雄辉
  • 2篇刘政
  • 1篇贾若宇
  • 1篇张英堂
  • 1篇孙宇霖
  • 1篇李越鹏
  • 1篇孙朝静
  • 1篇张波

传媒

  • 3篇通信学报
  • 3篇计算机应用
  • 3篇北京邮电大学...
  • 2篇小型微型计算...
  • 2篇2003年通...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇计算机科学

年份

  • 4篇2004
  • 12篇2003
  • 1篇2002
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Tcl的路由协议一致性测试
针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
余营志赵保华屈玉贵
关键词：路由协议测试系统TCL
文献传递
基于构造类别代数的数据流和控制流相结合的协议测试被引量：7
2003年
如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子.
郭雄辉赵保华周颢屈玉贵
关键词：形式化描述
基于Tcl的路由协议一致性测试被引量：11
2003年
针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
余营志赵保华屈玉贵
关键词：路由协议测试系统TCL
利用半可控接口进行通信协议一致性测试被引量：2
2003年
介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。
吴慧萍屈玉贵赵保华
一种描述安全协议的形式化规范语言被引量：4
2004年
安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-
刘政赵保华屈玉贵
关键词：安全协议形式化描述语言
基于构造类别代数的数据流和控制流相结合的协议测试
如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且...
郭雄辉赵保华周颢屈玉贵
关键词：形式化描述
文献传递
优化消息轨迹图以提高TTCN测试套的开发效率
最新的消息轨迹图（MSC）标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245...
吴慧萍屈玉贵赵保华
文献传递
一种基于RSL的协议形式化描述技术的研究被引量：6
2003年
This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.
赵静屈玉贵赵保华
关键词：RSL形式化描述技术通信协议计算机网络
优化消息轨迹图以提高TTCN测试套的开发效率被引量：1
2003年
最新的消息轨迹图(MSC)标准MSC 2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H 323、H 245等协议一致性测试的TTCN测试套开发中.
吴慧萍屈玉贵赵保华
基于同步有向图的同步测试序列生成方法被引量：3
2002年
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互发送同步消息来进行同步 .多端口协议和其它类型的分布式系统可以用有限状态机模型来描述 .目前 ,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型 .该文考虑两种有限状态机测试问题 :第一种是面向端口的测试 ,不考虑有限状态机测试单元之间的通信问题 ;第二种面向组的测试 ,有限状态机中的各个端口被分成互不相关的多个组 ,属于不同组中的测试单元之间互不通信 .该文提出了一种基于同步有向图的同步测试序列生成方法 .这种生成方法适用于 Pair同步、Port同步和组同步问题 .并且 ,这种方法也可以用来判断如何在非同步测试序列中增加同步通信 。
孙宇霖赵保华屈玉贵
关键词：通信协议
全选 清除 导出
共2页<12>
聚类工具0