1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(22)'2002
  5. Mathematical formalization of the test model of objects' interaction in the complex program system

Mathematical formalization of the test model of objects' interaction in the complex program system

S.А. Olizarenko
Annotations languages:

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.