Исследовано применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра Nios фирмы Altera, и последующего её тестирования. Предложена последовательность разработки модели, а также ее конвертации в VHDL-код для имплементации в ПЛИС (программируемую логическую микросхему).

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

Предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования.

Предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования.