Еволюційні методи побудови перевіряючих тестів цифрових систем
Генерація тестів для цифрових логічних схем, що дозволяють підвищити повноту тестових впливів, що генеруються, і скоротити час їх побудови. Модифікування проблемно-орієнтованих генетичних операторів кросінговера та мутації для тестових послідовностей.
Подобные документы
- 1. Розробка методів і засобів тестування цифрових пристроїв в системах покомпонентного діагностування
Розробка математичної моделі та формального апарату побудови компонентних структур об’єкту діагностування, алгоритму оцінки складності та корекції тестових програм для утвореної компонентної структури й методу адаптивного тестування цифрових об’єктів.
автореферат, добавлен 18.11.2013 Реалізація методики формування і вибору тестових сигналів для дослідження параметрів частотних характеристик аналогових та цифрових пристроїв. Особливості підготовки та налаштування тестових сигналів, що проходитимуть через певний електронний пристрій.
статья, добавлен 27.07.2016Розробка моделі предикатних функцій збудження управляючого автомата, підтримуючих стандарт VHDL. Проектування детермінованого методу генерації тестів для змістовного графа автомата шляхом рішення настановної задачі на предикатних функціях збудження.
автореферат, добавлен 12.02.2014Створення цифрових інтегральних схем. Основні принципи побудови і програмування ПЛІС, тенденції розвитку. Програмовані комутовані матричні блоки. Огляд елементної бази, що застосовується для побудови логічних керуючих автоматів з паралельною архітектурою.
реферат, добавлен 14.05.2012Підхід до побудови функціональних перевірних тестів для безконтактного індукційного методу діагностування радіоелектронних компонентів, особливості його впровадження. Огляд цифрових елементів пам'яті, мікроконтролера в якості радіоелектронних компонентів.
статья, добавлен 26.02.2017Розробка ефективних методів побудови спецпроцесорів та аналого-цифрових кодерів на основі інтегрально-імпульсної інформаційної технології. Збільшення завадостійкості інформаційних повідомлень. Розроблення програмних засобів цифрового перетворення даних.
автореферат, добавлен 26.02.2015Аналіз сучасного стану цифрових методів управління параметрами каналів зв`язку телекомунікаційних систем та інформаційних сигналів. Розробка методів і схем побудови цифрових регуляторів для телекомунікаційних каналів з можливістю їх масштабування.
автореферат, добавлен 04.03.2014Удосконалення та розвиток покомпонентного методу діагностування цифрових об'єктів дослідження за рахунок розробки ефективних машинних процедур пошуку дефектів. Урахування критичних значень теплофізичних параметрів процесу наведення тестових сигналів.
автореферат, добавлен 11.11.2013Пропонується ідея використання біноміальних систем числення при розробці завадостійких і відмовостійких біноміальних цифрових пристроїв, що дозволить покращити характеристики роботи телекомунікаційних систем та побудувати нову концепцію їх роботи.
научная работа, добавлен 13.01.2020Розвиток методів аналізу і практики побудови захищених швидкісних цифрових систем передачі інформації, що враховують наявність в них відвідного радіоканалу, в інтересах створення мультимедійних відомчих систем зв’язку. Удосконалення моделей ЦСПІ.
автореферат, добавлен 27.07.2015- 11. Розробка та дослідження структурних методів та засобів побудови тестопридатних цифрових пристроїв
Аналіз тестопридатності цифрових схем, заснованих на застосуванні функціональних елементів. Поняття комбінаційних структур, що реалізують булеві функції. Архітектура діагностичних комплексів та функціональний склад прикладного програмного забезпечення.
автореферат, добавлен 07.08.2014 Методи і алгоритми швидкого тестування цифрових пристроїв на основі формування штучних фрагментів схем та компонентних структур цифрових об'єктів. Методика коригування програм тестування компонентів з врахуванням структурних особливостей їх комутації.
автореферат, добавлен 28.08.2014Шляхи підвищення відмовостійкості цифрових систем керування з програмованою логікою, зниження часу і вартості їх створення на основі структурно-просторового підходу до моделювання та розробки. Основні методи адаптації цифрових систем керування.
автореферат, добавлен 13.10.2013Підвищення загальної ефективності цифрових транкінгових систем за показниками завадостійкості прийому інформаційних сигналів. Застосування методів сигнальної обробки. Довжина тренувальних послідовностей. Еквалайзування для цифрових радіоканалів.
автореферат, добавлен 12.07.2014Методи і засоби побудови та експлуатації інтерактивних приманок, спрямованих на забезпечення стійкості до впливів зловмисника, прихованості й ізольованості механізмів обробки інформації. Методи підвищення достовірності операційного середовища приманок.
автореферат, добавлен 12.07.2015Розробка формалізованих методів та засобів створення нерекурсивних цифрових фільтрів шумоподібних сигналів, що забезпечують зниження їх складності та спрощення побудови. Створення програмних засобів для одержання псевдовипадкових послідовностей.
автореферат, добавлен 29.09.2014Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
автореферат, добавлен 29.09.2014Оптимізація структури елементів і пристроїв обчислювальної техніки на основі спільного використання класичного і альтернативних форм проектування. Розробка засобів оптимізації цифрових блоків на основі ізоморфізму логічних та кусково-постійних функцій.
автореферат, добавлен 22.06.2014Роль тестового контролю в організації і проведенні навчального процесу. Аспекти застосування засобів програмної інженерії для розробки електронної підтримки професійно орієнтованих тестів в процесі підготовки майбутніх фахівців вищого навчального закладу.
статья, добавлен 06.02.2020Дослідження математичних моделей динамічних похибок електричних компенсаційних вимірювальних перетворювачів зі статичною та астатичною функціями перетворення у реальних умовах тестових впливів. Розробка зразку медичної системи контролю балансу ваги.
автореферат, добавлен 25.07.2015Принципи побудови багатоканальних систем передачі, що використовують імпульсно-кодову модуляцію, їх характеристика та структура. Групоутворення в цифрових системах передачі плезіохронної вторичної ієрархії. Принципи побудови лінійних трактів, кодування.
методичка, добавлен 24.06.2014Аналіз методу побудови передавальних функцій цифрових фільтрів, розробка підходу для зменшення кількості операцій, необхідних для їх роботи. Автоматизований процес зменшення в смузі частот сумарної параметричної чутливості модуля передавальної функції.
автореферат, добавлен 28.08.2015- 23. Архітектурно-структурна організація, розробка і застосування реконфігуровних пристроїв на базі ПЛІС
Дослідження нових формалізованих методик побудови й динамічної перебудови архітектури і структури цифрових пристроїв з високим ступенем реконфігуровності. Вивчення основ теорії адаптивних логічних мереж, призначених для вирішення широкого класу задач.
автореферат, добавлен 29.09.2014 - 24. Архітектурно-структурна організація, розробка і застосування реконфігуровних пристроїв на базі ПЛІС
Теоретичні основи побудови реконфігуровних цифрових структур на основі однорідного середовища, включаючи систему формалізованих методик й алгоритмів синтезу параметричних модулів і закінчених функціональних пристроїв. Синтез адаптивних логічних мереж.
автореферат, добавлен 14.10.2015 Проектування вимірювачів імітансу, орієнтованих на дослідження властивостей різноманітних фізичних об’єктів. Вимірювання частотних, часових, просторових та енергетичних параметрів імпедансу. Розроблення напрямків прямого перетворення та автокомпенсації.
автореферат, добавлен 25.02.2014