Супруненко, О. О. and Онищенко, Б. О. (2022) Аналіз прихованих помилок у моделях програмних систем на основі мереж Петрі. Electronic Modeling, 44 (№ 2). pp. 38-50. ISSN 0204–3572
Text
44-2-4.pdf Download (405kB) |
Abstract
Описано основні характеристики моделі програмної системи (ПС), до яких належать працездатність та передбачуваність функціонування. Проаналізовано інструментальні засоби, що використовуються для моделювання ПС. Побудова моделей та аналіз динамічних властивостей ПС основано на виборі інтерпретацій та модифікацій мереж Петрі (Petri Nets (PN)). Вони дозволяють дотримуватись структурної подібності у модельованій системі, а також мають однозначний математичний опис. Аналіз властивостей PN дає змогу виявляти явні та приховані помилки у функціонуванні PN-моделі ПС, що не завжди можливо при застосуванні імітаційного моделювання. До таких властивостей належать живість, обмеженість, досяжність (покриваємість), збережуваність, безконфліктність, керованість. Виявляти дотримання цих характеристик дозволяють T- та P-інваріанти, а також характеристики матриці інцидентності моделі. Проведено матричний опис PN-моделі за допомогою основного рівняння мережі Петрі, визначення інваріантів та їх аналіз для виявлення динамічних властивостей моделі. Сформульовано правило відсутності прихованих тупиків та нескінченних циклів у PN-моделі. Проілюстровано визначення прихованих помилок на прикладі робочої, але не повністю керованої PN моделі. Описано виявлення прихованих помилок — тупика та нескінченного циклу.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | мережа Петрі ; PN-модель програмної системи ; аналіз прихованих помилок |
Subjects: | Фізико-математичні науки |
Divisions: | Факультет обчислювальної техніки, інтелектуальних та управляючих систем |
Depositing User: | Наукова Бібліотека |
Date Deposited: | 20 Feb 2024 11:58 |
Last Modified: | 20 Feb 2024 11:58 |
URI: | https://eprints.cdu.edu.ua/id/eprint/5990 |
Actions (login required)
View Item |