Басыня, Евгений Александрович (кандидат технических наук). Моделирование метода обеспечения качества выпускаемого ПО с использованием аппарата сетей Петри [Текст] = Modeling Quality Assurance Methods for the Produced Software Using Petri Network Machinery / Е. А. Басыня, Е. А. Малышев // Защита информации. Инсайд. - 2023. - № 5 (113). - С. 16-22 : ил., схем. - Библиогр.: с. 22
Рубрики: Информатика Информатизация общества. Информационная политика Кл.слова (ненормированные): Петри сеть -- автоматизированное тестирование -- программное обеспечение -- разработка программного обеспечения -- сеть Петри Аннотация: В статье представлены результаты моделирования и проектирования метода обеспечения качества выпускаемого программного обеспечения как одного из возможных составных решений, подтверждающих аутентичность и достоверность результатов научно-исследовательских работ. Осуществлен анализ аппарата сетей Петри, отображены входные и выходные позиции переходов, а также приведена графическая формализация процесса моделирования. Исследуется динамика поведения сетей Петри. В заключение производится анализ свойств сети Петри предлагаемого метода, гарантирующий ее соответствие исходным заявленным параметрам. Доп.точки доступа: Малышев, Егор Алексеевич Нет сведений об экземплярах (Источник в БД не найден) |