19 1 №26(методы и средства дигностики отдельных устройств и ЭВМ в целом) (Ответы на все вопросы по теме электроника или типа того)
Описание файла
Файл "19 1 №26(методы и средства дигностики отдельных устройств и ЭВМ в целом)" внутри архива находится в папке "19". Документ из архива "Ответы на все вопросы по теме электроника или типа того", который расположен в категории "". Всё это находится в предмете "окончание университета" из 12 семестр (4 семестр магистратуры), которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "к экзамену/зачёту", в предмете "окончание университета" в общих файлах.
Онлайн просмотр документа "19 1 №26(методы и средства дигностики отдельных устройств и ЭВМ в целом)"
Текст из документа "19 1 №26(методы и средства дигностики отдельных устройств и ЭВМ в целом)"
Метод эквивалентных нормальных форм.
Нормальные формы это:
-
ЭДНФ (дизъюнктивная нормальная форма)
-
ЭКНФ (конъюнктивная нормальная форма)
Рассмотрим ЭДНФ
Номера исключенных оставляем в схеме и приписываем их к оставшимся.
Алгоритм построения тестов:
1 цикл
1. подбираем значения входов такие, чтобы первое слагаемое ЭДНФ = 1, а остальные – 0.
2. определяем по пути от каждого сомножителя первого члена ЭДНФ ошибки (однократные), которые
изменяют значение выхода.
Примечание: при прохождении отрицания значение ошибки изменяется на противоположное.
3. Пункт 1 и 2 повторяются для всех сомножителей всех слагаемых ЭДНФ.
2 цикл
4. подбор значений входов схемы такие, чтобы все слагаемые ЭДНФ равнялись 0, но при этом в
каждом слагаемом только один сомножитель должен равняться 0
5. Пункт 4 повторяется для всех сомножителей всех слагаемых ЭДНФ. Правило изменения характнра
ошибки при проходе через инверсию остается в силе
Обнаруживаются одиночные постоянные ошибки (0 или 1)
Пример