您的位置： 专家智库 > >

田野

作品数：1 被引量：1H指数：1
供职机构：香港中文大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇一致性
  • 1篇协议一致性测...

机构

  • 1篇中兴通讯股份...
  • 1篇西南民族大学
  • 1篇香港中文大学

作者

  • 1篇向培素
  • 1篇田珂
  • 1篇田野

传媒

  • 1篇西南民族大学...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
非确定部分有限状态机的一种新的一致性关系及其测试被引量：1
2007年
在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.
向培素田珂田野
关键词：协议一致性测试
全选 清除 导出
共1页<1>
聚类工具0