發送短信 : An evaluation on the comprehensibility of UML activity and state chart diagrams with regard to manual test generation