Cтраница 2
Результаты прокрутки показывают что программа, невидимо-му, правильна, но печать полученных тестовых результатов будет производиться по WRITE с мусором в конце текста; для удобства разбора тестовых результатов имеет смысл добавить в головную программу очистку массива В. Тест, использованный для прокрутки-имеет смысл присоединить к разработанной ранее системе тестов-в качестве самого первого теста. [16]
Этот метод строится и ипде последовательности итераций. Прежде всего вычисляются W - s для всех значений у. Затем в качестве первого теста выбирается тест с самым большим Wj, так как этот тест различает наибольшее число пар неисправностей. Теперь этот первый тест, очевидно, делит неисправности на две группы: обнаруживаемые и необнаруживаемые. Это означает, что последующие тесты должны быть выбраны несколько более сложным путем. [17]
Мы видим, что для построения координации требуется длительный период, в течение которого пламя держат достаточно близко для того, чтобы вызвать реакцию избегания. Навык вырастает в целом также, как и любой другой. Ускорился ли процесс в значительной мере, если бы ребенку при первом тесте дали сильно обжечься, - это, конечно, не установлено. [18]
Результаты наблюдения двойных пульсаров тоже могут дать некоторые сведения о теории Эйнштейна. Пульсар обычно излучает радиоволны с очень высокой периодичностью. Но раз пульсар составляет часть двойной системы, то в результате его вращения вокруг второй звезды должны возникать нерегулярности, связанные с эффектом Доплера и с эйнштейновской прецессией орбиты пульсара. Последний эффект аналогичен смещению перигелия Меркурия в первом тесте, но значительно больше по величине. [19]
Предположим, что анализируется поведение некоторой системы. В ее работе обнаружено отклонение от нормального поведения, которое может вызывать некоторая неисправность А. Кроме того, известно, что текущие значения параметров системы можно установить с помощью двух контрольных тестов, причем тесты связаны соотношением: проверка первого теста считается успешной, если ничего не известно об успехе выполнения проверки второго теста. Второй тест успешен, если в системе имеется неисправность В. Невозможными являются ситуации, когда имеется неисправность А и успешна проверка первого или второго теста. [20]
Тестовая проверка релейной защиты осуществляется следующим образом. Включается магнитофон и магнитограммы воспроизводятся в последовательности, соответствующей их записи на ленте. Тест 1, на которой записаны токи и напряжения, соответствующие режиму КЗ внутри генератора. С помощью приставки к магнитофону сигналы, считываемые с магнитной ленты, преобразуются в сигналы по напряжению, согласованные по масштабу с входными сигналами релейной защиты. При использовании первого теста сигналы подаются на продольную дифференциальную защиту генератора, что определяется шифром команды, записанной на этой магнитограмме. По этой команде продольная дифференциальная защита отключается от ТТ и ТН генератора и на ее вход подаются сигналы с приставки магнитофона. После завершения теста защита вновь возвращается в свое исходное состояние. Время действия теста занимает доли секунды или не более одной или нескольких секунд, что зависит от вида поверочного режима. [21]
Мы уже упоминали о том, что генерирование тестов является гораздо более трудной задачей для последова-челыюстных, чем для комбинационных, схем. Формальный подход к этой проблеме - попытаться разработать алгоритмы, точно так же, как это было сделано для комбинационных схем. Во-первых, каждый возможный проверочный вход, как правило, нужно вычислять для каждого возможного состояния схемы. Следовательно, каждый элемент памяти, содержащийся в рассматриваемой схеме, удваивает объем вычислений, необходимых для отыскания теста. Во-вторых, существует проблема начальной установки. Прежде чем мы сможем применить некоторый тест к последовательностнон схеме, мы должны суметь установить ее в известное фиксированное состояние; или в крайнем случае мы должны знать, в каком состоянии она находится. Это может быть сделано, если первому тесту предшествует установочная последовательность. Они могут быть очень длинными, а для некоторых последовательностных схем могут и вовсе не существовать. Альтернативный подход состоит в том, чтобы для выполнения такой операции иметь специальные схемы сброса. Оба метода должны быть пригодными как для схемы, свободной от неисправности, так и для всех схем с неисправностями. В случае применения специальных схем сброса необходимо учитывать неисправности самих схем сброса. Более того, если используется комбинаторное тестирование, то каждый тест должен начинаться либо с установочной последовательности, либо с работы схем сброса. [22]