Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
View/ Open
Date
2010Author
Скляр, В.В.
Харченко, В.С.
Панарин, А.С.
Сандер, И.
Metadata
Show full item recordAbstract
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра Nios фирмы Altera, и последующего ее тестирования. Досліджується застосування концепції Model-Based Testing на прикладі інструментального засобу ForSyDe, заснованого на формальній мові програмування Haskell для розробки моделі програми, створеної за допомогою IP-ядра Nios фірми Altera, та подальшого її тестування.