Тестування на основі контрактів з використанням онтологічного підходу

У статті проаналізовано використання контрактного тестування для перевірки сумісності двох компонент, а  саме вебсерверів,  що використовують прикладний  програмний  інтерфейс (АРІ) для передавання даних.

Стаття містить також порівняння АРІ та контрактних тестів і описує випадки, коли останні мають перевагу. Описано структуру контракту для контрактного тесту.

Наведено опис онтологічного підходу для порівняння знань про бізнес системи-постачальника, у вигляді онтологій, із програмним поданням системи-споживача, що зберігається у вигляді класів. Розроблено структуру об’єкта, що доповнює контракт, надаючи йому перевірки на рівні бізнес-логіки. Запропоновані базові предикати, що становлять основу цього методу, подано їхній опис. Використання поля mapping уможливлює використання тезаурусів чи словників для автоматизованої заміни понять за допомогою слів-синонімів.

Наведено приклад, що демонструє роботу цього підходу, а саме: спрощене представлення концептів системи-постачальника, спрощена структура класів системи-споживача, приклад АРІ та контракту для нього, розширення із використанням розробленого підходу та результат виконання тестів.