EEWOWW is an online personal knowledge management tool. Click to find out more!
Updated in 2020/6/28 下午 04:46:19      Viewed: 19 times      (Journal Article)

A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language

TD Vu , PN Hung , VH Nguyen
This paper proposes an automated test data generation method from the information embedded in model elements such as Unified Modeling Language (UML) sequence diagrams, class diagrams, and Object Constraint Language (OCL). The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments describing control flow of systems. Comparing with some approaches by using depth first search (DFS) or breadth first search (BFS) algorithms, the proposed method generates all possible test scenarios with the higher error uncover capability. Test data for testing loop fragment is also generated. Therefore, it helps to detect errors in testing loops and the concurrency errors such as safety and liveness property of the systems.