Research of testing method based on UML statecharts  

作　　者：占学德 

机构地区：[1]School of Computer Engineering and Science Shanghai University Shanghai 200072 P.R. China,Ph. D. Candidate,

出　　处：《Journal of Shanghai University(English Edition)》2006年第5期469-470,共2页上海大学学报（英文版）

摘　　要：Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.

关 键 词：unified modeling language （UML） statechart formalsemantics flattened regular expression （FREE） model specification based software testing test criteria automatic generation of test case. 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]