Файл: Зингер И.С. Обеспечение достоверности данных в автоматизированных системах управления производством.pdf

вый номер. Номер регистрируется и передается вместе б данными. Нарушение последовательности порядковых номеров при проверке свидетельствует об ошибке.

22. При редактировании исходных данных перед вво­ дом их в ЭВМ, проверке программы или контроле выход­ ных данных могут быть обнаружены символы, цифры или знаки алфавита, которые либо вообще не применяются в данной системе обработки, либо применяются в необыч­ ной для них ситуации. Иногда этот метод контроля назы­ вают методом шаблонов (проверка наличия формальных признаков). Например, фамилия печатается с включением цифр среди букв алфавита, что свидетельствует о неис­ правностях в работе системы. Метод во многом сходен со смысловыми проверками верности данных и применяется при контроле слов в составе документа.

23. Контроль за временем решения задач на ЭВМ и периодичностью выдаваемых результатов является одним из логических приемов определения правильности работы: машины. Чрезмерное увеличение времени решения от­ дельной части по обработке данных на ЭВМ, в частности,, может свидетельствовать о «зацикливании» программы-

24. В некоторых случаях практикуется пересылка по-" лучаемых из ЭВМ данных в те отделы, которые готовили исходную информацию для задачи. В этих отделах полу­ чаемые результаты оцениваются и удостоверяются спе­ циалистами-экспертами. Метод экспертных оценок в зна­ чительной степени связан со смыслом проверяемых дан­ ных, хотя в принципе эксперт может использовать любой доступный ему метод контроля.

Д. Комбинированные и прочие методы контроля

25. Контроль по меткам применяется при проверке сохранности записаипых па магпнтпую ленту данных и при обработке данных в ЭВМ. Под термином метка пони­ мается закодированное сообщение, нанесенное на магнит­ ную ленту каждой отдельной бобины с магнитной лентой. «Читая» метку, ЭВМ определяет, та ли это бобина, кото­ рая требуется в данный момент для обработки. Кроме того, для предотвращения путаницы с катушками лент исполь­ зуются еще и механические устройства — специальные кольца. Метка содержит следующую информацию:

Обозначение метки. Серийный номер бобины.

Дату записи данных на магнитную ленту. Обозначение программы, к которой относится бобина.

70

Порядковый номер бобины (для массива данных, раз­ мещенных па нескольких бобинах).

Дата очистки лепты, т. е. дата, когда лепта может быть очи­ щена и, следовательно, станет пригодной для других целей.

26. Контроль методом следствия применяется при ре­ визиях хозяйственной деятельности предприятия, а также при различного рода проверках правильности обработки данных в АСОД. При этом к проверке привлекаются все необходимые данные и документы и производится повто­ рение процесса обработки данных от «входа» и до полу-

'чения результата. Контроль методом следствия подра­ зумевает проведение выборочной проверки достоверности данных. Кроме того, детальное повторение всех процедур по обработке проверяемой группы данных может быть за­ менено выполнением специальных контрольных процедур,

частично или полностью основывающихся на использо­ вании вышеописанных методов программно-логического контроля. В этом случае отличие, например, контроля методом двойного счета (при решении численных задач на ЭВМ или вручную) от контроля методом следствия заклю-

^ чается в том, что такое «следствие» производится обычно

vcnycTH некоторое время (часто значительное) после вы­ полнения расчетов. Последнее обстоятельство требует хранения в системе обработки данных всех видов исход­ ной информации, необходимой для проведения проверок.

27.Сущность метода контрольных испытаний заклю­ чается в том, что вызывается искусственное срабатывание программного аппарата для проверки работоспособности всей системы. Например, в состав комплекта деталей вво­

дятся «искусственные» детали, которых фактически па складе нет, а приходо-расходные документы вводятся с пульта ввода, размещенного в вычислительном центре, для проверки функционирования системы. Если система на ввод документов по «искусственным» деталям срабаты­ вает нормально, то причину ошибок (в случае их возник­ новения) следует искать при оформлении документов на рабочих местах [17].

28. Необходимость проведения проверок различного рода отчетных документов предприятия, смет, заявок, ведомостей на выплату заработной платы и т. п. и исполь­ зование в качестве основного инструмента контроля элек­ т р о н н о й вычислительной техники требует разработки и

'применения специального вида машинных программ для контроля достоверности выходных данных.

71

-л со

29. Проверка правильности выполнения процедур об­ работки данных в АСОД часто требует использования ком­ бинации известных методов программно-логического кон­ троля. Комбинированные методы программно-логическо­ го контроля могут использоваться, например, при прове­ дении контроля методом следствия.

5. Способы анализа программных методов контроля достоверности данных

Возможны различные способы описания и анализа ме­ тодов поиска ошибок в экономической информации: ве­ роятностный, лингвистический (символьный), теоретикомножественный, эвристический и др.

Рис. 5. Динамика использования программных методов контроля в процессе эволюции АСУ

Зтапы развития АСУ

В качестве примера рассмотрим теоретико-множествен­ ный подход к анализу программных методов контроля достоверности данных в автоматизированных системах управления производством.

2) электронно-вычислительный комплекс; 3) выходная фаза.

Втабл. 6 представлена матрица, характеризующая ис­ пользование программных методов контроля на различных этапах обработки данных.

Впроцессе эволюции и совершенствования АСУ спон­ танно изменяются используемые методы контроля досто­ верности экономических данных.

Втабл. 7 показано использование методов программ­ ного контроля на различных этапах развития и совершен-

74