The analysis of life cycle of software is conducted. It is certain that one of the basic stages, influencing on safety of software, there is his testing. The GERT-model of process of the safe testing of software is developed. During a design developed and the model and simplified GERT-network of algorithm of testing of software formalize mathematically. An equivalent W-функция and closeness of distribution of probabilities of time of testing of software is found. A model can be utillized for research of the basic stages of testing SOFTWARE with the purpose of decline of his vulnerability and increase of safety of IT-проекта on the whole, and similarly at development of new methods, algorithms and methods of management IT-проектами.
safe testing of software, GERT-model, life cycle of software, bag’s life cycle