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

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

Testing Concurrent Behavior of System Based on CPN

The basic concurrent behavior was firstly modeled with CPN and the state space was obtained through CPN Tools.After that the complexity of the CPN was increased to show the possibly problems along with the state space quickly increasing.Secondly the phase of test generation was divided into three parts to guarantee the test coverage of concurrent behavior.Among them,the test sequences which only focused on the coverage of concurrent behaviors were generated and the other two parts were generated according to the regular path generation methods.The concurrency start(end) places were mapped with the state space nodes according to the CPN model execution and the sets of start(end) nodes in the state space were achieved.After analyzing the relationship between the nodes in the sets of start(end) nodes,the sequences sets were built according to the pre or pro relationship in the sets.The start(end) parts of the test sequences were selected from such sets,and the middle test sequences between start sequence to end sequence were generated.Furthermore,to illustrate the usage of the modeling method and the test generation,a simple P2P software system which is inherited concurrent behaviors was implemented and modeled with hierarchy CPN and the test sequences were generated to coverage the concurrent behavior.Finally,a TTCN-3 test scheme was designed according to the requirement of test sequences and a test scenario was designed.And the implemented software system and the TTCN-3 tester were deploying in one scenario to execute designed TTCN-3 testing suite.The test results show the correctness of the designed and implemented test work.