Model Verification and Validation : Prototype Code Generation

Prototype Code Generation

A final test of the model is to generate prototype code from the model - including the graphical user interface - and test the executable prototype using the recorded stimuli and response files from the interactive simulation. The compiled code might be run on any OS compatible computer. The process of generating code requires Rational Statemate to perform additional tests on the model that are not needed for simulation and are not performed by Check Model.

From the V&V process point of view, it is important that code is generated before proceeding to the next level of decomposition since, as the system becomes more detailed and complex, a point might be reached where interpreted simulation is no longer viable due to speed and performance considerations. It is much easier to generate code gradually as the model is built up, when problems can be more easily identified and fixed rather than leaving the code generation for the end of the design process where problems are likely to be deep within the model.