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

• 作者: 夏兴行 孙涛 李华 李颖杰 王显荣 邢熠
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 并发行为 CPN 测试序列生成 TTCN-3
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 218-225
• 页数: 8页
• 分类号: TP393.06
• 字数: 7848字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.1.048

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙涛	内蒙古大学计算机学院	10	25	3.0	5.0
2	李华	内蒙古大学计算机学院	70	183	7.0	9.0
6	邢熠	内蒙古大学计算机学院	6	4	1.0	2.0
7	王显荣	内蒙古大学计算机学院	5	14	1.0	3.0
8	李颖杰		1	1	1.0	1.0
9	夏兴行	内蒙古大学计算机学院	3	25	2.0	3.0