Cтраница 1
Проверяющие тесты состоят из примеров и подпрограмм. Принцип проверки основан на сравнении полученных и ожидаемых данных. Проверяющие тесты имеют следующее назначение: тест прямого управления для контроля правильности обмена данными и кодами внешних прерываний между ЭВМ комплекса с помощью средств прямого управления; тест устройства управления комплексом - для проверки функциональных состояний данного устройства; тесты общего поля внешней памяти на НМД и НМЛ - для контроля передачи данных при использовании общего поля памяти соответственно на НМД и НМЛ; тест адаптера канал-канал - для контроля передачи данных через адаптер канал-канал; тест готовности комплекса ВК-2Р-35 - для проверки готовности всех устройств, входящих в комплекс. Функциональный тест локального комплекса ЕС-7906 служит для проверки устройств, входящих в данный локальный комплекс. [1]
Проверяющие тесты осуществляют проверку оборудования ЭВМ в период профилактических работ или в случае обнаружения ошибки средствами контроля. [2]
Предлагается метод построения единичных проверяющих тестов для устройств с триггерами. Необходимое описание анализируемого устройства задвется - в виде системы временных логических функций. [3]
Об одном методе построения проверяющих тестов для устройств с триггерами. [4]
Рассмотренный комплекс программ машинного построения проверяющих тестов разработан и внедрен в плановую эксплуатацию на ЭВМ БЭСМ-6, программы написаны на языке ЛЯПАС. [5]
Он установил, что последовательность проверяющих тестов для некоторого асинхронного устройства управления можно было бы написать по результатам анализа, даже не зная аппаратуры, из которой это устройство состоит. Последовательность тестов для управляющей точки была проста и очевидна, кроме того, управляющие точки имели однозначное соответствие с микроинструкциями, выполняемыми управляющим устройством. [6]
Заметим, что алгоритмов оптимального построения проверяющих тестов для контроля цифровых ячеек, содержащих счетчики и сдвиговые регистры, практически еще не существует. [7]
В состав базового программного обеспечения входят супервизор, транслятор с языка Ассемблер НЦ-1, стандартные программы, проверяющие тесты, программа-загрузчик. [8]
В состав базового программного обеспечения Электроника НЦ-1 входят супервизор, транслятор с языка ассемблер НЦ-1, стандартные программы, проверяющие тесты, программа-загрузчик. Для автономной отладки программ имеется вспомогательное программное обеспечение, включающее интерпретатор системы команд ЭВМ Электроника НЦ-1 на ЭВМ БЭСМ-6, транслятор с языка микроассемблер НЦ-1, транслятор с языка ассемблер НЦ-1. Вспомогательное программное обеспечение написано на языке ФОРТРАН. [9]
В заключение необходимо отметить, что в связи с широким использованием БИС, как основы проектирования цифровых устройств, проблема синтеза проверяющих тестов становится одной из главных и еще не решенных в необходимом объеме проблем. [10]
Содержательно задача построения теста состоит в том, чтобы найти ( вычислить, выбрать, назначить) такую совокупность и, возможно, последовательность входных воздействий, при подаче которой на объект диагностирования получаемые ответы объекта в заданных контрольных точках позволяют сделать заключение о его техническом состоянии. Проверяющие тесты предназначены для проверки исправности или работоспособности объекта, а тесты поиска дефектов - для указания места и, возможно, причин дефектов, нарушающих исправность или работоспособность объекта диагностирования. Для дискретных объектов тесты ( точнее, алгоритмы тестового диагностирования) строятся либо по структурным, либо по функциональным моделям объектов диагностирования. Для простых объектов модели могут быть явными, для сложных объектов всегда применяются неявные модели. Тесты могут быть детерминированными или вероятностными. Среди последних заметное место занимают тесты, представляющие собой псевдослучайные последовательности входных воздействий. [11]
Рассмотрены вопросы диагностирования цифровых устройств: методы проверки и поиска одиночных и кратких дефектов. Предложены алгоритмы синтеза проверяющих тестов и тестов поиска дефектов. Даны рекомендации по автоматизации процесса диагностирования с помощью средств малой вычислительной техники. [12]
Рассмотренный метод диагностирования ПЛМ [29] запрограммирован. С помощью ТЕЛУР-системы [30] можно не только автоматически генерировать проверяющие тесты для ППЗУ, комбинационных ПЛМ и ПЛМ с памятью, но и скорректировать ПЛМ с целью исключения необнаружимых неисправностей. [13]
Наиболее часто поставляемыми испытательными программами являются функциональные испытательные программы, каждая из которых предназначена для проверки отдельного устройства. Эти программы первоначально разрабатываются в период проектирования аппаратуры в качестве проверяющих тестов для проверки выполнения каждой функции отдельного устройства, а затем независимо от глубины дальнейшей разработки устройств продолжают использоваться при проверке аппаратуры в условиях ее производства, когда возможны кратные устойчивые неисправности. [14]
Проверяющие тесты состоят из примеров и подпрограмм. Принцип проверки основан на сравнении полученных и ожидаемых данных. Проверяющие тесты имеют следующее назначение: тест прямого управления для контроля правильности обмена данными и кодами внешних прерываний между ЭВМ комплекса с помощью средств прямого управления; тест устройства управления комплексом - для проверки функциональных состояний данного устройства; тесты общего поля внешней памяти на НМД и НМЛ - для контроля передачи данных при использовании общего поля памяти соответственно на НМД и НМЛ; тест адаптера канал-канал - для контроля передачи данных через адаптер канал-канал; тест готовности комплекса ВК-2Р-35 - для проверки готовности всех устройств, входящих в комплекс. Функциональный тест локального комплекса ЕС-7906 служит для проверки устройств, входящих в данный локальный комплекс. [15]