孙宇霖
- 作品数：5 被引量：27H指数：3
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家教育部博士点基金国家高技术研究发展计划中国科学院院长基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 一种通信协议测试序列生成的新方法被引量：18
- 2001年
- 本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。
- 孙宇霖屈玉贵赵保华
- 关键词：有限状态机通信协议
- 基于构造类别代数协议测试理论的研究
- 通信协议一致性测试是协议工程中的一个重要部分,它的目的是测试通信协议软件的外部行为是否与通信协议规范一致.它的工作过程一般是首先对通信协议进行形式化描述,然后使用通信协议的形式化描述生成测试序列,最后使用此测试序列进行测...
- 孙宇霖
- 关键词：形式化描述技术代数规范
- 文献传递
- 基于构造类别代数的协议描述及其测试序列生成方法
- 基于构造类别代数的协议描述及其测试序列生成方法是一种用于通信协议一致性测试的方法，通信协议描述方法为：确定协议文本中的数据部分和控制部分，将其作为待描述的实体对象；对某个实体对象，根据协议文本的描述，对某个实体对象，协议...
- 赵宝华屈玉贵周颢孙宇霖周晓煜柯尧
- 文献传递
- 基于同步有向图的同步测试序列生成方法被引量：3
- 2002年
- 使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互发送同步消息来进行同步 .多端口协议和其它类型的分布式系统可以用有限状态机模型来描述 .目前 ,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型 .该文考虑两种有限状态机测试问题 :第一种是面向端口的测试 ,不考虑有限状态机测试单元之间的通信问题 ;第二种面向组的测试 ,有限状态机中的各个端口被分成互不相关的多个组 ,属于不同组中的测试单元之间互不通信 .该文提出了一种基于同步有向图的同步测试序列生成方法 .这种生成方法适用于 Pair同步、Port同步和组同步问题 .并且 ,这种方法也可以用来判断如何在非同步测试序列中增加同步通信 。
- 孙宇霖赵保华屈玉贵
- 关键词：通信协议
- 多单元协议一致性测试中的同步序列的生成被引量：3
- 2001年
- 有限状态机模型一般被用来描述通信协议和其它种类的分布式系统 .对于一个多端口的有限状态机 ,需要多个测试单元进行测试 .使用一个包括 K个 (K≥ 2 )测试单元的测试系统可以检查一个多单元通信协议软件的收发行为是否与协议规格一致 .在测试过程中 ,K个测试单元之间可能会出现同步问题 .目前 ,主要是通过增加外部同步操作来解决同步问题 .提出了一种新的同步测试序列生成模型——同步有向图 ,它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下 ,产生同步测试序列 ;如果可以产生 ,则此生成模型可以将非同步测试序列转化为相应的同步测试序列 ;另外此生成模型还可以用来选择为测试系统增加外部同步通道的方法 .
- 孙宇霖屈玉贵赵保华
- 关键词：通信协议有限状态机
