The modern approach to designing critical applications software such as, for example, a control system of the car, space system, a nuclear reactor, power unit, etc. is based on model system designing (Model-Driven Development Using UML 2.2). Model in language UML and a code in the programming language in modern system of working out are only two various representations of the same project. A consequence of it is possibility of automation of testing of software.