Suche
Anzeige der Dokumente 1-1 von 1
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...