Генерації тестів цифрових систем
Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
Подобные документы
- 1. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Дослідження особливостей дворівневого алгоритму генерації тестів, заснованого на стратегії симуляції відпалювання. Ознайомлення з основними методами програмної реалізації запропонованих алгоритмів побудови вхідних послідовностей та їх оптимізації.
автореферат, добавлен 14.08.2015Аналіз генераторів псевдовипадкових послідовностей для завдань автентифікації користувачів. Наявність впливу значень параметрів генерації на її якість. Діапазони вхідних параметрів генерації для підвищення відсотку проходження тестів на випадковість.
статья, добавлен 06.02.2017Розробка моделі бази знань та архітектури експертної системи діагностування цифрових та мікропроцесорних пристроїв. Дослідження основних переваг прогресивних інформаційних технологій. Алгоритми функціонування модулів експертної системи діагностування.
автореферат, добавлен 20.04.2014Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Розробка та характеристика особливрстей методів примусового діагностування цифрових мікросхем, встановлених у модулях систем керування технічними об'єктами, які дозволяють мінімізувати загальний час діагностування за умов апріорної невизначеності.
автореферат, добавлен 29.08.2014Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
автореферат, добавлен 12.07.2014Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Сучасний стан напівпровідникових запам’ятовуючих пристроїв. Розробка математичної моделі запам’ятовуючого пристрою та засобу діагностування. Методи вибору тестів при наявності апріорних даних про властивості тестів. Особливості програми Optimal Test.
автореферат, добавлен 24.08.2015Розробка інформаційних технологій перетворення і аналізу цифрових зображень, що базуються на теорії трикутних норм та нечіткій логіці. Вивчення основних методів підвищення контрасту цифрових зображень. Побудова нових методів фільтрації шуму на зображенні.
автореферат, добавлен 25.08.2015Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Підвищення ефективності та достовірності процесу тестового комбінованого діагностування цифрових мікропроцесорних пристроїв шляхом побудови методик та алгоритмів оптимізації послідовностей тест-векторів, що реалізують умовні алгоритми діагностування.
автореферат, добавлен 21.11.2013Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Електронні тести, історія їх виникнення, поняття та види тестів. Розробка програми та компоненти що використовуються у написанні програми. Розробка тестів, обґрунтування вибору мови програмування, алгоритм реалізації проекту та файл питань тесту.
курсовая работа, добавлен 20.10.2008Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Методи побудови тестових послідовностей для схем з пам'яттю. Алгоритм оцінки довжини тестових послідовностей автомата. Апаратні засоби прискорення обчислень при синтезі тестів еволюційними методами, їх апробація на міжнародній бібліотеці послідовних схем.
автореферат, добавлен 28.08.2015Визначення основних найдоцільніших напрямків підвищення ефективності функціонування систем діагностування технологічного обладнання. Проведення дослідження властивостей і можливостей існуючих критеріїв оцінювання ефективності технологічного обладнання.
автореферат, добавлен 12.11.2013