A Method Of Test Data Generation Based On UML Sequence Diagrams

Software testing is an important technique which assures the quality of software product, and generating valid test data is one of the key factors which guarantees the quality of software testing.With the development of model-based test, generating test data based on UML sequence diagrams is vital for integrate test to be feasible and efficient. By the research of UML2.0 sequence diagram and the path-wise test data generation, we propose a method of test data generation based on UML sequence diagrams.Firstly, in this dissertation we analyze control-flow of UML2.0 sequence diagrams(SD). It is not straight-forward to derive control-flow from SD, because of UML2.0 activity diagrams(AD) are good at describing SD control-flow feature, we select it to prompt a SD control-flow model:SDCFG, and define the consistency mapping rules between SD and SDCFG.Secondly, UML class diagrams, OCL constraints and SDCFG is combined to define a CIG model and propose rules to construct CIG. CIG pathes are generated from CIG and coverage criterias. A CIG path contains an interaction process and object constraints, we generate test constraints for CIG paths and discuss how to remove redundant constraints due to OCL navigation expressions.Finally, we divide test constraints into persistent constraints and variable constraints, solves persistent constraints according to OCL expression semantics, and adopts constraint processing and boundary value analysis to solve variable constraints. Persistent constraint solutions are combined with variable constraint solutions to generate test data.Throughout this paper, we use an example of ATM to illustrate the test data generation method we proposed.