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

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