Институт системного программирования им. В.П. Иванникова РАН


PyTESK

PyTESK - инструмент для автоматизации тестирования программного обеспечения. PyTESK представляет собой реализацию на языке Python технологии UniTESK и некоторых дополнительных средств тестирования. PyTESK предоставляет возможность компактного описания длинных тестовых последовательностей на языке Python, имплицитной и эксплицитной спецификации функций и методов для автоматического вынесения вердикта о корректности наблюдаемого поведения реализации, средства для автоматического создания кодеков для телекоммуникационных протоколов и бинарных структур данных, сравнения с шаблонами (pattern matching). PyTESK позволяет быстро разрабатывать модели и тесты сложных протоколов и программных интерфейсов, и при этом не требует от пользователей знания сложных языков программирования, таких как Java, С++ или С.

Разработчик/участник

Технологии программирования

Перейти к списку всех технологий