![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Панарин А$<.>) |
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
|
| | | | |
1. |
Скляр В. В. Применение концепции Model-Based Testing для верификации систем на базе IP-ядер / В. В. Скляр, В. С. Харченко, А. С. Панарин, И. Сандер // Радіоелектрон. і комп'ют. системи. - 2010. - № 5. - С. 237-241. - Библиогр.: 8 назв. - рус.Исследовано применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра Nios фирмы Altera, и последующего её тестирования. Предложена последовательность разработки модели, а также ее конвертации в VHDL-код для имплементации в ПЛИС (программируемую логическую микросхему). Індекс рубрикатора НБУВ: З972-07-5-05
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Панарин А. С. Имитационное моделирование soft-процессоров на базе концепции Model-Based Testing / А. С. Панарин // Радіоелектрон. і комп'ют. системи. - 2012. - № 5. - С. 100-106. - Библиогр.: 7 назв. - рус.Рассмотрен результат теоретического исследования и практического применения метода тестирования soft-процессоров, в частности, компилятора Nios ядра Altera Sopc Builder. Метод базируется на концепции Model-Based Testing. Инструментальным средством для разработки модели эталонной программы soft-процессора выбран формальный язык программирования ForSyDe. Рассмотрены этапы разработки модели с последующим анализом и сравнением результатов выполнения. В результате исследования подтверждена идентичность всех рассмотренных вариантов реализации цифровой системы. Полученные результаты целесообразно использовать для решения ряда практических задач. Індекс рубрикатора НБУВ: З972-07-5-05
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Скляр В. В. Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования / В. В. Скляр, В. С. Харченко, А. С. Панарин // Радіоелектрон. і комп'ют. системи. - 2014. - № 1. - С. 29-41. - Библиогр.: 11 назв. - рус.Предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования. Індекс рубрикатора НБУВ: З965.974-04 + З972-07-5-05 + З973-048
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Скляр В. В. Тестирование программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования / В. В. Скляр, В. С. Харченко, А. С. Панарин // Системи оброб. інформації. - 2014. - Вип. 1. - С. 44-55. - Библиогр.: 11 назв. - рус.Предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования. Індекс рубрикатора НБУВ: З972-07-5-05
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
|