A formal application model for code and test generation
S. N. Baranov, V. P. Kotlyarov · Automatic Control and Computer Sciences · 2012
The considered model is used in manual development of application specifications and is based on the Letichevsky theory of basic protocols and a respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the source requirements are discussed. If the model is verified successfully, the executable code of the application and the respective test code are generated from the model. The technique of using the developed model is described.