Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Дрейзин В.Э., Кочура А.В. - Управление качество...doc
Скачиваний:
4
Добавлен:
01.03.2025
Размер:
3.62 Mб
Скачать

6.4. Методы тестирования и синтез тестов

6.4.1. Классификация методов тестирования

Наиболее распространенным методом тестирования в производственном контроле является тестирование с хранимой программой. Этот метод может быть реализован в двух модификациях: с использованием словарной организации поиска дефектов и с зондовой организацией поиска. В производственном контроле преобладает первая модификация, поскольку она предусматривает полностью автоматизированную процедуру диагностики, в то время как вторая модификация осуществляется в диалоговом режиме и требует участия человека, который с помощью одноконтактного или многоконтактного зонда должен подключать тестер к тем или иным контрольным точкам контролируемого блока и снимать с них реакцию этого блока на входной тест. При словарной же организации место подключения зондов в процессе контроля не меняется. Это могут быть либо краевые разъёмы, либо адаптер типа «ложе из гвоздей».

Словарная организация тестирования может осуществляться с применением безусловных и условных алгоритмов диагностирования. Алгоритм диагностирования называется безусловным, если он задаёт одну фиксированную последовательность элементарных проверок. Под элементарной проверкой понимается некоторый минимальный эксперимент над объектом диагностирования, не подлежащий дальнейшему расчленению. Результат элементарной проверки, независимо от её содержания, должен быть дуальным (0 или 1). Если при одном состоянии объекта в результате проведения данной элементарной проверки мы получаем 0, а при другом состоянии – 1, то это значит, что данная проверка различает эту пару состояний. Если же при обоих состояниях мы получаем одинаковый результат (или 0, или 1), то эти состояния не будут различаться данной проверкой.

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

В свою очередь безусловные алгоритмы бывают двух видов: с безусловной остановкой и с условной остановкой. Алгоритмы с безусловной остановкой характеризуются тем, что диагноз выдаётся только после окончания всех элементарных проверок независимо от того в каком конкретном состоянии находится диагностируемый объект, т.е. длина теста (количество элементарных проверок) всегда одинакова независимо от состояния объекта. В безусловных алгоритмах с условной остановкой выдача тест заканчивается, как только будет определено действительное состояние объекта. Поэтому длина теста зависит от состояния диагностируемого объекта, но последовательность элементарных проверок остаётся жёстко заданной. В условных же алгоритмах последовательность элементарных проверок зависит от результатов предыдущих проверок и тест заканчивается как только будет определено действительное состояние объекта.

Одни и те же дефекты могут обнаруживаться различными тестами, отличающимися и количеством элементарных проверок, и самими входными последовательностями. С точки зрения повышения производительности контроля лучшими будут тесты, позволяющие различать одно и тоже множество дефектов при минимальном количестве элементарных проверок. Алгоритмы диагностирования, которые являются оптимальными в смысле минимума элементарных проверок, называются минимальными. Поскольку из одних и тех же элементарных проверок могут быть составлены безусловные тесты с безусловной остановкой, безусловные тесты с условной остановкой и условные тесты, то, очевидно, средняя длина этих тестов при всех диагностируемых состояниях объекта будет разной, даже если все они являются безызбыточными. Минимальной она будет у условных тестов, затем будут следовать безусловные тесты с условной остановкой и на последнем месте будут безусловные тесты с безусловно остановкой, хотя максимальная длина этих тестов (при наиболее неблагоприятном состоянии объекта) будет одинакова и равна длине безусловного теста с безусловной остановкой.

Однако критерием оптимальности теста может быть не только его длина. Дело в том, что различные элементарные проверки могут требовать различного контрольно-измерительного или тестирующего оборудования и характеризоваться различной трудоёмкостью, т.е. такие элементарные проверки могут иметь различную стоимость реализации. В этом случае критерием оптимальности может выступать стоимость теста и тогда вполне реальным может оказаться случай, когда наименьшей стоимостью будет характеризоваться не самый короткий тест. Кроме того, различные диагностируемые состояния (характеризуемые различными дефектами) могут иметь разные вероятности и, в этом случае, при составлении условных тестов естественно требование обнаружения наиболее вероятных состояний объекта наиболее короткими (или наиболее дешёвыми) тестами. Тогда средняя длина (стоимость) тестирования при всех возможных состояниях объекта будут минимальны.

Таким образом, в общем случае при синтезе оптимальных (или близких к оптимальным) тестов необходимо учитывать и вероятности диагностируемых состояний и стоимость используемых элементарных проверок.