Research on Method of Object-Oriented Test Cases Generation Based on UML and LTS
Fanping Zeng, Zhide Chen, Qing Hua Cao, Liangliang Mao · 2009
We present a novel method of Object-Oriented test case generation based on UML state diagrams and Label Transition System (LTS). The procedure is based on model-based testing techniques with test cases generated from UML state diagrams translated into LTS. UML state diagram can be a model of modeling software system. LTS model is an internal model to precisely represent the state transition. The examples and analysis show that our method is effective.