Testsing Concurrent Software Behavior Based On Cpn And TTCN-3

During the whole lifecycle of software development, software testing is one of the key links to ensure software quality. With the development of distributed systems, the test method of concurrent software has been being widely concerned and discussed. Due to the complexity of interactive behavior, the concurrent behavior of the software is inconclusive and not repeatable, and which will bring many difficulties to the test work. Aiming at this problem, this dissertation proposed a method which can effectively solve the problems of concurrent software testing. The mainly contents of dissertation are as follows:(1) Based on the hierarchical modeling of CPN, software with concurrent features was developed.(2) By using a reduction algorithm to the model reduction, the state space of the model is greatly reduced, and which is conducive to test generation. The comparison result of state reports before and after reduction validates the efficiency of the simplification algorithm to simplify the concurrent software model.(3) A test sequence generation algorithm was proposed, which generates the test sequence of two nodes by determining the location of the initial node and the terminal node in state space of concurrent behavior measured, and making the initial node and the terminal node paired according to whether existing the predecessor and successor relationships to reduce the number of nodes.(4) According to the generated test sequence, TTCN-3test cases were worked out to test the software concurrent behavior. Experimental results showed that the method of testing software concurrent behavior has certain validity and general versatility.