Software faults classification, methods of quality control are considered. As a result of their analysis creation of modeling and testing till-implementation environment is offered. It should help to warn an occurrence of certain types of errors at development software cycle till a realization stage (the analysis, designing). The structure of environment, a principle of its work, interaction with the user and other applications which automate software development process are offered. The choice of criteria of testing of the created model is considered and proved.
the software, quality of the software, the analysis, designing, testing, modeling, realization, implementation, UML, E-nets, a counter, transition