Уточнение таблицы покрытия

Возникает практический интерес к уточнению и упрощению таблицы.

1 если в таблице покрытий существует нулевая строка. Это означает что контрольная проверка соответствующая этой строке не является результативной и она ничего не выявляет. Без результатные проверки, которые дают нулевые строки в таблицы – должны быть изъяты из таблицы.

2 если в таблице образуется нулевой столбец – это пара состояний не различается не одной проверкой, состав проверок не полный, надо добавить какую-нибудь проверку чтобы различать или исключить из таблицы.

3 строка таблицы является сплошной, то эта строка соответствует проверкам минимальным алгоритмам контроля. Чем больше единиц имеют проверку контроля, тем труднее и дороже выполнить эту проверку.

4 если есть сплошной столбец состоявший из единиц, указывает на то, что эта пара состояний различается любой проверкой.

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

Если собрать ядерные проверки, которые обеспечивают накрытие всех столбцов, то их совокупность даёт полный алгоритм контроля. При удаление столбцов и строк к операции удаление надо подходить аккуратно, с их удалением можно потерять минимальные алгоритмы.

Обычно производят таким образом проверки – проверки проводят на основе алгоритма синтезируемых по таблицам покрытия, а различения состояния по результатом проверки проводятся по таблицам функциям неисправности.