Test Cases Generation Method from UML Statechart Based on LTL
Lei Gao · 2015
Automatic generation of test cases is one of the main directions of research in software testing.For software development process inefficiencies exist in test data generation,no purpose,redundancy and other issues,proposed test case generation method based on object-oriented class-level UML state chart.UML state chart is converted into the corresponding event deterministic finite state machine,by Linear-time Temporary Logic model checking techniques to verify the correctness of the finite state machine model.The experimental results show that this method can meet the migration standard coverage metric,to generate the number of small,targeted test set.