Верификатор
Cтраница 2
Если это заявление соответствует истине и если считать верификатор lint частью официального описания языка Си, то с языком Си дело обстоит не так плохо, как утверждал автор выше. К сожалению, детали проверок, выполняемых верификатором lint, нигде и никак не документированы. [16]
Поэтому необходимо использовать всякую возможность обнаружения и исправления ошибок. Это обеспечивает контроль информации, так как на верификаторе производится сравнение набиваемых карт с картами, полученными на перфораторе. При передаче карт часто подсчитывается их количество для гарантии того, что ни одна из них не потерялась в процессе передачи. Обычно программа обнаружения неверных данных является самостоятельным шагом в схеме функционирования системы обработки данных и часто называется программой обеспечения достоверности. Реакция на ошибки представляет собой самостоятельную проблему. В нашем примере она состоит в выдаче сообщения об ошибке и ошибочной записи на печать для уведомления, последующей коррекции и считывания очередной карты из файла. [17]
Счетно-аналитические машины представляют комплект машин, выполняющих отдельные операции. Так, перфоратор служит для фиксации на перфокарте соответствующих данных путем пробивки отверстий; с помощью контрольника ( верификатора) контролируют правильность перфорации. Сортировальная машина классифицирует перфокарты по группам. Табулятор подсчитывает и печатает табуляграммы, показывающие результаты. [18]
Согласно определению типа данных, приведенному в разд. В простейшем случае ( ручная проверка) эта операция выдает тип данных лишь как сомнительный объект, который подлежит тестированию и отладке; в более совершенном случае она содержит в себе верификатор и вырабатывает результат только в том случае, если предложенная реализация типа полностью удовлетворяет всем аксиомам. [19]
Следует еще раз остановиться на вопросе о том, какую роль играет верификатор lint. Верификатор lint был создан в той же среде, в какой был разработан и язык Си, но его создатель не входил в число разработчиков языка Си. К сожалению, верификатор lint не документирован в книге [101], хотя в ней и упоминается о его существовании. [20]
Основным объяснением, если не извинением, этого недостатка языка Си служит безтиповая природа его предшественников - языков BCPL и Би. К счастью, в настоящее время нужда в каких-бы то ни было извинениях отпала, поскольку появилось средство, выявляющее все случаи несоответствия типов. Верификатор lint анализирует указанные ему в качестве параметров ( при вызове его на выполнение) файлы и выводит мнЬжество сообщений обо всех сомнительных ( с его точки зрения) конструкциях, начиная от неинициализированных переменных и заканчивая несоответствием типов. Поэтому программы, которые беспрепятственно прошли через сито верификатора lint, могут считаться не содержащими ошибок, связанных с. Алгол 68), за несколькими исключениями: отсутствием динамических проверок, связанных с использованием объединений, и возможностью явного отключения разного рода проверок. [21]
Существует еще один компонент программного обеспечения, который имеет прямое отношение к языку Си и который по этой причине обязательно должен быть упомянут в настоящем обсуждении. Речь идет о верификаторе lint [93], который, как сказано в книге [101] ( с. Верификатор lint обеспечивает выявление и диагностику множества настоящих и предполагаемых ошибок, выявление и диагностику которых большая часть трансляторов с языка Си даже не пытается произвести. [22]
Для контроля числовой информации иногда рекомендуется метод верификации. Затем перфоноситель переносится на контрольные ( его иногда называют верификатором) и на его клавиатуре производят повторный набор той же информации. [23]
 |
Сводка данных способом точек. [24] |
Механизированная сводка осуществляется на счетно-перфорационных и электронно-вычислительных машинах. При сводке на счетно-перфорационных машинах исходные данные вводятся автоматически при помощи перфорационных карт. Комплекты счетно-перфорационных машин состоят из перфоратора, контроль-ника, или верификатора, сортировочной машины и табулятора. Механизированная сводка проходит следующие операции. [25]
Следует еще раз остановиться на вопросе о том, какую роль играет верификатор lint. Верификатор lint был создан в той же среде, в какой был разработан и язык Си, но его создатель не входил в число разработчиков языка Си. К сожалению, верификатор lint не документирован в книге [101], хотя в ней и упоминается о его существовании. [26]
Жесткий контроль типов языка Паскаль повышает надежность. Литтл - полностью бестиповой язык, не контролируемый компилятором. В Си принят компромисс: язык типизован, но разрешается нарушать правила при помощи явной конструкции приведения типа. Процессоры Си обычно имеют в своем составе верификатор программ Lint, который сообщает о всех случаях нарушения правил преобразования типов. [27]
Основным объяснением, если не извинением, этого недостатка языка Си служит безтиповая природа его предшественников - языков BCPL и Би. К счастью, в настоящее время нужда в каких-бы то ни было извинениях отпала, поскольку появилось средство, выявляющее все случаи несоответствия типов. Верификатор lint анализирует указанные ему в качестве параметров ( при вызове его на выполнение) файлы и выводит мнЬжество сообщений обо всех сомнительных ( с его точки зрения) конструкциях, начиная от неинициализированных переменных и заканчивая несоответствием типов. Поэтому программы, которые беспрепятственно прошли через сито верификатора lint, могут считаться не содержащими ошибок, связанных с. Алгол 68), за несколькими исключениями: отсутствием динамических проверок, связанных с использованием объединений, и возможностью явного отключения разного рода проверок. [28]
Комплект ПВМ может быть полным и неполным. Неполный комплект в своем составе имеет вспомогательные и основные машины. Полный - вспомогательные, основные и специального назначения. Основной комплект дополняют специальными машинами в зависимости от характера работ, но на практике принято такое количество машин каждого вида, которое обеспечивало бы нормальную загрузку основной перфорационной вычислительной машины - табулятора. Таким образом, - типовой неполный комплект включает в себя три перфоратора, два контрольника ( верификатора), сортировку и табулятор. В последнее время к этому комплекту также стали относить итоговый или позиционный перфоратор. Типовой полный комплект включает IB себя: три перфоратора, два контрольника, сортировальную машину, табулятор -, итоговый перфоратор, считывающий перфоратор, раекладочно-подборочяую машину. Соотношение - машин может быть и другим, это зависит от характера работы и составления табуляграмм. [29]
Технологическим процессом называется последовательность всех процедур обработки исходных данных с применением ПВМ для получения результатных показателей на бумажной ленте. Как правило, технологический процесс начинается с операций приемки и подготовки первичной документации к обработке. Первичные документы поступают сшитыми в пачки по видам работ и типам документов. Каждая пачка содержит 100 - 150 документострок, количество которых определяет объем перфокарт по пачке документов. Все пачки регистрируются в журнале контрольных чисел, после чего передаются на обработку. Следовательно, первая процедура является ручной. Если в документах необходимо выполнить какие-либо вычислительные операции, то они предварительно обрабатываются на КВМ. Например, в документах по приходу и расходу материалов может выполняться операция таксировки материальных ценностей. Если документы не нужно обрабатывать на КВМ, то они поступают на перфорацию, где с каждой пачки документов пробивается на перфокартах соответствующее количество карт по определенному макету. Как правило, для каждого вида работы составляется отдельный макет. В процессе перфорации могут быть допущены ошибки, в результате чего реквизиты в перфокартах не будут соответствовать их значениям в документах. Поэтому возникает необходимость в контроле перфорации. Одним из видов контроля перфорации является верификация, когда такой контроль выполняется на специальных машинах - контрольниках. Иногда эти контрольники называют верификаторами. [30]
Страницы: 1 2