Test Case Generation Based on UML2.0 Models
Zhenhua Duan · Xi'an Jiaotong Daxue xuebao · 2011
To improve the test automation in software development process,following the researches on test case generation technology from models,a novel method is proposed based on UML2.0 sequence diagram(SD) with use case description,and event deterministic finite automata(ETDFA) are employed to describe the SD models of system interaction.By the model checked with propositional projection temporal logic(PPTL),the correctness of ETDFA is verified.The achieved accurate ETDFA models and use case description are regarded as the origin of test cases.The testing strategy derives the test cases according to the event and full path coverage criterion.The experimental analyses of library management system(LMS) show that this approach enables to improve software testing efficiency,and guarantee the accuracy of the test cases for the administrator′s action.