郭雄辉
- 作品数：12 被引量：39H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Petri网和Z语言的集成形式化方法被引量：3
- 2004年
- 随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ,并互相弥补不足 ,进而形成一种新的、更加全面的形式化方法
- 胡劲松赵保华郭雄辉屈玉贵
- 关键词：形式化方法PETRI网Z语言
- 基于Markov链模型的被动测试错误检测算法被引量：3
- 2006年
- 通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.
- 赵保华钱兰屈玉贵郭雄辉
- 关键词：被动测试MARKOV链
- 协议被动测试理论与方法研究
- 本文研究了有限状态机模型上被动测试的一些理论和方法,本文给出了树状结构上带权和不带权顶点覆盖问题的线性时间算法，并改进了一个已知的近似比为2的不带权顶点覆盖问题的近似算法，同时还给出了带权顶点覆盖问题的一个贪心近似算法。...
- 郭雄辉
- 关键词：被动测试有限状态机
- 文献传递
- 基于有限状态机的错误诊断算法被引量：3
- 2006年
- 基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。
- 赵保华钱兰周颢郭雄辉
- 关键词：有限状态机
- 基于构造类别代数的数据流和控制流相结合的协议测试被引量：7
- 2003年
- 如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子.
- 郭雄辉赵保华周颢屈玉贵
- 关键词：形式化描述
- 基于构造类别代数的数据流和控制流相结合的协议测试
- 如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且...
- 郭雄辉赵保华周颢屈玉贵
- 关键词：形式化描述
- 文献传递
- 被动测试中观察者放置问题被引量：2
- 2005年
- 在被动测试中如何放置观察者使得放置的数目最少并且能监视整个网络的运行情况是一个很有实际应用价值的问题·先证明了该问题是一个NP完全问题;接着讨论了在网络拓扑是树的特殊情形下该问题的解,并给出了针对树结构的一个线性时间算法;然后在一个已有的近似比为2的算法基础上给出了一个改进算法并证明了其近似比为2-O(1),最后用实验来验证了改进算法的有效性,指明了进一步的研究方向·
- 赵保华郭雄辉钱兰屈玉贵
- 关键词：被动测试NP完全问题
- 被动测试中的错误诊断算法被引量：5
- 2005年
- 介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明算法的有效性.
- 郭雄辉赵保华钱兰
- 关键词：被动测试有限状态机
- 基于TCL的分布式协议测试系统被引量：2
- 2006年
- 提出了一个基于TCL的分布式协议测试系统——DPTS。该系统具有通用性、易操作性、平台无关性和可扩展性,目前已对IPv6协议族各主要协议进行了广泛的一致性测试。给出了一些测试实例。
- 黄东晓屈玉贵赵保华郭雄辉林华辉
- 关键词：TCL分布式测试IPV6
- 基于UIO测试序列的错误诊断算法被引量：3
- 2006年
- 唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。
- 赵保华钱兰郭雄辉
- 关键词：有限状态机
