Инструменты LDRA для верификации ПО: Создание тестовых векторов в MATLAB