Modeling of software development process with the Markov processes

Abstract

The comparative analysis of the existing research on the application of formal approaches to the software development process modeling is performed. Based on the analysis, the urgency of modeling of the software development process as a Markov random process is substantiated. An information model of association rule mining and application in software development is developed. The information model represents the process and can be used in the design of appropriate information technology. The research, which determined the number of steps needed to develop one software component and the whole software is carried out. The levels of detail of the software development process such as the level, representing the development of software, which is a finite set of software components; the level, representing a detailed description of the stages of development of a particular component; the level, representing a detailed description a certain stage of development of a particular component are identified. For each level, the relevant stages of software development are described. Modeling of the software development process with the Markov chains is conducted. This will allow using a single mathematical tool to represent the corresponding process at different levels of detail

Запропоновано інформаційну модель процесу пошуку і використання асоціативних правил при розробці програмного забезпечення, яка може бути використана при створенні відповідної інформаційної технології. При цьому розглянуто формальні підходи для опису процесу розробки програмного забезпечення. Здійснено моделювання даного процесу на різних рівнях деталізації за допомогою Марковських ланцюгів

Предложена информационная модель процесса поиска и использования ассоциативных правил при разработке программного обеспечения, которая может быть использована при создании соответствующей информационной технологии. При этом рассмотрены формальные подходы для описания процесса разработки программного обеспечения. Осуществлено моделирование данного процесса на разных уровнях детализации с помощью Марковский цепей