6.4. Минимизация полного теста
Задача минимизации полного теста может
быть сведена к задаче поиска кратчайшего
покрытия булевой матрицы. Сопоставим
столбцам матрицы неисправности, строкам
– тесты, элемент с номером
положим равным единице, если и только
если
-й
тест обнаруживает
-ю
неисправность. Затем найдем кратчайшее
покрытие этой матрицы. Так как задача
поиска покрытия является вычислительно
сложной, имеет смысл заранее ее упростить,
например, выделить неисправности,
обнаруживаемые единственным тестом
(аналог ядерных столбцов и строк таблицы),
и т.д.
Пример. Рассмотрим тесты,из предыдущего примера.
‑тесты
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
‑тесты
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Выделим сначала те неисправности, для которых существует единственный тест.
1000 |
0010 |
0000 |
1100 |
1010 |
0100 |
0011 |
0101 |
0110 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Внесем эти тесты в кратчайший полный тест и удалим обнаруживаемые ими неисправности из списка. Не обнаружены неисправности и , для их обнаружения достаточно добавить в кратчайший тест, например, наборы 0111 и 1001.
Кратчайший полный тест состоит из 11 наборов (вместо 16 в полном тесте).