Модель верификации web-ориентированных систем
Анотації
Авторами предлагается формальная модель для автоматизации процессов динамической верификации 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.
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей ресурс:
http://ir.lib.vntu.edu.ua/handle/123456789/4514