Добрый день можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти в известных источниках |
Многомерная активизация путей в шестизначном алфавите
Рассмотрим применение -алгоритма к построению теста для неисправности схемы, изображенной на рис. 18.4.
При инициализации мы получаем куб , представленный в табл. 18.12. Элементы и одинаково близко расположены к выходу, -граница содержит элементы . Выбираем для -распространения элемент . Пересекая -куб узла разветвления элемента с кубом , как это показано в табл. 18.12 б), в), получаем куб . Пополняем -границу . Далее выбираем -куб элемента и, пересекая его с , получаем , как показано в табл. 18.12 г). Так как мы достигли внешнего выхода, то этап D-распространения заканчивается. Далее нужно выполнить процедуру доопределения. Стек доопределения в этот момент должен содержать элементы . Выбираем 1-куб элемента и, выполняя пересечение его с кубом , как показано в табл. 18.12 д), получаем . Аналогично доопределяем входы ( табл. 18.12 е). В результате получаем тест .
Как было показано выше, в -алгоритме используется следующая стратегия при построении теста. Сначала значения распространяются до внешнего выхода, а затем с помощью процедуры доопределения находится тестовый набор. Если во время выполнения процедуры доопределения возникает противоречие, то это приводит к поиску другого пути -распространения. Если противоречивые ситуации возникают часто, то существенно увеличивается время генерации теста. Например, для схем, содержащих много элементов "исключающее ИЛИ" (схем контроля четности и т.п.), процедура -распространения выполняется достаточно легко, однако при выполнении процедуры доопределения часто возникают противоречия и для таких схем -алгоритм требует значительных затрат времени. Для этого класса схем был разработан метод РОDЕМ, который хорошо зарекомендовал себя и для других типов схем.
Ключевые термины:
Многозначный алфавит - определяет множество ситуаций, возможных при построениитеста в исправной и неисправной схеме.
D-распространение - распространение в схеме символовс, , характеризующих различие значений сигналов в исправной и неисправной схеме.
Доопределение - процедура поиска значений входных сигналов, обеспечивающих значения, найденные на этапе распространения.
Импликация - процедура снятия неопределённости на линиях схемы, которые возможны в результате присваивания некоторым линиям определённых значений.
Краткие итоги
В лекции рассмотрена задача построения проверяющего теста для конкретной заданной неисправности комбинационной схемы. Изложен струтурный метод построения тестов для заданной неисправности с использованием 6-значного алфавита, который позволяет проводить многомерную активизацию путей в схеме..
В "Многомерная активизация путей в шестизначном алфавите" показано, как 6-значный алфавит может быть использован для генерации тестов. Представлены основные этапы построения теста, присутствующие в структурных методах. Описано функционирование логических элементов в 6-значном алфавите.
В "Многомерная активизация путей в шестизначном алфавите" изложен -алгоритм - первый структурный метод, гарантирующий построение проверяющего теста для неизбыточной неисправности. Описана техника кубов, используемая в этом методе. Представлен базовый -алгоритм с иллюстрацией на примере небольшой схемы.
Вопросы и упражнения
- Что лежит в основе 6-значного алфавита?
- Какие распределения значений сигналов в исправной и неисправной схеме отражает 6-значный алфавит?к
- В чем суть использования многозначных алфавитов в построении тестов?
- Приведите основные этапы построения теста с использованием многозначных алфавитов.
- Как выполняется активизация неисправности?
- Как выполняется этап -распространения?
- Как производится этап доопределения входных сигналов?
- Зачем нужен этап импликации?
- Чем прямая импликация отличается от обратной?
- Что является рабочим инструментов в -алгоритме?
- Приведите 1-куб для вентиля ИЛИ.
- Приведите 0-куб для вентиля НЕ-И.
- Приведите -куб для вентиля НЕ-ИЛИ.
- Приведите -куб для вентиля НЕ-И.
- Что такое к-куб?
- Как выполняется пересечение кубов.
- Какой физический смысл символов в таблице пересечения кубов?
- Постройте с помощью -алгоритма проверяющий тест для неисправности , приведенной на схеме рис. 18.6.