您的位置： 专家智库 > >

白红英

作品数：1 被引量：0H指数：0
供职机构：内蒙古大学鄂尔多斯学院更多>>
相关领域：文化科学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇文化科学

主题

  • 1篇自动生成
  • 1篇CPN

机构

  • 1篇内蒙古大学

作者

  • 1篇叶新铭
  • 1篇白红英
  • 1篇王慧

传媒

  • 1篇科技资讯

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向CPN属性的测试序列的自动生成方法
2015年
CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。
白红英叶新铭王慧
关键词：自动生成
全选 清除 导出
共1页<1>
聚类工具0