Automated class testing using threaded multi-way trees to represent the behaviour of state machines
Annals of Software Engineering
Hi-index | 0.00 |
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.