МДПУ репозиторій

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

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

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

Скачати (277kB)

Резюме

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

Тип елементу : Стаття
Теми: Q Наука > QA Математика > QA75 Електронні комп'ютери. Інформатика
Підрозділи: Факультет інформатики, математики та економіки > Кафедра інформатики і кібернетики
Користувач, що депонує: Кафедра інформатики і кібернетики
Дата внесення: 07 Серп 2019 09:14
Останні зміни: 02 Жов 2019 05:50
URI: http://eprints.mdpu.org.ua/id/eprint/5561

Виконати (потребує авторізації)

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