Organization and Verification of Software Production Processes

Abstract

The article proposes an approach to verification of the software production process. The essence of the approach is to present the development process as a sequence of artifacts distributed in time and interconnected by certain relationships. A finite state machine using the model checking approach checks this distributed sequence. The results of this method allow to reduce the number of errors that occur in the production process and to localize the place of their occurrence.