В работе представлены результаты моделирования и проектирования метода обеспечения качества выпускаемого программного обеспечения как одного из возможных составных решений, подтверждающих аутентичность и достоверность результатов научно-исследовательских работ, полученных с использованием программной или аппаратно-программной реализации. Осуществлен анализ аппарата сетей Петри, отображены входные и выходные позиции переходов, а также приведена графическая формализация процесса моделирования. Исследуется динамика поведения сетей Петри (ее функционирование во времени). Для достижения данной цели применяются диаграммы древа маркировок совместно с матрицами инцидентности. В заключение производится анализ свойств сети Петри предлагаемого метода, гарантирующий ее соответствие исходным заявленным параметрам.
< ... >
The present work demonstrates the results of modeling and designing a method for ensuring the quality of the produced software as one of the possible composite solutions that confirm the authenticity and reliability of the results of scientific research obtained using software or hardware-software implementations. An analysis of the Petri net apparatus is performed, input and output positions of transitions are depicted, and a graphical formalization of the modeling process is provided. The dynamics of Petri net behavior is studied. In conclusion, an analysis of the properties of the Petri net of the proposed method is carried out, which guarantees compliance with the original declared parameters.
Keywords:
Petri Net, UML, BPMN, system modeling, system design, software development, DevOps, DevSecOps, SDLC, automated testing
Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»
