您的位置： 专家智库 > >

浙江省科技计划项目(2005C21027)

作品数：1 被引量：13H指数：1
相关作者：孟兆航魏仰苏舒挺更多>>
相关机构：浙江水利水电学院浙江理工大学更多>>
发文基金：浙江省自然科学基金浙江省科技计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇有限状态机
  • 1篇通信
  • 1篇通信协议
  • 1篇状态机
  • 1篇自动生成
  • 1篇可达性
  • 1篇可达性分析

机构

  • 1篇浙江理工大学
  • 1篇浙江水利水电...

作者

  • 1篇舒挺
  • 1篇魏仰苏
  • 1篇孟兆航

传媒

  • 1篇计算机工程与...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
通信协议一致性测试序列自动生成算法研究被引量：13
2007年
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。
魏仰苏孟兆航舒挺
关键词：可达性分析有限状态机
全选 清除 导出
共1页<1>
聚类工具0