Модель верификации web-ориентированных систем

Abstract

Авторами предлагается формальная модель для автоматизации процессов динамической верификации web-ориентированных систем, которая основывается на модели для адаптивного web-окружения и включает модель требований пользователя, модель домена и модель адаптивных правил. Модификация этих моделей позволила систематизировать процедуру тестирования и разработать целостный подход к тестированию.The authors propose the formal model for dynamic verification of web-oriented information systems processes automation. This model is based on the generic model for adaptive web-environments and includes the user model, domain model and rules (adaptation) model. The modification of these models allowed systematizing the testing procedure and developing the integral approach to testing.