Последовательный анализатор
Cтраница 1
 |
Последовательная таблица неисправностей, представленная в виде дерева. [1] |
Последовательный Анализатор описан в гл. Однако эвристические методы Сешу, предназначенные для генерирования тестов для последовательностных схем, уместно описать в этом разделе. [2]
Последовательный Анализатор - это набор программ для вычислительной машины, который для заданной логической схемы, заданного класса неисправностей и заданной последовательности тестов может генерировать данные моделирования неисправностей. Он обладает также уникальной способностью автоматически генерировать тесты для комбинационных и последовательност-ных схем. В этой главе мы сначала кратко охарактеризуем возможности Анализатора с точки зрения пользователя ( разд. Затем мы осветим наш предмет так, как скорее всего его видит программист, обрисовав некоторые внутренние алгоритмы управления и обработки данных на примере прохождения небольшой задачи ( разд. Еще больший сдвиг в нашем подходе произойдет в разд. В конце главы мы обращаемся к самому Анализатору и описываем его использования для автоматической диагностики неисправностей. Этот материал вместе с критическим рассмотрением достоинств и недостатков современного варианта представленной системы и составляет содержание заключительного раздела этой главы. Читатель может воспользоваться преимуществами такой организации материала и пропустить при первом чтении разд. [3]
Последовательный анализатор вырабатывает, кроме того, сигналы синхронизации, назначение которых будет более точно указано позднее. [4]
На выходе последовательного анализатора как сигналы, характеризующие цифры информации, так и сигналы синхронизации восстанавливаются формирователем ( MF) до поступления в передатчик тональной телеграфии ( Em. Частота работы системы управляется задающим генератором ( Я), который выдает двум распределителям, соединенным каскадно, прямоугольные сигналы с частотой 50 гц. [5]
Функциональная схема последовательного анализатора представлена на фиг. [6]
Из этого краткого перечня особенностей Последовательного Анализатора ясно, что он является замечательным по своей мощности инструментом. Однако, естественно, его возможности ограничены рядом предположений. [7]
Кроме того, он был использован в системе программ Последовательного Анализатора как критерий для отбора тестов ( см. гл. [8]
При-чтении этого материала читатель должен был иметь в виду, что Последовательный Анализатор использовался в условиях, не предусмотренных конструктором Анализатора, так что многие явно ощутимые недостатки отнюдь не могут отражать недоверия к исходным конструктивным решениям. Тем не менее критическо рассмотрение любой системы важно для ее дальнейшего усовершенствования, и существующий Анализаетор не является исключением из этого правила. Найденные нами принципиальные дефекты заключаются в недостаточных скорости, емкости, возможностях моделирования, типах неисправностей и автоматическом генерировании тестов. Теперь мы рассмотрим эти недостатки по очереди. [9]
В этом разделе сб: уждаются некоторые задачи, которые были решены при помощи Последовательного Анализатора. Сначала мы рассматриваем прямолинейное использование, а затем переходим в более сложную область к более сложной задаче: самодиагностике вычислительной машины. В заключительной части раздела приведена критика существующего Ачализатора, основанная на опыте, накопленном в ходе этих исследований. [10]
Чтобы лучше понять эти методы, мы сначала должны узнать кое-что о том, как они связаны с Последовательным Анализатором, Эвристический метод используется вместе с последовательностной схемой ( моделью последовательностной схемы) и заданным набором неисправностей. Требуется найти подходящие входные тесты, которые отличали бы неисправности друг от друга. Эти возможные тесты моделируют, чтобы определить их качество, и для каждого вычисляют некоторую числовую меру качества. В противном случае метод считается неудачным и испытывается другой эвристический метод. Обычно эти методы поочередно используются до тех пор, пока не будет создана полная тестовая последовательность для последовательностной схемы. Однако если все четыре эвристических метода оказываются неудачными, то работа системы прекращается. [11]
Рассматриваемый метод был использован как в моделирующей программе Сатурн Харди и Сухоки ( использующей открытые подпрограммы), так и в Последовательном Анализаторе. [12]
Так как коды адресов и информация, всходящие из схемы выбора, анализируются последовательно, цифра за цифрой, те же цифры получаются на выходе последовательного анализатора в порядке, зафиксированном распределителем. [13]
Два элемента-формирователя МР, из которых первый устанавливается непосредственно за приемником тональной телеграфии, а второй предшествует передатчику тональной телеграфии, служат для восстановления по амплитуде и по форме сигналов, выдаваемых соответственно приемником тональной телеграфии для первого и последовательным анализатором для второго. [14]
Эта организация порождает следующую управляющую последовательность внутри READCNTR. Начальные точки входа для всего Последовательного Анализатора находятся в READCNTR. Когда управление передается к одной из них для того, чтобы начать цикл, выполняется некоторая начальная установка программой READCNTR. Входной, выходной и управляющий носители устанавливаются в состояние, соответствующее отсутствию ошибок, и пускаются часы реального времени машины. Затем управление передается в точку главного цикла ожидания в READCNTR для получения директив пользователя. Каждая директива считывается и подвергается синтаксическому и семантическому анализу. Затем исполняется подпрограмма, выбранная семантическим анализом, и этот главный цикл повторяется до тех пор, пока не закончится сеанс. [15]
Страницы: 1 2 3