Cтраница 1
Метод верификации основан на том, что он производится после переноса информации на машинный носитель путем сравнения ранее нанесенной информации и вновь набираемой, при этом обнаруженные ошибки исправляются. Контроль осуществляется при помощи контрольников или устройств подготовки данных, работающих в режиме контроля, а также аппаратуры контрольно-считывающих устройств. [1]
Метод верификации с применением контрольников основан на повторении работы, выполненной оператором. При наличии ошибки в перфокарте контрольник подает сигнал и тормозит продвижение перфокарты с ошибкой. Получив сигнал, оператор сверяет цифру, написанную в первичном документе, с цифрой, пробитой оператором в данной колонке, после чего делается исправление в карте. [2]
Метод верификации весьма трудоемок, значительно увеличивает стоимость и общее время подготовки исходной информации. [3]
Метод верификации программ, состоящий в аннотировании программы, выводе условий ее правильности и доказательстве этих условий. [4]
Однако метод верификации не гарантирует полной точности перфорируемого материала. После выполнения контроля этим методом наиболее важные реквизиты, отперфорированные в перфокартах, необходимо дополнительно проверять другим способом. Как показывает практика работы, после верификации в проверенном массиве остается 7 - 8 % перфокарт с невыявленными ошибками. [5]
Недостаток метода верификации заключается в том, что ошибки читающих устройств не выявляются. Существуют устройства, в которых вместо перфорации информации производится ее запись на магнитную ленту. [6]
Использование метода верификации ( дублирования) предполагает повторное выполнение работы теми же методами и средствами с последующим сравнением результатов. Сущность счетного метода контроля заключается в том, что предварительно на клавишных вычислительных машинах подсчитываются по документостроке или столбцу контрольные суммы в первичном документе и проставляются в нем. Контрольные суммы переносятся на перфокарты или перфоленту вместе с остальной информацией. Сравнение известной контрольной суммы и числа, которое будет получено по данным, занесенным на перфокарты или перфоленту, позволит определить достоверность операции подготовки данных. [7]
Контроль перфокарт методом верификации ( с помощью коитрольников) позволяет выявить ошибки в перфорации, с которыми поступают так же, как и в предыдущем случае. Объем контролируемой информации тоже подсчитывается аналогично. [8]
Контроль перфорации методом верификации заключается в повторном переносе реквизитов с первичных документов на перфокарту с помощью кон-трольника. Разница в переносе информации заключается в том, что при перфорации пробиваются отверстия, а при верификации с помощью специального прощупывающего устройства контролируется их расположение на перфокартах. Методам верификации обнаруживается до 93 % ошибок. [9]
Показанный только что метод верификации программ не всегда может привести к успеху. Во-первых, рассматриваемая программа или алгоритм могли бы и не удовлетворять достаточным условиям, если бы, к примеру, множество процедур было неполным или же не все его утверждения логически следовали из спецификации. [10]
Ряд исследований посвящен использованию методов верификации при разработке и реализации ядра операционной системы. Наиболее крупные исследования в этой области в настоящее время финансируются Управлением электронных систем ВВС США. [11]
Несмотря на успешное развитие методов верификации программ, до сих пор в их основе лежит множество эвристических способов проверки правильности программ. Достаточно привести пример наиболее простого, до сих пор применяемого способа отладки программ, - организации выдачи ( печати) промежуточных результатов. В этом случае пользователю приходится анализировать и, часто вручную, огромные наборы промежуточной информации. Опытные программисты используют, конечно, приемы автоматического анализа промежуточных данных на основе анализа и проверки ряда известных заранее условий [ ( логических выражений) и правильного выполнения программы, что позволяет существенно уменьшить объем информации, выдаваемой пользователю при отладке программы. Имеются компиляторы, которые позволяют операторы проверки условий выделять в тексте программы и при завершении в стадии отладки автоматически их выбрасывать. Системные программисты рекомендуют встраивать подобные проверки в программу для улучшения их документирования. [12]
В документных системах контроль методом верификации имеет первостепенное значение. Начальную подготовку данных с первичных документов ведет оператор, который безразличен к содержанию конкретного документа и свою работу выполняет механически. Следовательно, ошибки при переписке или копировании данных ( именно в этом заключается работа оператора) неизбежны, ошибки как бы запрограммированы. [13]
Для контроля числовой информации иногда рекомендуется метод верификации. [14]
Контроль ввода данных в систему выполняется методом верификации. Пакет данных вводят в систему дважды с разных пультов операторов. Система сравнивает пакет, введенный первым оператором, с пакетом, введенным вторым оператором. О всех случаях несовпадения второй оператор информируется с помощью светового табло. [15]