Analysis of Hidden Errors in the Models of Software Systems Based on Petri Nets
Oksana Aleksandrovna Suprunenko, Borys Onyshchenko, Julia Grebenovych · Èlektronnoe modelirovanie · 2022
Аналіз прихованих помилок у моделях програмних систем на основі мереж ПетріОписано основні характеристики моделі програмної системи (ПС), до яких належать працездатність та передбачуваність функціонування.Проаналізовано інструментальні засоби, що використовуються для моделювання ПС.Побудова моделей та аналіз динамічних властивостей ПС основано на виборі інтерпретацій та модифікацій мереж Петрі (Petri Nets (PN)).Вони дозволяють дотримуватись структурної подібності у модельованій системі, а також мають однозначний математичний опис.Аналіз властивостей PN дає змогу виявляти явні та приховані помилки у функціонуванні PN-моделі ПС, що не завжди можливо при застосуванні імітаційного моделювання.До таких властивостей належать живість, обмеженість, досяжність (покриваємість), збережуваність, безконфліктність, керованість.Виявляти дотримання цих характеристик дозволяють T-та Pінваріанти, а також характеристики матриці інцидентності моделі.Проведено матричний опис PN-моделі за допомогою основного рівняння мережі Петрі, визначення інваріантів та їх аналіз для виявлення динамічних властивостей моделі.Сформульовано правило відсутності прихованих тупиків та нескінченних циклів у PN-моделі.Проілюстровано визначення прихованих помилок на прикладі робочої, але не повністю керованої PNмоделі.Описано виявлення прихованих помилок -тупика та нескінченного циклу.Запропоновано варіант усунення тупика та перевірено його відповідність динамічним властивостям моделі.К л ю ч о в і с л о в а: мережа Петрі, PN-модель програмної системи, аналіз прихованих помилок