Description: The article is devoted to the problems of formalization of testing of the models of the complex program systems at the initial stages of their life cycle.