Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Методички для С-02Н / Методички для С-02Н / 210406.65 Техническая эксплуатация ЦСК_ДКР_2008_Абзапарова Е. А..doc
Скачиваний:
29
Добавлен:
05.05.2015
Размер:
1.54 Mб
Скачать

Задание 3

Составить тестовый набор проверки комбинационных схем и алгоритм тестовой проверки. Комбинационные схемы приведены в таблице 3.1.

Таблица 3.1

Вариант 1

Вариант 2

Вариант 3

Вариант 4

Вариант 5

Вариант 6

Вариант 7

Вариант 8

Вариант 9

Вариант 10

Рекомендации для выполнения задания 3

Процесс разработки тестовой программы состоит из нескольких этапов:

  1. определение списка неисправностей;

  2. вычисление тестового набора для очередной неисправности из списка;

  3. моделирование схемы на тестовом наборе для выявления подмножества обнаруживаемых неисправностей;

  4. определение полноты проверки схемы.

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

Рассмотрим табличный метод определения минимального набора тестов для диагностирования комбинационной схемы (рисунок 3.1)

Рисунок 3.1 – Комбинационная схема

Тесты должны обнаруживать обрывы любого входа и КЗ выхода. Одновременно в схеме может быть только одно неисправность.

    1. Определение списка неисправностей:

  • обрыв Х1 – Н1

  • обрыв Х2 – Н2

  • обрыв Х3 – Н3

  • обрыв Y – Н4

  • КЗ Y – Н5

  • КЗ Z – Н6

  • Вычисление тестового набора для очередной неисправности из списка

    Для этого составим таблицу истинности

    Таблица 3.2

    Неисправности схемы ИЛИ эквивалентны 0: Н10, Н20, Н50.

    Неисправности схемы И эквивалентны 1: Н31, Н41, Н61.

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

    Для сокращения составляем таблицу неисправностей.

    Таблица неисправностей – это двухмерный массив, где неисправности расположены по строкам, а тесты по столбцам.

    В рассматриваемом примере она будет выглядеть так:

    Таблица 3.3

    Неисправности

    Тесты

    Т1

    Т2

    Т3

    Т4

    Т5

    Т6

    Т7

    Т8

    Н1

    0

    0

    0

    0

    0

    1

    0

    0

    Н2

    0

    0

    0

    1

    0

    0

    0

    0

    Н3

    0

    0

    1

    0

    1

    0

    1

    0

    Н4

    0

    1

    0

    0

    0

    0

    0

    0

    Н5

    0

    0

    0

    1

    0

    1

    0

    1

    Н6

    1

    1

    1

    0

    1

    0

    1

    0

    «1» на пересечении строк и столбцов отмечены тесты, обнаруживающие данные неисправности. Переход к минимальному набору тестов выполняется методом пересечения тестов.

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

    Для рассматриваемого примера:

    Таблица 3.4

    Неисправности

    Тесты

    Т1

    Т2

    Т3

    Т4

    Т5

    Т6

    Т7

    Т8

    Н1Н5

    0

    0

    0

    0

    0

    1

    0

    0

    Н2

    0

    0

    0

    1

    0

    0

    0

    0

    Н3

    0

    0

    1

    0

    1

    0

    1

    0

    Н4Н6

    0

    1

    0

    0

    0

    0

    0

    0

    Тестовый набор T={Т2, Т3, Т4, Т6}

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

    Алгоритм проверки комбинационной схемы показан на рисунке 3.2

    Рисунок 3.2 – Алгоритм тестовой программы