dc.contributor.author | Скляр, В.В. | |
dc.contributor.author | Харченко, В.С. | |
dc.contributor.author | Панарин, А.С. | |
dc.contributor.author | Сандер, И. | |
dc.date.accessioned | 2023-01-09T12:17:49Z | |
dc.date.available | 2023-01-09T12:17:49Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Применение концепции Model-Based Testing для верификации систем на базе IP-ядер / В. В. Скляр, В. С. Харченко, А. С. Панарин, И. Сандер // Радіоелектронні і комп'ютерні системи. – 2010. – № 5. – С. 237–241. | uk_UA |
dc.identifier.issn | 1814-4225 | |
dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3634 | |
dc.description.abstract | Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра Nios фирмы Altera, и последующего ее тестирования. | uk_UA |
dc.description.abstract | Досліджується застосування концепції Model-Based Testing на прикладі інструментального засобу ForSyDe, заснованого на формальній мові програмування Haskell для розробки моделі програми, створеної за допомогою IP-ядра Nios фірми Altera, та подальшого її тестування. | uk_UA |
dc.language.iso | ru | uk_UA |
dc.publisher | ХАІ | uk_UA |
dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
dc.subject | ForSyDe | uk_UA |
dc.subject | Model-Based Testing | uk_UA |
dc.subject | IP-ядро | uk_UA |
dc.subject | soft-процессор | uk_UA |
dc.subject | моделирование | uk_UA |
dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
dc.subject | soft-процесор | uk_UA |
dc.subject | моделювання | uk_UA |
dc.title | Применение концепции Model-Based Testing для верификации систем на базе IP-ядер | uk_UA |
dc.type | Article | uk_UA |