周晓煜
- 作品数:6 被引量:17H指数:2
- 供职机构:中国科学技术大学更多>>
- 发文基金:国家教育部博士点基金安徽省自然科学基金国家自然科学基金更多>>
- 相关领域:电子电信自动化与计算机技术更多>>
- 基于构造类别代数的协议描述及其测试序列生成方法
- 基于构造类别代数的协议描述及其测试序列生成方法是一种用于通信协议一致性测试的方法,通信协议描述方法为:确定协议文本中的数据部分和控制部分,将其作为待描述的实体对象;对某个实体对象,根据协议文本的描述,对某个实体对象,协议...
- 赵宝华屈玉贵周颢孙宇霖周晓煜柯尧
- 文献传递
- 利用逆向判定性缩短EFSM的测试序列的长度被引量:10
- 2000年
- 在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型 ,引入了逆向判定性的概念 ,并利用这一概念对转换可执行性分析 (TEA)方法进行了改进 ,缩短了生成的测试序列的长度 ,并且减小了所需的TEA树扩展空间。
- 周晓煜屈玉贵赵保华
- 关键词:EFSM
- 基于形式化描述的协议一致性测试方法的研究
- 该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,将其与有限状态机模型结合起来,对协议的控制流和数据流进行完整的测试.该文的主要内容包含以下几个部...
- 周晓煜
- 关键词:协议一致性测试
- 文献传递
- 基于构造类别代数的变异分析被引量:2
- 2002年
- 在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
- 周晓煜赵保华屈玉贵
- 关键词:变异算子通信协议
- 一种基于构造类别代数的协议一致性测试方法
- 构造类别代数是一种通信协议的形式化方法.本文针对基于构造类别代数的协议描述,引入变异分析方法,对协议进行一致性测试.本文针对构造类别代数设计了几类变异算子,并且给出了使用变异分析对基于构造类别代数描述的协议进行一致性测试...
- 周晓煜赵保华屈玉贵
- 关键词:变异算子通信协议
- 文献传递
- 基于EFSM的自检测试被引量:3
- 2002年
- 在 EFSM (Extended Finite State Machine)的测试中 ,通常需要一些特征序列来判断当前的状态 ,以确定是否存在转换错误 .由于 EFSM中转换可执行条件的存在 ,使这些序列的生成比较困难 .本文引入了自检测试思想 ,通过比较待测实现与从 EFSM得到的直接实现的执行结果 ,来确定是否到达了正确的状态 。
- 周晓煜赵保华屈玉贵
- 关键词:扩展有限状态机通信协议