Title :
Test selection from UML Statecharts
Author :
Liuying, Li ; Zhichang, Qi
Author_Institution :
Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
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;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
Conference_Location :
Nanjing
Print_ISBN :
0-7695-0393-4
DOI :
10.1109/TOOLS.1999.796494