Browsing Факультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5) by Subject "Model-Based Testing"
Now showing items 1-1 of 1
-
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...