Cтраница 2
Математическая проблематика, возникшая в связи с появлением тестового алгоритма, связана с исследованием совокупностей тупиковых тестов для бинарных таблиц. [16]
Отношение вероятности неправильного предположения к общей сумме вероятностей ( неправильных и правильных) следует отнести к совокупности тестов на существенность. [17]
Кроме того, при непрерывном изменении программного обеспечения совокупность тестов, разработанных для одной версии программного обеспечения, может быть неприменима для другой версии. Единственный способ определения приемлемости программного обеспечения заключается в увеличении времени работы при загрузке системы отлаженными прикладными программами, однако для большинства новых систем к моменту их доставки такую ситуацию создать невозможно. [18]
Сформулируем основные выводы, следующие из проведенного сопоставления теории и эксперимента в космологии. Особенностью современного этапа развития космологии является возможность одновременного использования совокупности наблюдательных тестов. [19]
Соответствующие строки, кроме одной, вычеркиваются из таблицы. Тесты, в строке которых содержится 1, являются безусловно необходимыми и включаются в минимальную различающую совокупность тестов. [20]
Так, может подсчитываться и указываться в документации правильное число логических переключений выходного сигнала при подаче тестовой последовательности. Другой способ состоит в подсчете и указании в технической документации контрольной суммы выходных векторов, порожденных совокупностью тестов. Недостаток этих методов состоит в том, что при диагностическом ( проверочном) подсчете числа переключений или контрольной суммы выходных векторов контрольная аппаратура, реализующая эти подсчеты, должна иметь цепи распространения переносов при суммировании, что замедляет процесс проверки и усложняет контрольную аппаратуру. [21]
Очевидно, что желательно выбирать совокупность минимально возможной или близкой к ней длины. Задача поиска совокупности тестов минимальной длины для обнаружения ( контроля) всех возможных неисправностей состоит в поиске минимального набора строк, имеющего единицы в каждом столбце таблицы. Эта задача в точности совпадает с задачей кратчайшего покрытия ( минимизации) в теории логических схем и может решаться такими же методами. [22]
В каждом тесте осуществляется засылка исходных д иных в некоторые регистры ЦВМ, выполнение некоторого числа действий с этими данными и сравнение результатов этих действий с эталонными значениями. В зависимости от результата сравнения осуществляется переход к той или иной части общей программы проверки ЦВМ. Общая программа контроля представляет собой совокупность тестов, каждый из которых реагирует на ту или иную неисправность. [23]
В каждом тесте исходные данные засылаются в некоторые регистры ЭВМ, выполняется некоторое число действий с этими данными и результаты этих действий сравниваются с эталонными значениями. В зависимости от результата сравнения переходят к той или иной части общей программы проверки ЭВМ. Общая программа контроля представляет собой совокупность тестов, каждый из которых реагирует на ту или иную неисправность. [24]
В каждом тесте исходные данные засылаются в некоторые ре-ристры ЦВМ, выполняется некоторое число действий с этими данными и результаты этих действий сравниваются с эталонными значениями. В зависимости ог результата сравнения переходят к той или иной части общей программы проверки ЦВМ. Общая программа контроля представляет собой совокупность тестов, каждый из которых реагирует на ту или иную неисправность. [25]
В каждом тесте исходные данные засылаются в некоторые регистры ЭВМ, выполняется некоторое число действий с этими данными и результаты этих действий сравниваются с эталонными значениями. В зависимости от результата сравнения переходят к той или иной части общей программы проверки ЭВМ. Общая программа контроля представляет собой совокупность тестов, каждый из которых реагирует на ту или иную неисправность. [26]
ЭВМ возрастает и роль самих ЭВМ в их проектировании и даже изготовлении. ЭВМ отводится очень важное место на всех этапах конструирования и создания средств цифровой вычислительной техники: от расчета базового элемента до моделирования полных функциональных узлов логических устройств. ЭВМ используются также для создания монтажных схем трассировки плат печатного монтажа, создания совокупности тестов для всесторонней проверки готовых изделий, позволяющих быстро с помощью специальных автоматов локализовать ошибки расчета координат сверления отверстий и получения перфолент для станков с числовым программным управлением. [27]
ЭВМ возрастает и роль самих ЭВМ в их проектировании и даже изготовлении. ЭВМ отводится очень важное место на всех этапах конструирования и создания средств цифровой вычислительной техники: от расчета базового элемента до моделирования полных функциональных узлов логических устройств. ЭВМ используются также для создания монтажных схем трассировки плат печатного монтажа, создания совокупности тестов для всесторонней провер-ки готовых изделий, позволяющих быстро с помощью специальных автоматов локализовать ошибки расчета координат сверления отверстий и получения перфолент для станков с числовым программным управлением. [28]