Модель верификации 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