Evolution of UniTESK Test Development Technology

Authors: V. Kuliamin, A. Petrenko

Source: Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 9-26 (2018)

Subject Terms: тестирование на основе моделей, автоматизация тестирования, формальные спецификации, программные контракты, масштабируемость тестов, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/763; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/c2a92391ba2c4518a234d3daf4227169

РАЗВИТИЕ ПОДХОДА К РАЗРАБОТКЕ ТЕСТОВ UNITESK

Authors: Кулямин, В., Петренко, А.

Subject Terms: ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ПРОГРАММНЫЕ КОНТРАКТЫ, МАСШТАБИРУЕМОСТЬ ТЕСТОВ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/razvitie-podhoda-k-razrabotke-testov-unitesk
http://cyberleninka.ru/article_covers/14986339.png

Развитие подхода к разработке тестов UniTESK

Source: Труды Института системного программирования РАН.

Subject Terms: 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ПРОГРАММНЫЕ КОНТРАКТЫ, МАСШТАБИРУЕМОСТЬ ТЕСТОВ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14986339.png
http://cyberleninka.ru/article/n/razvitie-podhoda-k-razrabotke-testov-unitesk