Аналіз прихованих помилок у моделях програмних систем на основі мереж Петрі

Супруненко, О. О., Онищенко, Б. О. (2022) Аналіз прихованих помилок у моделях програмних систем на основі мереж Петрі. Electronic Modeling, 44 (№ 2). с. 38-50. ISSN 0204–3572

Text 44-2-4.pdf Download (405kB)

Резюме

Описано основні характеристики моделі програмної системи (ПС), до яких належать працездатність та передбачуваність функціонування. Проаналізовано інструментальні засоби, що використовуються для моделювання ПС. Побудова моделей та аналіз динамічних властивостей ПС основано на виборі інтерпретацій та модифікацій мереж Петрі (Petri Nets (PN)). Вони дозволяють дотримуватись структурної подібності у модельованій системі, а також мають однозначний математичний опис. Аналіз властивостей PN дає змогу виявляти явні та приховані помилки у функціонуванні PN-моделі ПС, що не завжди можливо при застосуванні імітаційного моделювання. До таких властивостей належать живість, обмеженість, досяжність (покриваємість), збережуваність, безконфліктність, керованість. Виявляти дотримання цих характеристик дозволяють T- та P-інваріанти, а також характеристики матриці інцидентності моделі. Проведено матричний опис PN-моделі за допомогою основного рівняння мережі Петрі, визначення інваріантів та їх аналіз для виявлення динамічних властивостей моделі. Сформульовано правило відсутності прихованих тупиків та нескінченних циклів у PN-моделі. Проілюстровано визначення прихованих помилок на прикладі робочої, але не повністю керованої PN моделі. Описано виявлення прихованих помилок — тупика та нескінченного циклу.

Actions (login required)

Перегляд елементу