Надежность. Трактуется как обеспечение высокого показателя наработки на отказ за счет оперативных сообщений об аварийном режиме, тестирования, программно-логического контроля и дублирования техники. [c.178]
Перспективным методом подготовки данных на магнитных носителях является использование терминальных средств (монитор с клавиатурой) для ввода информации в ЭВМ по каналам связи. В этом случае применяется контроль методом верификации и методы программно-логического контроля. [c.76]
Входом данной технологической операции являются D3, D6, U5 — универсум Методы программно-логического контроля информации, используемого на этапе компоновки информационных массивов [c.83]
С помощью преобразователя Я4 выбираются методы программно-логического контроля вводимой информации, пишутся программы компоновки массивов, формируется соответствующая им документация. [c.84]
Эта проблема проявляется в нескольких различных формах. Используя метод сверху вниз , как он описан ранее, невозможно испытать некоторые логические условия типа защитного программного контроля или ошибочных состояний, так как они действуют только в том случае, если модуль высшего уровня передаст недопустимый параметр. Этот метод делает также невозможной проверку специальных логических условий в тех случаях, когда программа использует какой-либо модуль ограничения. [c.163]
Методы программного контроля наиболее эффективны. Программно-реализуемый контроль обеспечивает проверку всех логических соотношений и ограничений, накладываемых на вводимые данные, включая контроль [c.77]
В условиях обработки учетной информации на ЭВМ при автоматизированной обработке информации счетный метод контроля в связи с его большой трудоемкостью применяется, как правило,, только для проверки правильности переноса на машинные носители с первичных документов количественно-суммовых показателей. Остальные показатели проверяются на ЭВМ программными методами контроля, которые могут обеспечить логическую проверку реквизитов документов. Логическая проверка позволяет во многих случаях выявлять и ошибки, допущенные лицом, заполняющим первичный документ. Применяются и другие методы контроля переноса данных первичных документов на машинные носители, обеспечивающие большую его эффективность. [c.60]
Должностные обязанности. На основе анализа математических моделей и алгоритмов (постановок экономических и других задач) разрабатывает программы, реализующие решение задачи. Разрабатывает технологию решения задачи по всем этапам. Осуществляет выбор языка программирования и перевод на него алгоритмов задач. Определяет информацию, подлежащую обработке на ЭВМ, ее объемы, структуру, макеты и схемы ввода, обработки, хранения и выдачи информации, методы ее контроля. Определяет объем и содержание, данных тестовых примеров, обеспечивающих наиболее полную проверку соответствия программ их функциональному назначению. Выполняет работу по подготовке программ к отладке и проводит отладку. Разрабатывает инструкции по работе с программами, оформляет необходимую техническую документацию. Определяет возможность использования готовых программных средств. Осуществляет сопровождение внедренных программ и программных средств. Разрабатывает и внедряет методы и средства автоматизации программирования, типовые и стандартные программные средства. Принимает участие в проектных работах. На основе логического анализа проводит камеральную проверку программ. Определяет совокупность данных, обеспечивающих решение максимального числа условий, включенных в программу, выполняет работу по ее подготовке к отладке. Проводит отладку разработанных программ, корректирует их в процессе доработки. Разрабатывает инструкции по работе с программами, оформляет необходимую техническую документацию. Определяет возможность использования готовых программ, разработанных другими предприятиями (учреждениями). Разрабатывает и внедряет методы автоматизации программирования, типовые и стандартные программы, программирующие программы, трансляторы, входные алгоритмические языки. Выполняет работу по унификации и типизации вычислительных процессов. Принимает участие в создании ка- [c.156]
При формировании массива излишков осуществляется преобразование реквизитов наименования, содержащихся во входном документе, к единой поисковой форме (единая запись номиналов, единиц измерения характеристик, пределов допустимого отклонения и т. д.). Также осуществляется логический и синтаксический контроль информации об излишних запасах и правильности заполнения входного документа с параллельным частичным исправлением ошибочных реквизитов. Информация, имеющая грубые неустранимые программным путем ошибки, подлежит анализу. [c.209]
| Рис. 3.3. Типовой сетевой график организации проведения маркетинговых исследований (работы 0-1 — предварительное изучение проблемы 1-2 — опрос экспертов 1-3 — изучение литературы 3-4 — групповые дискуссии по проблеме 4-5 — структурирование проблемы и определение цели сбора информации 5-6 — выработка концепции сбора данных (полное или выборочное, единичное или многоразовое исследование), формы сбора данных (опрос, наблюдение и т. д.), источники информации 5-7 — выбор объектов исследования (выделение генеральной совокупности, определение метода и объема выборки) 7-8 — построение плана исследования (исполнители, сроки, стоимость работ) 8-9 — комплекс параллельно выполняемых работ по организации сбора и контроля данных 9-10 — подготовка информации к обработке на ЭВМ 9-12 — подготовка необходимого программного обеспечения 10-11 — кодирование информации (в случае необходимости) 11-13 — ввод данных в ЭВМ (формирование файлов) 13-14 — обработка информации на ЭВМ 14-15 — интерпретация результатов и подготовка отчета 15-16 — передача отчета лицам, принимающим решение). Здесь--------> обозначает фиктивные работы, т. е. логическую связь событий. |  |
При разработке АСУ необходимо обращать особое внимание на обеспечение надежности ее функционирования. Надежность АСУ обеспечивается за счет контроля на всех технологических этапах обработки информации, включая программно-логический контроль входной информации, контроль сохранности хранимой информации с учетом необходимости корректировки постоянной информации, контроль обработки информации, контроль выходной информации. Возможности контроля в конкретной системе могут быть существенно увеличены включением соответствующих специальных лрогра.ммно-алгоритмических средств. Надежность АСУ включает вопросы обеспечения своевременности (в соответствии с заданным регламентом) сбора, обработки и выдачи информации. [c.6]
Самоконтролирующееся ПО полезно для доказательства надежности программ на различных стадиях разработки. На стадии конструирования и реализации утверждения о соотношении между переменными сделают логические ошибки более очевидными. Это позволяет также повысить уверенность в надежности программы неформальным образом. На стадии тестирования для определения всевозможных аппаратных и программных погрешностей необходимо внедрять разнообразные средства самоконтроля, обеспечивающие локализацию ошибки в системе. История обнаружения ошибки должна < сохраняться для оценки эффективности средств само- " контроля. В системе также должна быть осуществлена Г в широких масштабах оценка стоимостных расходов по различным средствам. [c.265]
Значение внедрения системного пооперационного учета на основе АРМ цехового уровня в обеспечении необходимой бухгалтерской достоверности оперативного учета состоит в том, что в памяти ЭВМ находят отражение объемы работ по всем детале-операциям и их списание по мере передачи готовых деталей в другие цехи или склады или на основании документов по выпуску готовой продукции. При разработке программного обеспечения диалоговой системы цехового учета выполнения производственных операций, который является одновременно и учетом выработки, следует предусмотреть логический контроль вводимых пользователем ПЭВМ (или другого терминала распределенной системы обработки данных) объемов выполненных работ по каждой операции. Такой контроль может обеспечиваться, к примеру, автоматическим сопоставлением объемов выполненных работ на данной операции с партией запуска и объемами работ на предыдущей операции. Установленные расхождения будут выдаваться пользователю на экран дисплея или печать. [c.197]
Для решения задач реализован информационно-алгоритмический подход, суть которого состоит в организации идентичных потоков информации и документооборота, и на основе этого — разработка типовых экономических и программных алгоритмов и модулей. Такой подход позволил применить структурное программирование, максимально используя придаваемое к ЭВМ математическое обеспечение (операционные системы, библиотеки программ) и языки высокого уровня при собственном программировании (ВЬЮ — для ввода, РПГ — для выходных отчетов, КОБОЛ, ПЛ-1, АССЕМБЛЕР — для программ обработки данных). Основные требования к алгоритмам и программам обеспечение достоверности за счет логического контроля методом обращения к БДНСИ и минимизация времени на обработку данных. Последнее требование обеспечивается созданием па время обработки базы данных текущей (оперативной) информации (БДТИ) за счет использования штатной системы управления базой данных (СУБД). [c.151]