Методи вдоcконалення теcтування цифрових cиcтем
Journal Title: Вісник Східноукраїнського національного університету імені Володимира Даля - Year 2018, Vol 1, Issue 6
Abstract
У статті розглянуті останні дослідження в напрямку те хнологіїDesign & Test, дедуктивно-паралельне моделюван ня несправності цифрових систем, проведена класифікаці я існуючих рішень вдосконалення тестування цифрових си стем, запропонована узагальнена модель дедуктивно-пара лельного аналізу цифрових систем, представлена внутріш ня модель та структури даних для аналізу цифрового при ладу, запропонований дедуктивний аналіз дефектів, розгл янутий синтез дедуктивної функції за допомогою таблиці істинності.
Authors and Affiliations
І. В. Каcабуцька, В. С. Кардашук
Keywords
Related Articles
- EP ID EP532144
- DOI -
- Views 126
- Downloads 0
ІНОЗЕМНІ ЗАЗІХАННЯ НА ДУХОВНИЙ ПОТЕНЦІАЛ ВЕЛИКОГО КНЯЖІННЯ КИЇВСЬКОГО У КІНЦІ ХІІІ – СЕРЕДИНІ ХІV СТ.
У статті аналізується духовний потенціал Великого княжіння Київського під час розгортання литовської екс- пансії на українські землі. Він привертав увагу й інших претендентів на «Київську спадщину». Автор дійшла ви- снов...
МЕТОДОЛОГІЧНІ ЗАСАДИ ФОРМУВАННЯ ФІНАНСОВОЇ СТРАТЕГІЇ СТАЛОГО РОЗВИТКУ ПІДПРИЄМСТВ
В статті визначено передумови методологічних засад формування фінансової стратегії сталого розвитку підприємств. На новій парадигмі розроблено концептуальні положення фінансової стратегії, які базуються на концепціях ста...
ЯВНЫЕ И НЕЯВНЫЕ ТЕРМИНЫ-ОКСЮМОРОНЫ КАК ПРИЗНАК ПОКАЗАТЕЛЬНО ПАРАДОКСАЛЬНОГО ТЕРМИНИРОВАНИЯ В СЛОЖНЫХ И ЭКЛЕКТИЧНЫХ ПРЕДМЕТАХ ИССЛЕДОВАНИЯ УСТОЙЧИВОГО РАЗВИТИЯ, ЧЕЛОВЕЧЕСКОГО КАПИТАЛА, ПОВЕДЕНЧЕСКИХ И КОРПОРАТИВНЫХ ФИНАНСОВ
Выдвинута и аргументирована научная гипотеза о возможности идентификации уровня развитости и эклектичности современных предметных областей по степени представленности терминами-оксюморонами понятий-но-категориальных аппа...
МОТИВАЦІЯ ПРАЦІ: ПОНЯТТЯ, СУТНІСТЬ, МІСЦЕ В СИСТЕМІ ЕКОНОМІЧНИХ ВІДНОСИН
Стаття присвячена дослідженню сутності мотивації праці в системі ринкової економіки. Мотивацію праці визначено в якості сукупності відносин на підприємстві між найманими працівниками і підприємцем. В контексті функціонал...
ПРИНЦИПЫ ОПРЕДЕЛЕНИЯ ИНДИКАТОРОВ ЭНЕРГОЭФФЕКТИВНОСТИ ДЛЯ СУДОВ ВНУТРЕННЕГО ПЛАВАНИЯ
Рассмотрены вопросы идентификации индикаторов энергоэффективности во внутреннем судоходстве. Проведен анализ индексов энергоэффективности, применяемых Международной морской организацией в международном морском судоходств...