Лещенко Сергей Александрович

Факультет компьютерных наук и технологий

Кафедра компьютерной инженерии

Специальность «Компьютерные системы и сети»

Разработка методов и средств обнаружения и устранения сбойных тестовых векторов цифровых устройств

Научный руководитель: к.т.н., доцент кафедры КИ Зинченко Ю.Е.

Библиотека по теме выпускной работы

Собственные публикации и доклады

1. Разработка методов и средств обнаружения и устранения сбойных тестовых векторов цифровых устройств

   Авторы: Лещенко С.А., Зинченко Ю.Е.
   Описание: Тезисы доклада на V международной студенческой научно-технической конференции "Информатика и компьютерные технологии 2009", 24-26 ноября 2009 г., ДонНТУ, Донецк.
   Источник: Інформатика та комп’ютерні технології / Матеріали V міжнародної науково-технічної конференції студентів, аспірантів та молодих науковців – 24-26 листопада 2009 р., Донецьк, ДонНТУ – 2009, с. 20-21.

   Тематические статьи

2. Универсальная модель последовательностных схем в САПР

   Авторы: А.Г. Зыков, О.Ф. Немолочнов, В.И. Поляков
   Описание: Статья на русском языке, в которой предлагается и описывается универсальная модель последовательностной схемы для САПР, адекватно отображающая поведение логической схемы. Определяется основной класс задач, решаемых с использованием предложенной модели.
   Источник: http://books.ifmo.ru/ntv/ntv/6/ntv_6.pdf

3. Метод построения графа функциональной программы для решения задач верификации и тестирования

   Авторы: А.В. Лаздин, О.Ф. Немолочнов
   Описание: Статья на русском языке, в которой предложен метод формирования графового представления исполняемого кода, ориентированный для работе в системах автоматизированного анализа программного обеспечения.
   Источник: http://books.ifmo.ru/ntv/ntv/6/ntv_6.pdf

4. Верификация в исследовательских, учебных и промышленных системах

   Авторы: О.Ф. Немолочнов, А.Г. Зыков, А.В. Лаздин, В.И. Поляков
   Описание: Статья на русском языке, рассматривающая метод верификации программ относительно друг друга на основе алгебротопологического подхода с применением теории множеств и теории графов.
   Источник: http://www.ict.edu.ru/ft/001787/vestnik11_3_4.pdf

5. Методы тестирования вычислительных процессов

   Авторы: Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Осовецкий Л.Г., Петров К.В.
   Описание: Статья на русском языке. В работе предлагаются и рассматриваются примитивы вырожденных покрытий вершин графоаналитических моделей программ, графо-аналитические модели двух ациклических вычислительных процессов, решающих одну и ту же задачу, построение их комплексных покрытий и два способа верификации: по покрытиям и перекрестным тестированием.
   Источник: http://books.ifmo.ru/ntv/ntv/45/ntv_45.pdf

6. Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ

   Авторы: Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Петров К.В.
   Описание: Статья на русском языке. В работе формулируются требования и предлагаются методы решения задачи проектирования и разработки учебно-исследовательской САПР верификации и тестирования программ для формализации учебного процесса и дальнейшей разработки промышленных САПР верификации и тестирования программ практической сложности.
   Источник: http://books.ifmo.ru/ntv/ntv/32/ntv_32.pdf

7. Моделирование простых логических неисправностей вычислительных процессов программ

   Авторы: Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Петров К.В.
   Описание: Статья на русском языке. В статье в качестве метода анализа контролирующих свойств испытательных последовательностей, используемых при тестировании программ, предлагается метод моделирования простых логических неисправностей; описываются возможности метода, базовые принципы его применения, и, кроме того, приводится пример его использования.
   Источник: http://books.ifmo.ru/ntv/ntv/32/ntv_32.pdf

8. Автоматизированная учебно-исследовательская система верификации и тестирования программ

   Авторы: О.Ф. Немолочнов, А.Г. Зыков, Л.Г. Осовецкий, К.В. Петров
   Описание: Статья на русском языке, рассматривающая способ верификации, основанный на построении контролирующих тестов вычислительных процессов, подлежащих сравнению с помощью перекрестного тестирования.
   Источник: http://spbcongress.ifmo.ru/file/trud2007.pdf

9. Верификация как средство бездефектного проектирования программных продуктов

   Авторы: О.Ф. Немолочнов, А.Г. Зыков, Л.Г. Осовецкий
   Описание: Статья на русском языке, рассматривается сравнение двух программ, написанных на разных алгоритмических языках и для разных вычислительных машин при решении задач реинжиниринга.
   Источник: http://spbcongress.ifmo.ru/file/trud2007.pdf

   Переводы статей

10. Глава 16. Цифровой анализ худшей временной ситуации

    Авторы: http://www.cadence.com/products/orcad
    Перевод: Лещенко С.А.
    Описание: Перевод части статьи «ORCAD PSpice Quick Reference» с английского языка. В статье рассмотрены примеры при моделировании худшей временной ситуации, связанные с разбросом задержек срабатывания микросхем, допускаемых при производстве, сравнение цифрового и аналогового анализа худшей ситуации при моделировании, примеры временной неоднозначтности, определение степени риска, конвергенции, подавление сбоя в связи с инерционной задержкой.
    Источник: PSpice User's Guide, Product Version 10.0
    http://www.scribd.com/doc/11912128/Orcad-Pspice