Based On Uml Models Of Software Testing Technique

The essence of software test based on model is how to develop effective test cases based on software specifications. Recently with the maturity and popularity of OO technology, testing based on UML has become an active topic, with some significant results achieved.Aimed to the interactive characteristics of most large complex software systems, this research is devoted to the study of software test method based on UML model. Also a statistical test supporting tool is implemented which integrated with Rational Rose.First of all, this dissertation gives a simple introduction of UML and model-based testing technology, points out advantages of applying UML models to direct testing, then analyzes all kinds of UML models, their testability and test strategy. During the study, we find that, thanks to the capability of describing system workflow and parallel activities, UML state diagram, use case diagram, activity diagram and sequence diagram are not only a powerful model in requirement analysis and design, they can also be an important basis for software test based on model.Based on above analysis, this dissertation is focused on the approach of software test based on UML state model. The background of software test based on UML state diagram is analyzed, then an improved approach of software test based on UML state diagram is put forward. This approach improves the test model by transforming the UML state diagram to extended finite state model (EFSM), then eliminating the infeasible paths in the EFSM. Thus we can generate test message sequences from the resulting EFSM and sort them.In addition, for the difficulties of the construction of use model in statistical test, by studying the UML use case diagram, activity diagram and sequence diagram, this paper analyzes an approach of statistical test based on UML model which transforms UML models to statistical use model. Thus we can use the traditional statistical test to test the software. Moreover, we also propose an algorithm for generating use model from real-time software UML model.Finally, this dissertation studies critical techniques in the software statistical test based on use model and analyzed present statistical test tools. A supporting statistical...