Статья включает результат теоретического исследования и практического применения метода тестирования soft-процессоров, в частности, компилятора Nios ядра Altera Sopc Builder. Метод базируется на концепции Model-Based Testing. Инструментальным средством для разработки модели эталонной программы soft-процессора выбран формальный язык программирования ForSyDe. Рассматриваются этапы разработки модели с последующим анализом и сравнением результатов выполнения. В результате исследования подтверждена идентичность всех рассмотренных вариантов реализации цифровой системы. Полученные результаты целесообразно использовать для решения ряда практических задач. Ключевые слова: моделирование, Model-Based Testing, soft-процессор, ForSyDe, Altera SoPC Builder, Nios.
