Activity Diagram-based Method to Generate Test Sequence of Concurrent Software
Zhang Li · 2007
Three basic concurrent software test strategies are proposed after the principle of concurrent control is analyzed. These three strategies give out the basic principles of concurrent software test: synchronization cover, key method cover and threads cover etc. Then, a method based on activity diagram is developed to model the concurrent flow of the software. Following that, the difficulty of test concurrent software-thread combination explosion is analyzed, and amethod to generate test sequence is proposed. To test concurrent software with the test sequence generating by the method is proved to solve the difficulty of thread combination explosion and fulfill the test strategies given before, according to the analysis later. And a contrast shows that this method is better than the method based on state diagram when the stability, adaptability and convenience are concerned. At the end, an example is given to show the feasibility and the validity of applying the method.