一种基于活动图的并发软件测试线索生成方法  

Activity Diagram-based Method to Generate Test Sequence of Concurrent Software

作　　者：曾一[1] 张利武[1] 张元平[1] 袁纲[1] 李强[1] 

机构地区：[1]重庆大学计算机学院,重庆400044

出　　处：《计算机科学》2007年第12期286-290,共5页Computer Science

摘　　要：分析并发软件的控制原理,提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点即进程组合爆炸问题,给出了一种基于模型图生成测试线索集的方法,证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题,又能满足三个测试策略。通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法;最后通过一个实例表明了应用本方法的可行性和有效性。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.

关 键 词：测试策略 活动图 组合爆炸 测试线索 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]