Модель верификации web-ориентированных систем
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Модель верификации web-ориентированных систем
|
|
| Creator |
Брагина, Татьяна
Табунщик, Галина |
|
| Description |
Авторами предлагается формальная модель для автоматизации процессов динамической верификации 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. |
|
| Date |
2016-01-20T11:40:38Z
2016-01-20T11:40:38Z 2014 |
|
| Type |
Thesis
|
|
| Identifier |
Брагина, Т. Модель верификации web-ориентированных систем [Текст] / Татьяна Брагина, Галина Табунщик // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 22-24.
http://ir.lib.vntu.edu.ua/handle/123456789/4514 004.05 |
|
| Language |
uk_UA
|
|
| Publisher |
ВНТУ
|
|