MDPU Repository

Метод підвищення якості веб-додатків на основі автоматного підходу

Артюхов, В. Є. and Постильна, О. О. (2019) Метод підвищення якості веб-додатків на основі автоматного підходу. Інформаційні технології в освіті та науці: зб. наук. пр. (11). pp. 17-21.

[img] Text
Аотюхов_Постильна_2019.pdf

Download (277kB)

Abstract

Протягом останніх років суттєво зросла як складність веб-додатків, так і вимоги до їх надійності. Найчастіше через стислі терміни розробки й часто мінливих вимог замовника перевірка якості веб-додатків здійснюється вручну без формальних критеріїв. Відсутність моделей і формальної специфікації робить процес перевірки якості трудомістким та не дозволяє гарантувати відсутність помилок. У статті запропоновано метод автоматичного виділення явних станів і побудови автоматної моделі для веб-додатків за допомогою динамічного аналізу. Наявність автоматної моделі дозволить формалізувати вимоги специфікації та використовувати Model Checking для автоматизації процесу тестування. Також розроблений алгоритм пошуку схожих станів, завдяки якому навіть для складних веб-додатків, можливо автоматично будувати моделі з невеликою кількістю станів, які будуть зрозумілі розробникові. Ключові слова. Model Checking, тестування, алгоритм, стан, автоматна модель, веб-додаток

Item Type: Article
Subjects: Q Наука > QA Математика > QA75 Електронні комп'ютери. Інформатика
Divisions: Факультет інформатики, математики та економіки > Кафедра інформатики і кібернетики
Depositing User: Кафедра інформатики і кібернетики
Date Deposited: 07 Aug 2019 09:14
Last Modified: 07 Aug 2019 09:14
URI: http://eprints.mdpu.org.ua/id/eprint/5561

Actions (login required)

View Item View Item