Title :
Using extended general statecharts to generate test cases for overloaded/polymorphic object-oriented programs: a case study
Author :
Tsai, Bor-Yuan ; Stobart, Simon ; Parrington, Norman
Author_Institution :
Sch. of Comput. & Inf. Syst., Sunderland Univ., UK
Abstract :
There are two particular theories in object oriented programming languages: overloading and polymorphism. When a program has either of these two specialities and is depicted with a statechart, problems arise because different transition arcs are labelled with the same name but represent different duties on that statechart. What we call “general statecharts” (GS) can be used as a pattern to model the overloading and polymorphism aspect of C++ programs. Furthermore, method functions can be mapped to general statecharts to form extended general statechart (EGS). From these, state/transition trees can be generated easily
Keywords :
C language; object-oriented languages; object-oriented programming; program testing; tree data structures; trees (mathematics); C++ programs; EGS; case study; extended general statecharts; method functions; object oriented programming languages; overloaded/polymorphic object oriented programs; overloading; polymorphism; state/transition trees; test case generation; transition arcs; Computer aided software engineering; Educational institutions; Electronic mail; Information management; Information systems; Object oriented modeling; Object oriented programming; Performance evaluation; Protection; Testing;
Conference_Titel :
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings
Conference_Location :
Beijing
Print_ISBN :
0-8186-8551-4
DOI :
10.1109/TOOLS.1997.713532
