DocumentCode
3203806
Title
Test selection from UML Statecharts
Author
Liuying, Li ; Zhichang, Qi
Author_Institution
Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
fYear
1999
fDate
1999
Firstpage
273
Lastpage
279
Abstract
UML is a third-generation state-of-the-art object modeling language that supports object-oriented software requirements and design. Software requirements and design are very important which must be validated and verified before implementation. Testing is one of the best ways to do so. This paper considers the method for testing UML Statecharts. Statechart is an important formalism to model the dynamics of the system. However, so far, the testing problems in Statecharts have been investigated in the context of structural programming. In this paper, the method presented, which is based on the Wp-method, can automatically generate and select test cases from UML Statecharts in the context of object orientation, which will detect errors early on to improve software quality
Keywords
formal specification; object-oriented languages; object-oriented methods; object-oriented programming; program testing; program verification; software quality; UML Statecharts; Wp-method; dynamics modelling; error detection; object orientation; object-oriented software design; object-oriented software requirements; software quality; structural programming; test selection; third-generation state-of-the-art object modeling language; validation; verification; Automatic testing; Computer science; Concurrent computing; Object detection; Object oriented modeling; Programming; Software design; Software quality; Software testing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
Conference_Location
Nanjing
Print_ISBN
0-7695-0393-4
Type
conf
DOI
10.1109/TOOLS.1999.796494
Filename
796494
Link To Document