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

Скляр, В. В.; Харченко, В. С.; Панарин, А. С.; Сандер, И.


	Наукова періодика України		Радіоелектронні і комп’ютерні системи

Скляр В. В.
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер / В. В. Скляр, В. С. Харченко, А. С. Панарин, И. Сандер // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 237–241. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_40

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

Повний текст PDF - 276.736 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Бібліографічний опис для цитування:

Скляр В. В. Применение концепции Model-Based Testing для верификации систем на базе IP-ядер / В. В. Скляр, В. С. Харченко, А. С. Панарин, И. Сандер // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 237–241. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_40.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Скляр Володимир Володимирович (технічні науки)

Харченко Вячеслав Сергійович (технічні науки)

Харченко Валентина Сергіївна (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача