автоматизоване тестування

Методи та засоби системи перевірки сумісності окремих компонент веб-серверів

У цій статті розглянуто сучасний стан проблем у роботі з АРІ різних систем. Були проана- лізовані найпоширеніші методології (Agile та DevOps), методи та засоби побудови автомати- зованих конвеєрів для збірки та тестування продуктів проекту, наведено загальний вигляд конвеєра, що слугує відправною точкою при розробці проектів. У результаті аналізу опитувань розробників, DevOps інженерів були виділені ключові проблеми в інтеграції між різними системами з використанням АРІ.

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

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

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

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

Paper describes the use of algorithmic knowledge models for overnight testing automation. The arhitecture of intellectual testing system is described. Algorithmic models formalization is proposed. Knowledge model interaction and execution is presented for a real world test automation system.

Software architecture for verification and automated testing of problem solving methods for mathematical physics

The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2.