您的位置: 专家智库 > >

刘颖

作品数:1 被引量:1H指数:1
供职机构:内蒙古大学计算机学院(软件学院)更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇数据流
  • 1篇数据流测试
  • 1篇网络
  • 1篇网络协议
  • 1篇PETRI网

机构

  • 1篇内蒙古大学

作者

  • 1篇叶新铭
  • 1篇刘颖

传媒

  • 1篇通信学报

年份

  • 1篇1997
1 条 记 录,以下是 1-1
排序方式:
网络协议的一种数据流测试方法被引量:1
1997年
本文提出从一个Lotos说明(specifilation)中有选择地产生可执行测试序列的数据流的一种方法,这种方法是以Petri网为模型,采用最大的输入输出定义链标准来给出产生测试序列的一组算法,并且我们把这个测试选择方法应用到ABP(thealternatingbitprotocol)协议上。
刘颖叶新铭叶海薇
关键词:数据流PETRI网网络协议
共1页<1>
聚类工具0