
- •Абзапарова е.А. Техническая эксплуатация цифровых систем коммутации
- •Содержание
- •Введение
- •Требования к оформлению контрольной работы
- •Тематический план
- •Содержание разделов и тем курса
- •Тема 2.3. Резервирование
- •Раздел 4. Качество программного обеспечения
- •Контрольные задания Задание 1
- •Рекомендации для выполнения задания 1
- •Задание 2
- •Рекомендации для выполнения задания 2
- •Задание 3
- •Рекомендации для выполнения задания 3
- •Задание 4
- •Рекомендации для выполнения задания 4
- •Задание 5
- •Рекомендации по выполнению задания 5
- •Список литературы
Задание 3
Составить тестовый набор проверки комбинационных схем и алгоритм тестовой проверки. Комбинационные схемы приведены в таблице 3.1.
Таблица 3.1
Вариант 1 |
Вариант 2 |
|
|
Вариант 3 |
Вариант 4 |
|
|
Вариант 5 |
Вариант 6 |
|
|
Вариант 7 |
Вариант 8 |
|
|
Вариант 9 |
Вариант 10 |
|
|
Рекомендации для выполнения задания 3
Процесс разработки тестовой программы состоит из нескольких этапов:
определение списка неисправностей;
вычисление тестового набора для очередной неисправности из списка;
моделирование схемы на тестовом наборе для выявления подмножества обнаруживаемых неисправностей;
определение полноты проверки схемы.
Существует несколько способов выявления тестовых наборов, но самым простым является табличный метод.
Рассмотрим табличный метод определения минимального набора тестов для диагностирования комбинационной схемы (рисунок 3.1)
Рисунок 3.1 – Комбинационная схема
Тесты должны обнаруживать обрывы любого входа и КЗ выхода. Одновременно в схеме может быть только одно неисправность.
Определение списка неисправностей:
обрыв Х1 – Н1
обрыв Х2 – Н2
обрыв Х3 – Н3
обрыв Y – Н4
КЗ Y – Н5
КЗ Z – Н6
Вычисление тестового набора для очередной неисправности из списка
Для этого составим таблицу истинности
Таблица 3.2
Неисправности
схемы ИЛИ эквивалентны 0: Н10,
Н2
0,
Н5
0.
Неисправности
схемы И эквивалентны 1: Н31,
Н4
1,
Н6
1.
Из таблицы видно, что для проверки схемы необходимо 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 |
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 |
Тестовый набор T={Т2, Т3, Т4, Т6}
Такой метод определения минимального набора тестов достаточно прост, но при большом количестве элементов не всегда с первого раза приводит к эффективному тестовому набору.
Алгоритм проверки комбинационной схемы показан на рисунке 3.2
Рисунок 3.2 – Алгоритм тестовой программы