• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊> 《计算机科学》 >基于CPN对系统的并发行为进行测试

基于CPN对系统的并发行为进行测试

         
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题.在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法.对于并发开始(末)库所按照CPN执行产生的状态空间中的节点进行了映射,得到状态空间中对应并发的开始(末)库所的开始(末)节点集合.通过对并发的开始(末)节点集内的节点间的关系进行分析,依据它们在状态空间中的前驱后继关系,生成一个由开始(末)节点的序列构成的序列的集合,然后以此序列集内的序列作为覆盖并发行为的测试序列的开始部分或者结尾部分,生成覆盖并发的测试序列.通过一个自行实现的P2P软件,使用了提出的建模方法及测试序列生成算法.最后通过得到的测试序列设计了测试场景及测试方案,包括Tracker并发行为测试系统结构、服务器测试方案及典型的测试场景设计.将P2P软件和TTCN-3测试机部署在一起实现了TTCN-3测试套的执行,测试结果表明测试工作的设计与实现是正确的.

著录项

  • 来源
    《计算机科学》 |2016年第1期|218-225|共8页
  • 作者

    李华; 孙涛; 王显荣; 邢熠; 李颖杰; 夏兴行;

  • 作者单位

    内蒙古大学计算机学院 呼和浩特010021;

    内蒙古大学网络信息中心 呼和浩特010021;

    内蒙古大学计算机学院 呼和浩特010021;

    内蒙古大学计算机学院 呼和浩特010021;

    内蒙古大学计算机学院 呼和浩特010021;

    西安飞行学院 兰州73300;

    内蒙古大学计算机学院 呼和浩特010021;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 TP393.06;
  • 关键词

    并发行为; CPN; 测试序列生成; TTCN-3;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号