当前位置: 首页 » 资料 » 健康论文 » 面向CPN属性的测试序列的自动生成方法

面向CPN属性的测试序列的自动生成方法

放大字体  缩小字体 更新日期:2018-11-26  浏览次数:4
摘 要:CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生
  • 【题 名】面向CPN属性的测试序列的自动生成方法
  • 【作 者】白红英 叶新铭 王慧
  • 【机 构】内蒙古大学鄂尔多斯学院 内蒙古鄂尔多斯017000 内蒙古大学计算机学院 内蒙古呼和浩特010021
  • 【刊 名】《科技资讯》2015年 第14期 26-27页 共2页
  • 【关键词】CPN属性 测试序列 自动生成
  • 【文 摘】CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。
 
本文导航:
  • (1) CPN属性,测试序列,自动生成
  • 下一篇:鳖甲
  • 上一篇:暂无
 
[ 资料搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]

 

 
推荐图文
推荐资料
热门关注