Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/23305
Название: Еволюційні методи генерації тестів для неконстантних несправностей
Другие названия: Эволюционные методы генерации тестов для неконстантных неисправностей
Evolutionary methods of test generation for non-constant faults
Авторы: НАССЕР ІЯД К.М.
НАССЕР ИЯД К.М.
NASSER Iyad K.M.
Ключевые слова: crosstalk faults
test generation
evolutionary methods
digital systems
technical diagnostics
genetic algorithms
logic simulation
multi- valued alphabet
цифровые системы
техническая диагностика
логическое моделирование
эволюционные методы
перекрестные неисправности
проверяющие тесты
генетические алгоритмы
многозначный алфавит
цифрові системи
технічна діагностика
перехресні несправності
перевіряючі тести
еволюційні методи
генетичні алгоритми
логічне моделювання
багатозначний алфавіт
Дата публикации: 2013
Издательство: ДонНТУ
Библиографическое описание: НАССЕР ІЯД К.М. Еволюційні методи генерації тестів для неконстантних несправностей. 05.13.05. - " комп`ютерні системи і компоненти ": дисертація на здобуття наукового ступеня кандидата технічних наук
Краткий осмотр (реферат): Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – Комп’ютерні системи і компоненти. Державний вищий навчальний заклад «Донецький національний технічний університет» МОН України, Донецьк, 2013. Дисертація присвячена вирішенню актуальної науково-технічної задачі - підвищенню ефективності методів побудови перевіряючих тестів цифрових систем на основі еволюційного підходу і моделей неконстантних несправностей. Розглянуто основні моделі перехресних несправностей (crosstalk faults): 1)індуковані позитивні і негативні імпульси, 2 )індуковані затримки. Формалізована постановка задачі генерації перевiряючого тесту для одиночних перехресних несправностей - індукованих імпульсів і затримок. Показано, що ця задача зводиться до розв'язання системи логічних рівнянь в багатозначному алфавіті. Розроблено генетичний алгоритм побудови перевіряючих тестів для одиночних перехресних несправностей. Розглянуто задачу генерації перевіряючого тесту для несправностей типу індукована затримка з багатьма лініями - агресорами. Запропоновано метод відбору цільових несправностей на основі врахування просторових, тимчасових і функціональних співвідношень в схемі. Запропоновано генетичний алгоритм побудови перевіряючих тестів для несправності індукована затримка з багатьма лініями-агресорами. Розроблено алгоритмічне та програмне забезпечення для генерації тестів для перехресних несправностей, яке дозволяє підвищити якість перевіряючих тестів за рахунок використання еволюційних методів та моделей неконстантних несправностей. Проведено апробацію розроблених методів на схемах міжнародних каталогів ISCAS85, ISCAS89, яка показала збільшення повноти тестів на 15%.
Описание: Thesis on competition of a scientific degree of candidate of technical sciences on a specialty 05.13.05 – Computer Systems and Components.Donetsk national technical university, Donetsk, 2013. Dissertation is devoted to solution of the topical scientific and technical problem – increase of efficiency for test generation methods on the base of evolutionary approach and non-constant faults models. The main models of crosstalk faults are defined: 1) induced positive and negative pulses , 2 ) induced delays. It is formalized the statement of problem of test generation problem for a single crosstalk faults - induced pulses and delays. It is shown that this problem is reduced to solving a system of logic equations in the multi-valued alphabet. The 9-valued alphabet and multi-valued functions for basic gates are defined. Simulation method was developed in the 9-valued alphabet for crosstalk faults. On this basis, the genetic algorithm is proposed for test generation of single crosstalk faults. The test generation problem for fault - induced delay with many agressors lines is formilized. It is designed the algorithm for selecting critical paths based on static and time windows analysis in circuit. We propose a method for the selection of target faults based on consideration of spatial, temporal and functional relationships in the circuit. A genetic algorithm is proposed for test generation of fault-induced delay with many agressor lines. There are developed algorithms and software for test generation for crosstalk faults, which improve the quality of test generation by using evolutionary techniques. The approbation of the developed methods is implemented at circuits of international catalogs ISCAS85, ISCAS89, which showed an increase in the completeness of tests by-15%.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/23305
Располагается в коллекциях:Автореферати

Файлы этого ресурса:
Файл Описание РазмерФормат 
Насер автореферат фин укр_.pdf684 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.