发送短信 : Model-based semi-automated test case generation approach using UML diagrams