Многомерная активизация путей в шестизначном алфавите

Рассмотрим применение -алгоритма к построению теста для неисправности схемы, изображенной на рис. 18.4.

При инициализации мы получаем куб , представленный в табл. 18.12. Элементы и одинаково близко расположены к выходу, -граница содержит элементы . Выбираем для -распространения элемент . Пересекая -куб узла разветвления элемента с кубом , как это показано в табл. 18.12 б), в), получаем куб . Пополняем -границу . Далее выбираем -куб элемента и, пересекая его с , получаем , как показано в табл. 18.12 г). Так как мы достигли внешнего выхода, то этап D-распространения заканчивается. Далее нужно выполнить процедуру доопределения. Стек доопределения в этот момент должен содержать элементы . Выбираем 1-куб элемента и, выполняя пересечение его с кубом , как показано в табл. 18.12 д), получаем . Аналогично доопределяем входы ( табл. 18.12 е). В результате получаем тест .

Таблица 18.12.

Куб	1	2	3	4	5	6	7	8	9	10	11	12
a)
б)
в)
г)
д)

Как было показано выше, в -алгоритме используется следующая стратегия при построении теста. Сначала значения распространяются до внешнего выхода, а затем с помощью процедуры доопределения находится тестовый набор. Если во время выполнения процедуры доопределения возникает противоречие, то это приводит к поиску другого пути -распространения. Если противоречивые ситуации возникают часто, то существенно увеличивается время генерации теста. Например, для схем, содержащих много элементов "исключающее ИЛИ" (схем контроля четности и т.п.), процедура -распространения выполняется достаточно легко, однако при выполнении процедуры доопределения часто возникают противоречия и для таких схем -алгоритм требует значительных затрат времени. Для этого класса схем был разработан метод РОDЕМ, который хорошо зарекомендовал себя и для других типов схем.

Ключевые термины:

Многозначный алфавит - определяет множество ситуаций, возможных при построениитеста в исправной и неисправной схеме.

D-распространение - распространение в схеме символовс, , характеризующих различие значений сигналов в исправной и неисправной схеме.

Доопределение - процедура поиска значений входных сигналов, обеспечивающих значения, найденные на этапе распространения.

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

Краткие итоги

В лекции рассмотрена задача построения проверяющего теста для конкретной заданной неисправности комбинационной схемы. Изложен струтурный метод построения тестов для заданной неисправности с использованием 6-значного алфавита, который позволяет проводить многомерную активизацию путей в схеме..

В "Многомерная активизация путей в шестизначном алфавите" показано, как 6-значный алфавит может быть использован для генерации тестов. Представлены основные этапы построения теста, присутствующие в структурных методах. Описано функционирование логических элементов в 6-значном алфавите.

В "Многомерная активизация путей в шестизначном алфавите" изложен -алгоритм - первый структурный метод, гарантирующий построение проверяющего теста для неизбыточной неисправности. Описана техника кубов, используемая в этом методе. Представлен базовый -алгоритм с иллюстрацией на примере небольшой схемы.

Вопросы и упражнения

1. Что лежит в основе 6-значного алфавита?
2. Какие распределения значений сигналов в исправной и неисправной схеме отражает 6-значный алфавит?к
3. В чем суть использования многозначных алфавитов в построении тестов?
4. Приведите основные этапы построения теста с использованием многозначных алфавитов.
5. Как выполняется активизация неисправности?
6. Как выполняется этап -распространения?
7. Как производится этап доопределения входных сигналов?
8. Зачем нужен этап импликации?
9. Чем прямая импликация отличается от обратной?
10. Что является рабочим инструментов в -алгоритме?
11. Приведите 1-куб для вентиля ИЛИ.
12. Приведите 0-куб для вентиля НЕ-И.
13. Приведите -куб для вентиля НЕ-ИЛИ.
14. Приведите -куб для вентиля НЕ-И.
15. Что такое к-куб?
16. Как выполняется пересечение кубов.
17. Какой физический смысл символов в таблице пересечения кубов?
18. Постройте с помощью -алгоритма проверяющий тест для неисправности , приведенной на схеме рис. 18.6.
    

    
    Рис. 18.6. Схема для упражнения 13