Применение концепции Model-Based Testing для верификации систем на базе IP-ядер

Abstract

Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра Nios фирмы Altera, и последующего ее тестирования.

Досліджується застосування концепції Model-Based Testing на прикладі інструментального засобу ForSyDe, заснованого на формальній мові програмування Haskell для розробки моделі програми, створеної за допомогою IP-ядра Nios фірми Altera, та подальшого її тестування.