Analysis and Simulation

Once we have constructed a conceptual model which is consisting of an activity-chart and it’s controlling state charts it can be thoroughly tested and analyzed. The model might define the entire system down to the lowest level of detail or it might be only a partial specification.

We must 1st be sure which of the model is syntactically right. This gives increment to several relatively straightforward tests example for that the several charts are not blatantly incomplete example dangling arrows, missing labels or names,; in which the definitions of no graphical parts, like as conditions and events, employ legal operations only and so on. The Syntax checking also involves more subtle tests, like as the correctness of outputs and inputs. An example of this is a test for parts which are used in the state chart but are neither input nor affected internally like as a power-on event which is meant to cause a transition in the state chart but is not defined in the activity-chart as an input. All of these are commonly referred to as completeness and consistency and tests and most of them are analogous to the checking carried out through a compiler prior to the real compilation of a programming language.