Методы и средства псевдослучайного тестирования программно управляемых устройств тема диссертации и автореферата по ВАК РФ 05.13.05, доктор технических наук Филимонов, Сергей Николаевич

• Филимонов, Сергей Николаевич
• доктор технических наук
• 1993

Оглавление диссертации доктор технических наук Филимонов, Сергей Николаевич

nstiiu

Глава 1. АНАЛИЗ МЕТОДОВ И СРЕДСТВ ПСЕВДОСЛУЧАЙНОГО ТЕСТИРОВАНИЯ ПРОГРАММНО УПРАВЛЯЕМЫХ УСТРОЙСТВ

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

1.2. Средства псевдослучайного тестирования программно управляемых устройств

1.3. Выводы

Глава 2. ТЕОРЕТИЧЕСКИЕ И МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫ РАЗРАБОТКИ И ИССЛЕДОВАНИЯ СТОХАСТИЧЕСКИХ МЕТОДОВ И СРЕДСТВ КОНТРОЛЯ ПРОГРАММНО УПРАВЛЯЕМЫХ УСТРОЙСТВ

2.1. Условия эффективного применения стохастических методов для решения задач контроля цифровых устройств

2.2. Методологические основы исследования и разработки методов и средств контроля программно управляемых устройств

2.3. Выводы

Глава 3. МАТЕМАТИЧЕСКИЕ МОДЕЛИ ПРОЦЕССОВ ГЕНЕРАЦИИ

ТЕСТОВЫХ ВОЗДЕЙСТВИИ И ТЕСТОВЫХ ПРОГРАММ

3.1. Модель тестового воздействия

3.2. Модель процесса генерации тестового воздействия

3.3. Модель тестовой програшм

3.4. Модель функционально полной программы

3.5. Модель процесса генерации тестов/ых программ

3.6. Выводи

Глава 4. МЕТОД АНАЛИЗА ПОРОЯЩАПЦИХ СВОЙСТВ СТОХАСТИЧЕСКИХ ПРОЦЕССОВ ГЕНЕРАЦИИ

ТЕСТОВЫХ ВОЗДЕЙСТВИЙ И ПРОГРАММ

4.1. Эквивалентное представление порождающего графа стохастического регулярного источника

4.2. Анализ порождающих свойств стохастического регулярного источника

4.3. Анализ вероятностных и количественных характеристик языка, порождаемого стохастическим регулярным источником

4.4. Эквивалентное представление порождающего графа стохастической билинейной

КС-грамматики

4.5. Анализ порождающих свойств стохастической грамматики

4.6. Информационные свойства моделей процессов генерации тестовых воздействий и програкм

4.7. Выводы

Глава 5. МЕТОДИКА ПОСТРОЕНИЯ МОДЕЛЕЙ СТОХАСТИЧЕСКИХ

ПРОЦЕССОВ ГЕНЕРАЦИИ ТЕСТОВЫХ ПРОГРАШ

5.1. Особенности архитектуры микропроцессоров, учитываемые при генерации тестовых программ

5.2. Анализ системы команд тестируемого микропроцессора и синтез элементарных графов

5.3. Синтез порождающего графа стохастического регулярного источника

5.4. Выводы

Глава 6. МЕТРОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ПСЕВДОСЛУЧАЙНОГО ТЕСТИРОВАНИЯ ПРОГРАММНО УПРАВЛЯЕМЫХ УСТРОЙСТВ

6.1. Типовой тракт формирования событий с заданной вероятностью

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

6.3. Анализ применяемых дискретных шкал вероятностей и вносимых ими погрешностей

6.4. Интегральная оценка относительной погрешности вероятности порождения элементов тестовых воздействий и програмл 1Т

6.5. Метод построения оптимальной дискретной шкалы вероятностей

6.6. Выводы

Глава 7. АППАРАТНОЕ, ПРОГРАММНОЕ И МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ АВТОМАТИЗИРОВАННЫХ СИСТЕМ псевдослучайного тестирования программно

УПРАВЛЯЕМЫХ УСТРОЙСТВ

7.1. Устройства, реализующие связные управляемые стохастические процессы

7.2. Устройства анализа стохастических процессов

7.3. Подсистема автоматизации процесса синтеза тестовых программ

7.4. Автоматизированная система

ТЕСТ

7.5. Автоматизированная система

ЛИНГВИСТ

7.6. Автоматизированная система

ЛИНГВИСТ

7.7. Вывода

Введение диссертации (часть автореферата) на тему «Методы и средства псевдослучайного тестирования программно управляемых устройств»

Широкое использование программно управляемых устройств (ПУУ) практически во всех сферах человеческой деятельности остро ставит проблему обеспечения их надежного функционирования. Отказы ПУУ, являющихся управляющим ядром многих сложных систем и движущихся в пространстве объектов, могут приводить к тяжелым последствиям. Все это определяет важность и необходимость обеспечения высокого качества и достоверности их контроля на всех этапах их жизненного цикла.

К сожалению развитие теории, методов и средств контроля программно управляемых устройств отстает от требований практики. Это обусловлено быстрым ростом функциональной и структурной сложности устройств, постоянным ростом степени интеграции их элементной баш, усложнением технологических процессов производства, что влечет рост стоимости контрольно-испытательного оборудования, увеличение трудоемкости и снижение достоверности процессов контроля.

Исследовании в области разработки теории, методов и средств контроля устройств вычислительной техники и систем управления посвящены работа многих ученых и руководимых ими научных коллективов, в частности П. П. Пархоменко, В. А. Гуляева, Н. П. Байды, В. Г., Тоценко, И. Ф. Клисторина, С. Г. Шаршунова, А. А. Аракеляна, Г. М. Ясинявичене, S. Thatt, С. Robach, G. Cancler, С. Bellon и др.

В последнее время приобретают все большее распространение и пользуются все большим вниманием специалистов и исследователей стохастические методы и средства контроля цифровых устройств, отличающиеся простотой технической реализации, сравнительно низкой трудоемкостью процесса синтеза тестовых воздействий (ТВ) и тестовых программ (ТП), относительно низкой стоимостью реализующих такие методы автоматизированных систем контроля (АСК).

Разработке и исследованию стохастических методов и средств контроля посвящены работы А. М. Романкевича, С. М. Берштейна, В. И. Ярмолика, В. И. Борщевича, А. А. Гремальского, Y. Agraval, К. Parker, R. David, Thevenod-Fosse и др.

К стохастическим методам тестирования относят методы, использующие, в той или иной мере, математический аппарат теории вероятностей и математической статистики.

Профессором В. И. Борщевичем выделены, например, следующие области применения стохастических методов [641:

- случайный поиск тестовых наборов, используемый в процессе синтеза ТВ с применением средств логического моделирования цифровых устройств и их константных логических неисправностей;

- статистическая проверка гипотез о наличии или отсутствии неисправностей в тестируемом устройстве как средство определения его технического состояния;

- статистические испытания разработанных ранее тестов для определения их качества (полноты) относительно заданного класса неисправностей;

- псевдослучайное отображение множества реакций тестируемого устройства во множество сигнатур, как средство сжатия реакций и условие реализации метода сигнатурного анализа, разработанного специалистами фирмы Hewlett Packard;

- псевдослучайные методы генерации ТВ и ТП, обнаруживающих заданный класс неисправностей тестируемого устройства.

Под тестированием устройства мы, в соответствии с [74,75], будем понимать активный процесс определения его технического состояния.

Псевдослучайные процессы, обладая основными характеристиками случайных, в то же время имеют ряд важных преимуществ, среди которых:

- воспроизводимость, что позволяет использовать для анализа реакций регулярные методы, обладающие большой разрешающей способностью;

- простота реализации псевдослучайных генераторов с заданными свойствами посредством программных и аппаратных средств АСК;

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

Использование стохастических (псевдослучайных) методов и реализующих их средств для тестирования программно управляемых устройств вычислительной техники и систем управления выдвинуло на передний план новые сложные проблемы.

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

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

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

Задачи исследования. Достижение поставленной цели требует решения следующих взаимосвязанных задач:

- исследование с единых теоретических и методологических позиций условий наиболее эффективного применения стохастических методов и средств для решения задач контроля сложных цифровых, в том числе программно управляемых устройств;

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

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

- разработка методов анализа порождающих свойств связных стохастических процессов для обеспечения целенаправленного управления параметрами генерирующих алгоритмов;

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

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

Методы исследований основаны на применении математического аппарата теории игр, математической лингвистики, матричного анализа, теории вероятностей, теории информации, а также теории и методов технической диагностики.

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

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

Автор защищает:

- концепцию псевдослучайного тестирования программно управляемых устройств, заключающуюся в использовании доступной информации о конкретном тестируемом устройстве, отображении ее формальным путем в структуру и параметры связных стохастических процессов, обеспечивая их адаптацию к особенностям тестируемого устройства, и решения на этой основе актуальных проблем автоматизации процесса синтеза тестовых воздействий и программ, повышения эффективности и достоверности контроля программно управляемых устройств;

- методологию исследования и разработки стохастических методов и средств контроля, опирающуюся на предложенную концепцию и строгое теоретическое обоснование условий их наиболее эффективного применения;

- методы математического моделирования тестовых воздействий, программ и связных управляемых стохастических процессов генерации;

- метод анализа порождающих свойств связных стохастических процессов генерации;

- метод определения погрешностей вероятностных оценок качества тестовых программ и достоверности процесса псевдослучайного тестирования;

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

Связь с государственными программами и НИР.

Разработки устройств, алгоритмов, программного, методического и метрологического обеспечения систем контроля выполнялись: в соответствии с координационным планом НИР АН СССР по проблеме 1.12.8, раздел 1.12.8.3, тема "Автоматизированные системы проектирования контроля и диагностики микропроцессорной техники",

ГР 01860022457; в рамках целевой комплексной программы и на основании приказа N 535 MB и ССО СССР от 20.05.81 г. по теме "Автоматизированные системы проектирования, контроля и оптимизации технологических процессов и технических объектов", * ГР 81035579; на основании постановлений Правительства СССР £ 317-126 от 08.04.83 г. и * 30 от 08.02.84 г. для контроля специализированных процессоров; на основании постановления Правительства СССР J& 355 от 23.03.87 г. для тестирования управляющих процессоров ультразвуковых средств неразрушающего контроля; в рамках НИР: "Исследование и разработка программного обеспечения автоматизированных систем контроля электронной аппаратуры"

ГР 8I0I373I, "Система автоматизированного контроля и диагностики электронных блоков ультразвуковых средств неразрушающего контроля"

ГР 0I8600I76I7, "Диагностика - 90" per. * У 54443; в рамках ОКР "Автомат", per. * У 81337.

Образцы систем демонстрировались на ВДНХ СССР (удостоверение

24535) и на мездународной выставке "Связь - 86".

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

Результаты исследований позволили получить ряд оригинальных технических решений, защищенных авторскими свидетельствами на изобретения.

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

Реализация результатов диссертационной работы.

Основные результаты научных исследований и разработок реализованы в виде ряда устройств, программной подсистемы автоматизации синтеза тестовых программ - ПАСТП, алгоритмов функционирования, базового программного, методического и метрологического обеспечения автоматизированных систем псевдослучайного тестирования ТЕСТ-7901, ТЕСТ-8103, ЛИНГВИСТ-802, ЛИНГВИСТ-803, внедренных на ряде промышленных предприятий.

Подтвержденный экономический эффект от внедрения результатов диссертационной работы в промышленности составил 830 тысяч рублей (в ценах 1991 года).

По защищаемому научному направлению под руководством автора подготовлены и успешно защищены три кандидатских диссертации.

Апробация работы. Основные научные результаты, положения и выводы диссертационной работы были представлены и одобрены на Международном семинаре по проблеме реализации комплексной программы научно-технического прогресса стран - членов СЭВ до 2000 года (г. Кишинев 1987), Международной конференции по автоматизированным техническим системам (г.г. Евпатория, Москва 1990), 6-ом Международном симпозиуме "Системы, Моделирование, Управление" (SMC-6) (г. Закопане 1990), 18-ом конгрессе Румыно-Американской Академии науки и искусства (г. Кишинев 1993), Всесоюзной НТК "ИИС-81" (г. Львов 1981), на семинаре "Функциональный контроль изделий микроэлектроники" (г. Ленинград 1982), Республиканской НТК "Структурные методы повышения точности средств и систем автоматизации экспериментальных исследований" (г. Киев 1989), на 5-й Всесоюзной НТК "Проблемы метрологического обеспечения систем обработки измерительной информации" (г.г. Суздаль, Москва 1984), 5-ом Всесоюзном симпозиуме по модульным ИБС (г. Кишинев 1985), 7-й Всесоюзной НТК "ИМС-87" (г. Ташкент 1987), 11-й Всесоюзной НТК "Метрологическое обеспечение ЛИС и АСУ ТП" (г. Львов 1988), на XXX Всесоюзной школе-семинаре им. М. И. Гаврилова (г. Кишинев 1988), на XI НТК "Проблемы разработки измерительных приборов со встроенным интеллектом и перпективы их развития" (г. Каунас 1988), I Всесоюзной школе-семинаре "Разработка и внедрение в народное хозяйство персональных ЭВМ" (г. Минск 1988), XXIII Всесоюзной школе-семинаре по автоматизации научных исследований (г. Кишинев 1989), Республиканском семинаре "Техническая диагностика и эксплуатация вычислительных управляющих систем" (г. Киев 1989), Республиканском семинаре "Вопросы разработки вычислительной техники" (г. Кишинев

1989), Республиканской НТК "Проблемы автоматизации контроля электронных устройств" (г. Киев 1990), Всесоюзной НТК "Моделирование - 91" (г. Кишинев 1991), а также на некоторых других конференциях, совещаниях и семинарах.

По теме диссертации опубликовано 70 научных работ, в том числе б авторских свидетельств СССР на изобретения, статьи в журналах "Электронное моделирование", "Автоматика и телемеханика", "Автоматика и вычислительная техника", "Приборы и системы управления", "Управляющие системы и машины", "Приборостроение", "Известия Академии наук Молдовы", "Измерительная техника", "Техника средств связи", "Измерения, контроль, автоматизация", "Вопросы радиоэлектроники", "Вопросы специальной радиоэлектроники", "Fuzzy System & A. I. Magazin", "Computer Sciences of Moldova" и других изданиях.

Объем и структура диссертации. Диссертация содержит 242 страницы основного текста, состоит из введения, семи глав, заключения, списка использованной литературы из 222 наименований, а также приложения, содержащего информацию о внедрении результатов диссертационной работы в промышленности. Работа иллюстрирована 26 рисунками.

Заключение диссертации по теме «Элементы и устройства вычислительной техники и систем управления», Филимонов, Сергей Николаевич

7.7. Выводы

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

Новизна технических решений, использованных в разработанных устройствах, подтверждена авторскими свидетельствами на изобретения.

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

3. Разработаны и внедрены в промышленность автоматизированные системы типа ТЕСТ и ЛИНГВИСТ, реализующие в своем методическом, метрологическом, программном и аппаратном обеспечении основные теоретические результаты, положения и выводы диссертационной работы.

Внедрение результатов диссертационной работы в промышленность изволило получить экономический эффект в размере 830 тысяч рублей (в ценах 1991 года).

ЗАКЛЮЧЕНИЕ

В диссертационной работе в качестве методологической основы исследований и разработок стохастических (псевдослучайных) методов и реализующих их средств тестирования программно управляемых устройств предложена и использована концепция, заключающаяся в формальном отображении доступной информации о конкретном тестируемом устройстве в структуру и параметры алгоритмов стохастической генерации, обеспечивая их адаптацию к особенностям конкретного тестируемого устройства, решении на этой основе актуальных проблем автоматизации процесса синтеза тестовых воздействий и программ и повышения эффективности и достоверности тестирования программно управляемых устройств.

К основным результатам диссертационной работы необходимо отнести следующее:

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

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

Однако, стохастические методы решения задач контроля в рамках предложенной концепции не -противопоставляются детерминированным. Напротив, разработанные методы, используя связные стохастические процессы с управляемыми параметрами, позволяют адаптировать процессы генерации тестовых воздействий и программ к конкретному тестируемому устройству путем введения в процессы необходимой доли детерминизма, объединяя тем самым достоинства как стохастических, так и детерминированных методов.

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

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

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

4. Разработан математический метод анализа свойств связных стохастических процессов генерации тестовых воздействий и программ, основанный на исчислении матриц над алгебрами с операциями специального вида.

Разработанный метод анализа позволяет:

- исследовать порождающие свойства стохастических процессов (генераторов) путем вычисления генерируемых ими последовательностей элементов тестовой программы или Истового воздействия;

- определять возможность порождения стохастическим процессом (генератором) функционально полных программ;

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

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

5. Исследованы информационные свойства моделей стохастических процессов генерации тестовых воздействий и программ.

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

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

6. Разработана методика построения моделей связных управляемых стохастических процессов генерации тестовых программ.

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

Разработан алгоритм, реализующий процедуру построения порождающего графа стохастического регулярного источника.

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

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

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

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

Разработан алгоритм построения оптимальной дискретной шкалы вероятностей, гарантирующей значение погрешности, обусловленной дискретностью шкалы, не больше заранее заданного уровня.

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

Новизна технических решений, использованных в разработанных устройствах, подтверждена авторскими свидетельствами на изобретения.

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

9. Разработаны и внедрены в промышленность автоматизированные системы типа ТЕСТ и ЛИНГВИСТ, реализующие в своем методическом, программном и аппаратном обеспечении основные теоретические результаты, положения и выводы диссертационной работы.

Внедрение результатов диссертационной работы в промышленность позволило получить экономический эффект в размере 830 тысяч рублей (в ценах 1991 года).

Список литературы диссертационного исследования доктор технических наук Филимонов, Сергей Николаевич, 1993 год

1. Автоматизированная система контроля цифровых устройств ТЕСТ-7901 / Амбарников М. И., Сарачев В. С., Сидоренко В. В., Филатов В. Д., Филимонов С. Н., Чикликчи В. В. // Докл. Всесоюзн. научно-техн. конф. ИИС-81Львов: НПО СИСТЕМА, 1981.- 4 с.

2. Автоматизированная система контроля микропроцессорных систем ТЕСТ-8103 // Связь-86. Международная отраслевая выставка. М.: Внешторгиздат, 1986.- С. 172.

3. Автоматизированная система контроля с псевдослучайным тестированием ТЕСТ-8103 : Отчет об ОКР (заключит.) / НИИ Квант.

4. ГР Г45897; Инв. * 02.07.84 00165.- Кишинев, 1983.- 39 с.

5. Автоматизированная система контроля и диагностики микропроцессорных устройств ЛИНГВИСТ-802: Отчет о НИР (заключит.) / КПИ им. С. Лазо.- * ГР 01860017617; Инв. * 02880045289.- Кишинев, 1988.- 77 с.

6. Автоматизированная система стохастического функционального контроля микропроцессоров / Клисторин И. Ф., Борщевич В. И., Филимонов С. Н., и др. // Приборы и системы управления. 1989.- * 8.-С. 20-21.

7. Автоматизированный комплекс ЛИНГВИСТ в стандарте КАМАК для контроля микропроцессорных устройств / Клисторин И. Ф., Борщевич

8. B. И., Филимонов С. Н. и др. // Тез.докл. Международного семинара по проблеме реализации комплексной программы научно-технического прогресса стран-членов СЭВ до 2000 года.- Кишинев: Штиинца, 1987,1. C. 19-21.

9. Александрова А. Ф., Гушан В. Ф., Жданов В. Д., Филимонов

10. С. Н. Структурно-лингвистическое тестирование микропроцессорных средств ИБС // Тез. докл. V Всесоюз. симпозиума по модульным информационно-вычислительным системам.- Кишинев: Штиинца, 1985.-С. 9-10.

11. Алферова 3. В. Теория алгоритмов.- М.: Статистика, 1973. 163 с.

12. Амбарников М. И., Колесник Н. И., Сидоренко В. В., Филатов В. Д., Филимонов С. Н., Чикликчи В. В. Программное обеспечение автоматизированной системы контроля цифровых устройств ТЕСТ-7901 // Средства связи.- 1982.- * 3.- С. 50-52.

13. Амбарников М. И., Сарачев В. С., Сидоренко В. В., Филимонов С. Н., Чикликчи В. В. Критерий эффективности автоматизированных систем контроля // Техника средств связи : Сер. Технология производства и оборудование, 1982.- Вып.3(8).- С. 115-118.

14. Амбарников М. И.Сарачев В. С., Сидоренко В. В., Филатов В. Д., Филимонов С. Н., Чикликчи В. В. Проблемно-ориентированныйязык ТЕКОС для автоматизированных систем контроля цифровой аппаратуры.- Деп. в НИИЭИР.- 1983.- 17 с. * 3-7264.

15. Амбарников М. И., Клисторин И. Ф., Сидоренко В. В., Филимонов С. Н., Чикличи В. В. Метод поиска неисправностей синхронных цифровых устройств // Надежность и диагностика полупроводниковых приборов.- Кишинев: Штиинца, 1984.- С. 83-86

16. Араке л ян А. А., Саядян Г. А., Огаджанян с. Р. Алгоритмы автоматического синтеза микропрограмм функционального контроля БИС // Автоматика и вычислительная техника.- 1983.- * 3. С. 55-59.

17. Аракелян А. А., Саядян Г. А., Огаджанян С. Р. и др. Пакет прикладных программ для автоматической генерации тестов функционального контроля БИС // Автоматика и вычислительная техника.-1984.- Л 1.- С. 67-71.

18. А. с. 527707 СССР, МКИ G 06 F 11/00. Устройство для статистического контроля логических блоков / М. С. Берштейн, А. М. Романкевич (СССР).- Опубл. 05.09.76, Бюл. * 33.

19. А. с. 600699 СССР, МКИ Н 03 К 3/295. Триггер ШМитта / И. Ф. Клисторин, В. К. Лефтер, С. Н. Филимонов (СССР).- Опубл. 30.03.78, Бюл. * 12.

20. А. с. 696510 СССР, МКИ G 07 С 15/00. Генератор псевдослучайных кодов / О. В. Викторов, Л. Ф. Карачун, А. М. Романкевич (СССР). Опубл. 05.11.79, Бюл. * 41.

21. А. с. 742910 СССР, МКИ2 G 06 Р 1/02, G 07 С 15/00. Генератор псевдослучайных двоичных последовательностей /3. А. Главин-ская, Л. Ф. Карачун, В. Н. Кущ, А. М. Романкевич (СССР).- 1980. Бюл. * 23.

22. А. с. 1383368 СССР, МКИ G 06 Р 11/26. Устройство для контроля цифровых блоков / В. И. Борщевич, В. Д. Жданов, Г. К. Бодян, В. В. Сидоренко, С. Н. Филимонов, Е. В. Морщинин (СССР).- Опубл. 23.03.88, Бюл. * 11.

23. А. с. 1499350 СССР, МКИ G 06 Р 11/00. Устройство для анализа состояний логических схем / В. И. Борщевич, С. Н. Филимонов, Е. В. Морщинин, А. М. Бобичев (СССР). Опубл. 07.08.89., Бюл. * 29.

24. А. с. 1608657 СССР, МКИ G 06 F 7/58. Преобразователь код-вероятность / В. И. Борщевич, В. Д. Я^анов, с. Н. Филимонов, В. Ф. Гушан, Ю. А. Пушняк (СССР).- Опубл. 23.11.90, Бюл. * 43.

25. А. с. 1640687 СССР, МКИ G 06 Р 7/58. Генератор случайной последовательности / Л. Т. Кирьяк, С. Н. Филимонов, И. Г. Балык (СССР).- Опубл. 07.04.91, Бюл. * 13.

26. А. с. 1728868 СССР, МКИ G 06 Р 15/36. Следящий стохастический интегратор / В. И. Борщевич, С. Н. Филимонов, Е; В. Морщинин, М. С. Загороднюк.- Опубл. 23.04.92. Бюл. * 15.

27. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции, т. 1 Синтаксический анализ.- М.: Мир, 1978.612 с.

28. Байда Н. П., Кузьмин И. В., Шпилевой В. Т. Микропроцессорные системы поэлементного диагностирования. М.: Радио и связь, 1987.- 286 с.

29. Байда Н. П., Месюра В. И., Роик А. М. Самообучающиеся анализаторы производственных дефектов РЭА.- М.: Радио и связь, 1991.-256 с.

30. Баканов Ю. С. Проверка исправности сложных дискретных устройств с помощью случайных входных сигналов // Техника средств связи: Сер. Радиоизмерительная техника, 1981.- Вып. 2.- С. 98-104.

31. Берлекэмп Э. Р. Алгебраическая теория кодирования.- М.: Мир.- 1971.

32. Берштейн М. С., Романкевич А. М. Метод статистического контроля логических схем // Кибернетика.- 1974.- * 1.- С. 58-67.

33. Берштейн М. С., Романкевич А. М. О статистическом контроле многотактных схем // АВТ.- 1975.- * 2.- С. 14-20.

34. Берштейн М. С., Романкевич А. М. О статистическом контроле логических схем с произвольным потоком сигналов на их входах // Кибернетика.- 1976.- * 4.- С. 35-40.

35. Биргер А. Г. Многозначное дедуктивное моделирование цифровых устройств // АВТ.- 1982.- * 4.- С. 77-82.

36. Биргер А. Г., Бояршинов А. В., Винокур М. Ю. и др. Автоматизированная система построения тестов для цифровых ячеек повышенной степени интеграции // Обмен опытом в радиопромышленности. Вып. 4.- С. 4-9.

37. Бодян Г. К. Методы и средства повышения эффективности псевдослучайного тестирования микропроцессоров: Автореф. дис. на соискание уч. степени канд. техн. н. / Кишиневский политехнический институт им. С. Лазо.- Кишинев, 1990.- 18 с.

38. Борщевич В. И., Филимонов С. Н. Исследование стохастических грамматик для целей описания процессов псевдослучайного тестирования сложных цифровых устройств // Докл. семинара "Функциональный контроль изделий микроэлектроники".- Л.- 1982.

39. Борщевич В. И., Филимонов С. Н. Способ получения эффективных контролирующих псевдослучайных воздействий для сложных цифровых устройств // Деп. МолдНИИНТИ, 1983.- 17с. * 3461М-Д83.

40. Борще вич В. И., Филимонов С. Н. Контроль сложных цифровых устройств с памятью псевдослучайными методами // Надежность и диагностика полупроводниковых приборов.- Кишинев: Штиинца, 1983.1. С. 80-83.

41. Борще вич В. И., Филимонов С. Н,, Кройтор И. В. Исследование дискретных шкал вероятностей для систем псевдослучайного тестирования.- Деп. в МолдНИИНТИ, 1983.- 14 с. # 383М-Д83.

42. Борщевич В. И., Жданов В. Д., Сидоренко В. В., Филимонов С. Н. Метод семантических и синтактических ограничений при генерации тестов для микропроцессоров.- Деп. в МолдНИИНТИ.- 1983.17 с. * 334М-Д83.

43. Борщевич В. И., Клисторин И. Ф., Филимонов С. Н. Исследование процесса псевдослучайного тестирования цифровых устройств на основе лингвистического подхода // Контроль и диагностирование цифровых узлов на микросхемах.- М.:ЩШИТЭИ, 1983.- С. 28-32.

44. Борщевич В. И., Сидоренко В. В., Филимонов С. Н. Лингвистический подход к задачам контроля микропроцессоров // Информационно измерительные системы для контроля и диагностики электронной аппаратуры.- Кишинев: ЦАМ АН МССР, 1983.- С. 9.

45. Боряцевич В. И., Клисторин И. Ф., Филимонов С. Н. Информационные аспекты процесса генерации стохастических тестов // Известия Академии наук Молдавской ССР.- 1984.- * 1. С. 64-65.

46. Борщевич В. И., Клисторин И. Ф., Филимонов С. Н. Моделирование процесса псевдослучайного тестирования и его информационные аспекты // Электронное моделирование.- 1984.- * 2.- С. 57-61.

47. Борщевич В. И., Жданов В. Д., Сидоренко В. В., ^лимонов С. Н. Метод контроля микропроцессоров // Теория и практика конструирования и обеспечения надежности и качества электронной аппаратуры и приборов.- М.: Радио и связь, 1984.- С. 85-86.

48. Борщевич В. И., Клисторин И. Ф., Филимонов С. Н. Моделирование процесса генерации псевдослучайных тестов цифровых устройств посредством стохастических грамматик // Электронное моделирование.- 1985.- * 2.- С. 53-57.

49. Борщевич В. И., Филимонов С. Н., Александрова А. Ф. Программное обеспечение системы контроля цифровых устройств "Лингвистист-601 С" // Управляющие системы и машины.- 1985.- * 5. С. 47-50.

50. Борщевич В. И. Лингвистический подход к моделированиюинформационных потоков и задачи псевдослучайного тестирования // Электронное моделирование.- 1985.- Л 4.- С. 47-51.

51. Борщевич В. И., ^лимонов С. Н. Структурно-лингвистический подход к диагностированию микропроцессорных средств // Структурное и покомпонентное диагностирование устройств радиоэлектронной аппаратуры.- М.: ЦНИИТЭИ, 1986.- С. 12-14.

52. Борще вич В. И. Клисторин И. Ф., Филимонов С. Н. Структурно-лингвистический подход к псевдослучайному тестированию микропроцессорных устройств // Тез. докл. XXX Всесоюз. школы-семинара им. М. И. Гаврилова.- Кишинев: АН МССР, 1988.- С. 76-79.

53. Борщевич В. И., Жданов В. Д., Сидоренко В. В., Филимонов С. Н. Метод оценки достоверности псевдослучайного тестирования микропроцессорных устройств // Автоматика и вычислительная техника 1988.- * 4.- С. 76-81.

54. Борщевич В. И., Филимонов С. Н., Кирьяк Л. Т. Контролепригодность СБИС относительно методов стохастического функционального контроля // Тез. докл. XXX Всесоюз. школы-семинара им. М.А. Гаврилова.- Кишинев: АН МССР, 1988.- С. 124-125.

55. Борщевич В. И., Бодян Г. К., Филимонов С. Н. Метод максимума энтропии в задачах псевдослучайного тестирования микропроцессорных устройств // Приборостроение.- 1989.- Л 9.- С. 33-39.

56. Борщевич В. И., Кирьяк Л. Т., Филимонов С. Н. Применение псевдослучайно генерируемых воздействий для контроля каналов обмена информацией. // Вопросы радиоэлектроники: Сер. ЭВТ, 1989.-Вып. 3.- С. 12-16.

57. Борщевич В. И., Кирьяк Л. Т, Филимонов С. Н. Устройство контроля каналов обмена информацией псевдослучайными воздействиями // Тез. Республ. семинара "Вопросы разработки вычислительной техники". Кишинев: АН МССР, 1989.- С. 124.

58. Борщевич В. И., Филимонов С. Н., Жданов В. Д., Сидоренко В. В. Оценка достоверности стохастического контроля микропроцессоров // Электронное моделирование.- 1989.- * 1.- с. 55-59.

59. Борщевич В. И., Филимонов С. Н., Кирьяк Л. Т. Метод генерации тестовых программ, повышающий надежность процессоров // Вопросы специальной радиоэлектроники: Сер. ЭВТ, 1989.- Вып. 1.

60. Борцевич В. И. Структурно-лингвистический подход к псевдослучайному тестированию микропроцессорных устройств // Автоматика и телемеханика.- 1990.- * 5.- с. 147-156.

61. Борщевич В. И., Филимонов С. Н. Моделирование микропроцессоров для цели стохастического функционального контроля // Тез. Республ. научно-техн. конф. "Проблемы автоматизации контроля электронных устройств".- Киев: УкрНИИНТИ, 1990.- С. 4.

62. Борщевич В. И., Филимонов С. Н. Стохастические методы в диагностике // Автоматика и телемеханика.- 1992.- J§ 11.- С. 127-133.

63. Брамм П., Брамм Д. Микропроцессор 80386 и его программирование.- М.:Мир, 1990.- 448 с.

64. Бухараев Р. Г. Основы теории вероятностных автоматов.- М. : Наука, 1985.- 288 с.

65. Галлагер Р. Теория информации и надежная связь.- М.: Советское радио, 1974.- 720 с.

66. Городецкая О. М. Машинное моделирование и синтез тестов дня микропроцессоров с использованием микропрограмм.- Электронное моделирование.- 1985.- * 3.- С. 63-65.

67. ГОСТ 27.001-81. Ситема стандартов "Надежность в технике" Основные положения.- М.: Изд-во стандартов, 1981.- 3 с.

68. ГОСТ 27.103-83. Надежность в технике. Критерии отказов и предельных состояний. Основные положения.- М.: Изд-во стандартов, 1983.- 5с.

69. ГОСТ 20.911-75. Техническая диагностика. Основные термины и определения.- М.: Изд-во стандартов, 1978.- 14 с.

70. ГОСТ 19.919-74. Контроль автоматизированный технического состояния изделий авиационной техники. Термины и определения.- М.: Изд-во стандартов, 1974.- 12 с.

71. ГОСТ 20.417-75. Техническая диагностика. Общие положенияо порядке разработки систем диагностирования.- М.: Изд-во стандартов, 1975.- 6 с.

72. Гренандер У. Лекции по теории образов. Т.1. Синтез образов.- М.: Мир, 1979.- 384 с.

73. Гремальский А. А. Генерация случайных марковских процессов при стохастическом контроле микропроцессорных устройств // В сб.: Вероятность и ее применения.- Кишинев.: Штиинца.- 1990.с. 47-50.

74. Гремальский А. А. Теория и методы псевдослучайного функционального контроля дискретных устройств: Автореф. дис. на соискание уч. степени доктора техн. н./ Институт проблем моделирования в энергетике АН Украины.- Киев, 1992.- 34 с.

75. Гретцер Г. Общая теория решеток.- М.: Мир, 1982.- 452 с.

76. Гробман Д. М. Статистический способ определения полноты тестов // Тез. докл. IV Всесоюзного совещания по технической диагностике.- М.: ИНЭУМ, 1979.- С. 27-29.

77. Гросс М., Лантен Л. Теория формальных грамматик.- М.: Мир, 1971.- 279 с.

78. Гуляев В. А. Синтез функциональнных тестов для проверки блоков вычислительных машин // Автоматика и вычислительная техника.- 1977.- * 1. с. 78-82.

79. Гуляев В. А. Выбор математических моделей для построения тестовых программ проверки автоматизированных систем обработки данных // Точность и надежность кибернетических систем.- Киев: Наукова думка, 1977.- Вып. 5.- С,61-64.

80. Гуляев В. А. Некоторые вопросы организации процессов диагностирования в отказоустойчивых информационно-вычислительных системах // Электронное моделирование.- 1980.- * 4.- С. 49-55.

81. Гуляев В. А., Макаров С. М., Новиков В. С. Диагностика вычислительных машин.- Киев: Техн1ка, 1981167 с.

82. Гуляев В. А. Техническая диагностика управляющих систем.-Киев: Наукова думка, 1983.- 208 с.

83. Дынкин Е. В., Юшкевич А. А. Управляемые марковские процессы и их приложения.- М.: Наука, 1975.- 338 с.

84. Жуков М. В. Метод построения тестов дискретных устройств с помощью настраиваемого генератора случайных входных воздействий // АВТ.- 1980. * 4.- С. 122-131.

85. Жданов В. Д., Кройтор И. В., Филимонов С. Н. Подсистема синтеза тестовых программ для функционального контроля микропроцессоров // Тез. Республ. научно-техн. конф. "Проблемы автоматизации контроля электронных устройств".- Киев: УкрНИИНТИ, 1990.-С. 4-6.

86. Зайчикова О. В., Филатов В. Д., Филимонов С. Н. Специализированный процессор для системы контроля цифровой аппаратур! //

87. Тез. докл. Республ. семинара "Информационно-измерительные системыдля контроля и диагностики электронной аппаратуры".- Кишинев: ЦАМ АН МССР, 1983.- С. 12.

88. Исследование и разработка методов псевдослучайного тестирования сложных цифровых устройств : Отчет о НИР (заключит.) / Кишиневский политехи, ин-т им. С.Лазо; Руководитель Клисторин И. Ф.-* ГР 81013731; Инв. * 033779.- Кишинев, 1983.- 76 с.

89. Кирьяк Л. Т., Филимонов С. Н. Моделирование процессора для синтеза тестовых программ // Тез. докл. Все союз, научно-техн. конф. "Надежность машин, математическое и машиное моделированиезадач динамики. Моделирование 91п,- Кишинев: АН МССР, 1991.-С. 173.

90. Кирьяк Л. Т. Системы стохастического функционального контроля специализированных процессоров: Автореф. дис. канд. техн. н. // Кишиневский политехнический институт им. С.Лазо.- Кишинев, 1992.- 18 с.

91. Клисторин И. Ф., Борщевич В. И., Гремальский А. А. Автоматизированный контроль микропроцессорных средств ИБС // Тез. докл. V Всесоюзного симпозиума по модульным информационно-вычислительным системам.- Кишинев: Штиинца, 1985.- С. 29-30.

92. Клисторин И. Ф., Борщевич В. И., Филимонов С. Н. и др. Микропроцессор для управления режимами проверок при контроле цифровой аппаратуры // Приборы и системы управления.- 1985.- * 10.-с. 21-22.

93. Клисторин И. Ф., Борщевич В. И., Филимонов С. Н. и др. ИИС функционального контроля микропроцессоров // VII Всесоюзная научно-техн. конф. "Измерительные информационные системы" (ИИС-87) : Тез.докл.- Ташкент, 1987.- с. 80.

94. Клисторин И. Ф., Борщевич В. И., Филимонов С. Н. и др. Исследование свойств генераторов псевдослучайных последовательностей // Измерительная техника, 1989.- * 11.

95. Клисторин И. Ф., Борщевич В. И., Филимонов С. Н. Перспективное направление развития методов и средств контроля микропроцессорных устройств // Тез. докл. ХХЗII Всесоюз, школы по автоматизации научных исследований.- Кишинев: Штиинца, 1989.- С. 7-11.

96. Клисторин И. Ф., Борщевич В. И., Филимонов С. Н. Структурно-лингвистический подход перспективное направление развития методов и средств контроля микропроцессорных устройств // Измерения, контроль, автоматизация.- 1990.- * 3.- С. 38-43.

97. Колмогоров А. Н. Основные понятия теории вероятностей.- М.: Наука, 1974.- 120 с.

98. Колмогоров А. Н. Теория вероятностей и математическая статистика.- М.: Наука, 1986.- 534 с.

99. Колмогоров А. Н. Теория информации и теория алгоритмов.- М.: Наука, 1987.- 304 с.

100. Корнеева Т. В. Толковый словарь по метрологии, измерительной технике и управлению качеством.- М.: Русский язык, 1990.464 с.

101. Кофман А. Введение в прикладную комбинаторику.- М.: Наука, 1975.- 480 с.

102. Кульбак С. Теория информации и статистика. М.: Наука, 1967.- 408 с.

103. Кэпс И., Стаффорд P. VAX : Программирование на языке ассемблера и архитектура.- М.: Радио и связь, 1991.- 412 с.

104. Ландвебер П. Проблемы разрешения в грамматиках непосредственных составляющих // Кибернетический сборник. Вып. 5.- М.: Мир, 1968.- С. 103-127.

105. Матрицы и квадратичные формы. Основные понятия. Терминология / Отв. ред. М. А. Красносельский.- М.: Наука, 1990.- 80 с.

106. Марков А. А. Введение в теорию кодирования.- М.: Наука, 1982.- 192 с.

107. Математическое моделирование микропроцессоров для целей контроля: Отчет о НИР (заключит.) / Кишиневский политехи, ин-т им. С.Лазо; Руководитель Клисторин И. Ф.- * ГР 01840004673; Инв.028600053792.- Кишинев, 1985.- 59 с.

108. Морщинил Е. В. Статистические анализаторы процессов псевдослучайного тестирования цифровых устройств: Автореф. дис. на соискание уч. степени канд. техн. н. / Кишиневский политехи, ин-т им. С.Лазо.- Кишинев, 1988.- 18 с.

109. Нейман Дж. Вероятностная логика и синтез надежных организмов из ненадежных компонентов // Автоматы.- М. 1956.- С. 68-139.

110. Осипов Г. С. О формировании модели для плохо структурированной предметной области // Изв. Ан СССР: Техн. кибернетика. 1987.- * 5.- С. 198-200.

111. ОСТ 11 305.009-84 Микропроцессорные средства вычислительной техники. Контроль технического состояния и поиск дефекта. Термины и определения.- М.: ВНИИ Электронстандарт, 1985.- 39 с.

112. Основы технической диагностики: Модели объектов, методы и алгоритмы диагноза, т. 1 / Под ред. П. П. Пархоменко.- М.: Энергия, 1976.- 464 с.

113. Пархоменко П. П., Согомонян Е. С. Основы технической диагностики: Оптимизация алгоритмов диагностирования, аппаратурные средства.- М.: Энергия, 1981.- 320 с.

114. Партхасаратхи Т., Рагхаван Т. Некоторые вопросы теории игр двух лиц.- М.: Мир, 1974.

115. Поиск неисправностей в логических ТЭЗ с помощью псевдослучайных кодов / Головистиков П. П., Громаковский В. А., Зимарев А. Н. и др. // Тез. 8-й Все союз, школы-семинара по технической диагностике.- Рига: Дом техники, 1981.- С. 23-26.

116. Преобразование псевдослучайных кодов как метод испытательных последовательностей для контроля логических ТЭЗ / Головистиков П. П., Громаковский В. А., Зимарев А. Н. и др. // Там же.1. С. 16-18.

117. Проблемно-ориентированный язык программирования ТЕСТ // Под ред. И. Ф. Клисторина.- Кишинев: Штиинца, 1978.- 128 с.

118. Романкевич А. М. О направленном поиске отказов в вероятностных системах диагностирования цифровых объектов // Управляющие системы и машины.- 1981.- * 1.- С. 47-49.

119. Романкевич А. М., Вилинский Ю. С. Система автоматизации синтеза псевдослучайных испытательных последовательностей для контроля отказов в логических блоках // Управляющие системы и машины. 1982.- Л 1.- С. 62-66.

120. Саломаа А. Жемчужины теории формальных языков.- М.: Мир, 1986.- 159 с.

121. Самофалов К. Г., Карачун Л. Ф., Лупанова Р. И., Рубаник С. М. Управляемый генератор псевдослучайных последовательностей для систем диагностирования цифровой аппаратуры // Управляющиесистемы и машины.- 1984.- #2.- С. 32-33.

122. Саядян Г. А. Автоматическая генерация входных данных для микропрограмм функционального контроля БИС // Электронное моделирование. 1984.- £ 2.- С. 68-71.

123. Саядян Г. А., Аракелян А. А., Алексанян Н. А. К вопросу автоматизации синтеза функциональных тестов для блоков микро-ЭВМ // Автоматика и вычислительная техника.- 1981.- * 1.- С. 29-33.

124. Севастьянов Б. А. Теория ветвящихся случайных процессов // Успехи мат. наук.- 1951.- * 6.- с. 47-99.

125. Сергеев В. Г., Щумский Л. Д. Универсальная аппаратура для динамического функционального контроля сложных логических блоков // Приборы и системы управления.- 1984.- Вып. 4.- С. 20-21.

126. Серийно выпускаемое и перспективное оборудование. М. ЦНИИТЭИ, 1978.- 102 с.

127. Сидоренко В. П., Руккас О .Д., Берштейн М. С., ЧИчирин Е. Н. Контрольно диагностический автоматический комплекс // При-бори и системы управления.- 1981.- * 5.- С. 4-6.

128. Систематизированный сборник отечественных и зарубежных средств технологического контроля электронной аппаратуры и изделий электронной техники.- Пенза: НИИ Контрольприбор, 1991.- 121 с.

129. Смит Б. Э. Джонсон М. Т. Архитектура и программирование микропроцессора INTEL 80386. М.: ТЭО Конкорд, 1992.- 334 с.

130. Тоценко В. Г. Алгоритм технического диагностирования цифровых устройств.- М.: Радио и связь , 1985.- 240 с.

131. Тоценко В. Г., Пимахов С. С. Метод построения тестов для микропроцессоров // Автоматизация контроля вычислительных устройств и систем: Тез. докл. Республ. научно-техн. конф.- Киев: РДНТП.- 1988.- С. 84-86.

132. Тоценко В. Г., Федорчук Ю. А. Применение экспертных систем для технической диагностики вычислительных систем // Тез. докл. Республ. научно-техн. конф. "Автоматизация контроля вычислительных устройств и систем".- Киев: РДНТП, 1988.- С. 86-87.

133. Уильяме Г. Б. Отладка микропроцессорных систем.- М.: Энергоатомиздат, 1988.- 253 с.

134. Успенский В. А., Семенов А. П. Теория алгоритмов: Основные открытия и приложения.- М.: Наука, 1987.- 288 с.

135. Феллер В. Введение в теорию вероятностей и ее приложения.- М.: Мир, 1964.- 498 с.

136. Филимонов С. Н. Аппроксимация псевдослучайных тестов цифровых устройств к заданному уровню качества // Контроль и диагностика цифровых узлов на микросхемах.- М.: ЦНИИТЭИ, 1983.- С.66-69.

137. Филимонов С. Н. Метод построения псевдослучайных тестов цифровых устройств // Тез. докл. VI Всесоюзн. научно-техн. конф. "Информационно-измерительные системы-83 (ИИС-83)".- Куйбышев: Дом техники, 1983.- С. 245-246.

138. Федер Дж. Плекс языки // Сб. Научная информация.- 1971.* 3.- С. 225-241. (Перевод с англ.)

139. Филимонов С. Н., Зайчикова 0. В., Филатов В. Д. Процессор, реализующий управляемые стохастические грамматики // Теория и практика конструирования и обеспечения надежности и качества электронной аппаратуры и приборов.- М.: Радио и связь, 1984.- С. 86.

140. Филимонов С. Н. Алгоритмы и средства управляемой генерации псевдослучайных воздействий в информационно-измерительной системе контроля цифровых устройств: Диссертация на соискание ученой степени канд. техн.н.- Кишинев, 1985.- 176 с,

141. Филимонов С. Н. Оценка полноты и оптимальности псевдослучайных тестов цифровых устройств // Управляющие системы и машины.- 1986.- * 3.- С. 40-42.

142. Филимонов С. Н. Применение языковых вхождений в задаче псевдослучайного тестирования цифровых устройств // Тез. докл. Республ. семинара "Техническая диагностика и эксплуатация вычислительных и управляющих систем".- Киев: АН УССР, 1989.

143. Филимонов С. Н., Гушан В. Ф., Макаров В. А. Исследование свойств генераторов псевдослучайных последовательностей // Тез. докл. Республ. научно-техн. конф.- Кишинев: MHO МОЛР, КПИ им. С.Лазо, 1989.- С. 13.

144. Фон Нейман Дж., Моргенштейн О. Теория игр и экономическое поведение.- М.: Наука.- 408 с.158. фу К. С. Лингвистический подход к распознаванию образов: Класифпсация и кластер.- М.: Мир, 1980.- С. 168-207.

145. Фу К. С. Структурные методы в распознавании образов.-М.: Мир, 1977.- 320 с.

146. Функциональный контроль и ремонт логических ячеек с помощью псевдослучайных кодов / П. П. Головистиков, В. А. Громаковский, Р. И. Дружинина и др.- М.: ИТМ и ВТ АН СССР, 1980.- 27 с.-(Препр. / Ин-т точной механики и вычислительной техники; N 2).

147. Харрис Т. Теория ветвящихся случайных процессов.- М.: Мир, 1966.- 355 с.

148. Хомский Н. Три модели описания языка // Кибернетический сборник.- Вып. 2.- М.: Изд-во инстранной лит, 1961.

149. Хомский Н. Формальные свойства грамматик // Кибернетический сборник: Новая серия.- Вып. 6.- М.: Мир, 1969.

150. Хомский Н. Аспекты теории синтаксиса / Пер. с англ.- М.: Изд-во Московского ун-та, 1972.- 259 с.

151. Чипулис В. П., Шаршунов С. Г. Построение тестов микропроцессоров: Проверка хранения и передачи данных // Автоматика и телемеханика.- 1986.- С. 139-150.

152. Чжен Г., Мэннинг Е., Метц Г. Диагностика отказов цифровых вычислительных систем.- М.: Мир, 1972.- 232 с.

153. Шеннон К. Э. Работы по теории информации и кибернетике.-М.: Изд-во иностранной лит., 1963.- С. 243-333.

154. Шепул Дж. Полные испытания специализированных ИС с помощью новых программных средств // Электроника.- 1990.- * 10.-с. 5-7.

155. Яковлев В. В., Федоров Р. Ф. Стохастические вычислительные машины.- Л.: Машиностроение, 1974.- 344 с.

156. Ярмолик В. Н. Контроль и диагностика цифровых узлов ЭВМ. Минск: Наука и техн1ка, 1988.- 238 с.

157. Ярмолик В. Н., Демиденко С. Н. Генерирование и применение псевдослучайных сигналов в системах испытаний и контроля.

158. Минск: Наука и техн!ка, 1986.- 200 с.

159. Ясинявичене Г. М., Бургис Б. В., Мецаев Е. А., ГреОли-кас И.-А. К. Тестовый контроль микропроцессорных БИС на производстве.- М.: Радио и связь, 1989.- 120 с.

160. Abraham J. A., Fuchs К. W. Fault and Error Models for VLSI // IEEE Trans, on Сотр.- 1986.- * 5.- P. 639-654.

161. Agrawal P., Agrawal V. D. Probabilistic analysis о f random test generation method for lrredundant combinational logic networks // IEEE transactions on computers.- 1975.- V.C-24.- N7.-P. 691-695.

162. Agrawal V., Chung C. Probabllistlcalll qulded test generation // Int. Symp. on circuits and systems.- 1985. P. 687-690.

163. Agrawal V. D. Statistical testing // Testing and Diagnosis of VISI and ULSI.- Kluwer Academic Publishers.- 1988.- P. 3347.

164. Aho A. U., Ulman J. D. The theory of languages // J. Mat. Syst. Theory.- 1968.- V 2.- P. 97-125.

165. Bending M. J. HITEST: A knowledge-based test generation system // Proc. of Inc. test Conf.- 1986.- P. 85-92.

166. Bellon C., Gobbi J., Sander G. Automatic generation of microprocessor test programs // 19th Autom. Conf. Proc.-Las-Vegas, 1982.- P. 566-573.

167. Borscevlcl V. I., Fllimonov S. N., Olelnik V. L., Pusne- ее- V. A. Spectral analysis of fuzzy sets and appllcftlons in imagerecognition // Fuzzy Systems & A.I.Magazln.- V 1.- 1991.- N 3-4. v 6-7,

168. Borshevlch V. I., Kllstorin I. F., Sldorenco V. V.,

169. Flllmonov S. N. Structural and Linguistic Approach to Test Patterns Generation and Quality Evaluation // XVIII th Congress of the Romanian American Academy of Sciences and Arts.- Vol. 2.-Chlshlneu: ASM, 1993, P. 44.

170. Brahme D., Abraham A. Functional tesning of microprocessor // IEEE Trans, on Hardware Engineering.- 1984.- N 6.- P. 475-485.

171. Broadbend S. R., Hammersley J. M. Percolation processes: Crlstals and mazes // Processing of the Cembrldge Philosophical Society.- 1957.- * 53.- P. 629-641.

172. Chomsky N. On certain formal properties of grammars // Information and Control.- 1959.- N 2.- P. 137-167.

173. Chomscky N. A note on phrase-structure grammars // Ibid. P.393-395.

174. David R., Thevenod-Fosse P. Panorama des me tods de test non deterministes des circuits logique // R.A.I.R.O. Automatique systems analisls and control.- 1979.-V. 13.- N 1.- P. 5-38.

175. David R., Thevenod-Fosse P. Minimal detecting transition sequenses: Application to random testing // IEEE Trans, on Comp.-1980.- V. C-29.- P. 514-518.

176. Duran J. W. An evaluation of random testing // IEEE transactions on software engineering.- 1984.- V. SE-10.- N 4.-P. 438-444.

177. Fedi X., David R. Experimental results from random testing of mlcroprocesspr // Fault-Tolerant Сотр. Symp. (FTCS-14) Digest of Papers.- 1984.- P. 225-230.

178. Flllmonov S. N. The model of the stochastic generatorof the test programs and method of Its analyse // Computer Scinces of Moldova.- 1993.- V. 1.- * 3.- P. 81-86.

179. Pu K. S. Slntactic Pattern Recognition and Applications. New Jersy: Purdue University, 1982.- 245 p.

180. Gallay J., Crouzet Y., Vergnlault M. Phlslcal versus logical fault models MOS ISI circuits: Impact on their testability // IEEE Trans, on Сотр.- 1980.- V. C-29.- N 6.- P. 527-531.

181. Hess Ь. M., Tlmoc C. G. Hardware fault simulator for MP circuits // Electronics test.- 1984.- V. 7.- N 4.- P. 26.

182. Huang Т., Pu К. S. On stochastic context-free languages // Information Sci.- 1971.- N 3.- P. 201-224.

183. Kllstorln I. P., Borshchevlch V. I., Flllmonov S. N. Systems for testing of mlcrprocessors // Proc. of the 6th System Modelling Control Symp. (SMG-6).- Zakopane: Institute of Informatics, 1990.- P. 191-192.

184. Kllstorln I., Borshchevlch V., Flllmonov S. CAD subsystem with artificial intelligence elements // The Integration of Purpose Specialists* Training System and Automation Technical Systems of various Purpose.- Evpatory, Moscou: CNCRPS, 1990.- P. 18.

185. Llsanke R., Brglez F. Testability-driven random test-pattern generation // IEEE Trans, on Сотр.- 1987.- CAD-6.- * 6.-P. 1082-1087.

186. Luclw W. Can an user test LSI Microprocessor effectively. // IEEE Trans, on Manufacturing Technology.- 1976.- MFT-5.-* 1.- P. 21-23.

187. Membrain MB 7760S test system: Pierreboll.- 1986.- P. 2.

188. Mllgram D. L., Rosenfeld A. A note on "Grammers with

189. Coordinates" // Graphic Languages.- Amsterdam: North-Holland Publ.- 1972.- P. 112-137.

190. Parker K. P., McCluskey E. J. Analysis of loglk circuit with faults using input signal probabilities // IEEE Trans, on Сотр.- 1975.- V. C-24.- №5.- P. 573-578.

191. Parker K. P. Adaptive random test generation // J. des Auto and Fault-Tolerant Сотр.- 1976.- V. 1.- P. 62-83.

192. Parker K. P., McCluskey E. J. Seguential circuit output probabilities from regular expression // IEEE Trans, on Comp.-1978.- * 3.- P. 222-231.

193. P.S. Board Testers 3000 series. Fluke Catalog.- 1982/83.- John Fluke MFG Co. Inc.- P. 158-163.

194. Pat. 4125763 USA G 06 F 11/00 Automatic tester for microprocessor board // R. D. Drab lug, T. Y. Lam, C. 0. Heard. Fluke Trendar Corp.- * 815961; Filled 15.06.77; Pat 14.11.78.- 7 p.

195. Pat. 25535401 Frans. 4 G 06 F 11/30; G 06 F 7/58; G 01 R 31/28. Dispositiv de test aleatoire pour circuits loglques, notam-ment microprocesseurs / R. David, X. Fedi; Depot 13.01.83; Mise 19.04.85.- 8 p.

196. Pat. 4503536 USA, 2 G 06 F 11/00; US CI. 371/25. Digital circuit unit testing system utilising signatur analysis / G. W. Panz; General Dynamics; Filed 13.09.82; Pat. 5.03.85.- 9 p.

197. Pfaltz J. L., Rosenfeld A. Web grammars // Proc. Int. Joint Conf. Artificial Intelligence.- Washington: D.C., 1969.1. P 609-619.

198. Robach C., Sancler G., Alconard C. Microprocessor system testing // EUROMICRO J., 1979.- * 12.- P.31-37.

199. Robach С., Sancier G. Microprocessor fault testing // IEEE Test Conf. Philadelphia, 1990.- P.433-443.

200. Savlr J., Bardell P. H. On random pattern test length // IEEE Trans, on Сотр.- 1984.- V. C-33.- N 6.- P. 467-474.

201. Seshu S. On an improved diagnosis program // IEEE Trans 1965.- V. EC-14.- N 1.- P. 76-79.

202. Shedletsky J., McClusky E. The error latentsy of a fault in sequental digital circuits // IEEE Trans.- 1976.- V. C-25.1. P. 655-659.

203. Thatte S. M., Abraham J. A. A metodology for functional level testing of microprocessors // 8th Int. Conf. on Fault-Tolerant Сотр. Toulouse, 1978.- P. 90-95.

204. Thatte S. M., Abraham J. A. Test generation for miropro-cessors // IEEE Trans.- 1980.- V. C-29, N 6.- P. 429-441.

205. Thevenod-Fosse P. Asinchronus random testing of sequential networks // Int. Symp. on Fault-Tolerant Сотр. Systems. Toulouse, 1978.- P. 213.

206. Thevenod-Fosse P., David R. Random testing of the data processing section of a microprocessor // FTCS-11.- Portland, 1981.- P. 275-280.

207. Thevenod-Fosse P., David R. Random testing of the control section of a microprocessor // FTCS-13.- Milano, 1983.1. P. 336-373.

208. Timoc C., Stoff F., WIckman K., Hess L. Adaptive probabilistic testing of a microprocessor // ICCAD-83. IEEE International Conference Computer-aided Design.- Santa-Clara, 1983.- P. 71-72.

209. Timoc C.t Stoff P., Wickman K.f Hess L. Adaptiv Self-test for a microprocessor // Int. test Conf.: Test changing role.- Cherri-Hill: Silver Springs, 1983.- P. 701-703.

210. Williams T. W., Parker K. P. Testing logik network and designung for testability // IEEE Trans, on Сотр.- 1979.- V. 12.* 10.- P. 9-12.

211. Williams T. W., Parker K. P. Design for testability a survey // IEEE Trans, on Сотр.- 1982.- V. 31.- * 1.- P. 2-14.