Using extended general statecharts to generate test cases for overloaded/polymorphic object-oriented programs: a case study

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.