Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Разработка моделей и методов построения тестов для цифровых устройств электронной вычислительной аппаратуры Мальцев, Виктор Николаевич

Данная диссертационная работа должна поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Мальцев, Виктор Николаевич. Разработка моделей и методов построения тестов для цифровых устройств электронной вычислительной аппаратуры : автореферат дис. ... кандидата технических наук : 05.13.01.- Нижний Новгород, 1994.- 18 с.: ил.

Введение к работе

Актуальность проблемы. Создание новы* типов
электронной вычислительной аппаратуры (ЭВА),

электронизация технологических процессов и оборудования
предполагают стремительный рост номенклатуры изделий
электронной техники, в том числе и цифровых устройств
(ЦУ), являющихся составной частью ЭВА: периферийных
устройств, контрольно-измерительной, управляющей

аппаратуры и т.д. При разработке и серийном производстве десятков тысяч разнотипных ЦУ необходимо решить вопрос автоматизации их производственного контроля, поиска дефектов и ремонта, что составляет по трудоемкости в среднем от 25 до 50% общей трудоемкости изготовления ЦУ. Значительная доля трудоемкости контроля ЦУ приходится на разработку тестов, что в совокупности может составлять до 9 месяцев труда высококвалифицированного специалиста на один тип изделия. Рост номенклатуры ЦУ и большая трудоемкость построения тестов определяют актуальность разработки методов автоматизации подготовки тестов для цифровых устройств.

Цель работы заключается в разработке моделей комбинаторных и последовательностных ЦУ, методов построения, оптимизации и верификации тестов для них, программно-аппаратной реализации методов.

Научная новизна. ' 1. Предложена математическая модель, позволяющая учитывать структурно-информационные особенности, степень сложности и насыщенности элементами современных ЦУ.

  1. Разработана библиотека моделей элементов (микросхем), учитывающая особенности построения тестов для ЦУ.

  2. Предложен и распространен на последовательностные ЦУ метод дедуктивного построения тестов, позволяющий определить входные воздействия для ЦУ, обеспечивающие заданные выходные реакции.

  1. В развитие метода дедуктивного построения тестов разработан метод декомпозиции структуры ЦУ, основанный на поиске деревьев с корнем во внешнем выходе и определении межпересечекий деревьев, что позволяет минимизировать процесс построения тестов и обеспечивать контролепригодность ЦУ.

  2. Предложен метод оптимизации тестов, позволяющий уменьшить объем тестовой программы при . сохранении ее

полноты для конкретного типа контрольно-диагностического оборудования (КДО).

6. На основе предложенных моделей и методов разработано информационно-лингвистическое обеспечение построения тестов: языки, структуры данных, интерфейс с пользователем и программно-аппаратная среда систем диагностирования ИПЭ и СД-001.

Практическая ценность. Внедрение разработанных моделей и методов в процесс контроля ЦУ в условиях их производства позволяет:

-унифицировать процесс подготовки тестов для разнотипных ЦУ; . -сократить время подготовки тестов;

-верифицировать тесты на КДО при их разработке;

-документировать тесты в форме жесткого носителя.

Результаты работы могут быть использованы на участках контроля ЦУ в условиях производства, а также при подготовке серийного производства ЦУ. Область применения моделей и методов, предложенных в работе, может быть распространена на дискретные изделия электронной техники, работающие под управлением микропроцессора.

Реализация результатов. Разработанные модели и методы, реализованные в виде пакета программ "Анализ топологии и синтез тестов" (ПП "АТИСТ"), внедрены в Центральном НИИ связи (г.Москва), в ОКБ завода "Процессор" (г.Воронеж), на ПО"Кварц" (г-Калининград), в НИИТОП (г.Нижний Новгород). Результаты работы докладывались:

-на Всесоюзном семинаре "Средства диагностирования и отладки микропроцессорных систем", ^Ленинград, 1984 г.;

-на Всесоюзном семинаре "Контроль изделий микроэлектроники и применение МСВТ", г.Ереван, 1984 г.;

-на зональном семинаре "Контроль и диагностика РЭА и ЭВА", гЛенза, 1984 г.;

-на семинаре "Передовой опыт проектирования, диагностики и применения микропроцессорных систем", г.Киев, 1985 г.;

-на семинаре "Автоматизация средств измерений и контроля с применением ЭВМ ", г. Псков, 1986 г.;

-на зональном семинаре "Контроль и диагностика РЭА и ЭВА", г.Пенза, 1988 г.;

-на совещании-семинаре главных инженеров в НПО ВТИ по совершенствованию системы КЦО в целях повышения эффективности использования СВТ в народном хозяйстве,

г.Конотоп, 1990 г.;

-на научно-техническом семинаре "Автоматизация контроля функциональных узлов в радио- и приборостроении", г.Челябинск, 1990 г.;

-на республиканской научно-технической конференции "Проблемы автоматизации контроля электронных устройств", г-Винница, 1990 г.;

-на республиканской научно-технической конференции "Проблемы автоматизации контроля и диагностирования сложных технических систем", г.Житомир, 1991 г.

Структура и объем работы. Диссертация состоит из
введения, четырех глав, заключения и приложения,

изложенных на 120 страницах машинописного текста, содержит 15 таблиц и рисунков, список литературы из 80 наименований .

Похожие диссертации на Разработка моделей и методов построения тестов для цифровых устройств электронной вычислительной аппаратуры