Инструментальные программные средства — это дополнительные программные изделия, повышающие эффективность создания и функционирования основного программного изделия, а также служащие для подтверждения и верификации, — вспомогательные программы, средства контроля, переноса, генерации и т. д. Наиболее эффективными являются автоматизированные-системы программирования и отладки, например применяемая в настоящее время Р-технология. [c.89]
Верификация имитационной модели есть проверка соответствия ее поведения предположениям экспериментатора (см. Машинная имитация). Когда модель организована в виде вычислительной программы для компьютера, то сначала. исправляют ошибки в ее записи на алгоритмическом языке, а затем переходят к верификации. Это первый этап действительной подготовки к имитационному эксперименту. Подбираются некоторые исходные данные, для которых могут быть предсказаны результаты просчета. Если окажется, что ЭВМ выдает данные, [c.44]
В настоящее время такие термины, как тестирование, отладка, проверка, верификация и обоснование программы, часто используются для определения одних и тех же процессов, но различные люди вкладывают различные понятия в эти термины. Не существует устоявшихся определений этих терминов, однако для однозначного восприятия материала приведем здесь хотя и не бесспорные, но конкретные определения. [c.154]
Верификация попытка обнаружить ошибки в прог рамме в процессе ее выполнения в контрольных или смоделированных условиях, а обоснование есть попытка найти ошибки в процессе выполнения программы в заданных реальных условиях Утверждение — авторитетное подтверждение правильности программы на основе аналитических данных Контроль программ для их утверждения не должен выполняться по каким-либо заранее определенным стандартам. [c.154]
Модульный, или блочный, контроль — верификация отдельного программного модуля, обычно выполняемая в изолированных условиях, т. е. вне связи испытываемого модуля со всеми другими частями программы. При выполнении модульного контроля иногда осуществляется также и их математическая проверка. [c.155]
Системный контроль — проверка соответствия системы первоначально поставленным целям ее функционирования. Системный контроль выполняется как верификация, если он реализуется в контрольных условиях. Если же он выполняется в реальных условиях функционирования системы, то он является обоснованием системы. Контроль при сдаче системы в эксплуатацию — обоснование соответствия системы или программы требованиям пользователя. [c.155]
Процедуры контроля в компьютерных системах бухгалтерского учета можно разделить на два типа — общие и прикладные. Общие процедуры контроля применимы ко всем или к большинству функций компьютерной системы, к ним относится, например, контроль доступа к программам и файлам базы данных. Прикладные процедуры контроля связаны с конкретными функциями компьютерного учета, например программной проверкой входных данных с целью верификации номеров счетов и предельных размеров кредита. [c.80]
Верификация имитационной модели состоит в доказательстве утверждений соответствия алгоритма ее функционирования цели моделирования путем формальных и неформальных исследований реализованной программы модели. [c.402]
Компонент 2. Организация и ведение мониторинга региональных и местных финансов . Мониторинг региональных и местных финансов предполагается осуществлять в трех режимах - стандартном, расширенном и углубленном. Стандартный мониторинг должен охватывать все субъекты Федерации, а также - по мере формирования соответствующей информационной и нормативной базы - муниципальные образования с использованием доступных на федеральном уровне источников информации. Расширенный мониторинг будет осуществляться в отношении субъектов Федерации (включая входящие в их состав муниципальные образования), взявших на себя обязательство предоставлять дополнительную информацию и проходить через процедуры верификации отчетных данных. По мере отладки программы расширенного мониторинга его показатели будут постепенно вклю- [c.102]
В результате решения задачи стратегического планирования, помимо верификации реализуемости целевой программы, составляется прогноз агрегированного баланса банка на предусмотренные нормативами отчетные даты. Математическая постановка задачи в общем виде представляет собой вариационную задачу оптимального управления. [c.200]
Голландская программа СО ERUPT От 22700 до 35000 евро Максимум 12000 евро Затраты на верификацию не определены [c.62]
Подсистема стратегического планирования, ориентированная на высшее звено руководства банка, осуществляет моделирование деятельности банка в терминах обобщенных банковских потоков. С ее помощью можно получать ответы на вопросы о перспективах развития банка, а также о путях и способах достижения конечных результатов финансовой деятельности, соответствующих его стратегическим целям и задачам. При этом обеспечивается верификация и формирование плановых документов, объединенных в целевую (комплексную) программу финансовой деятельности банка на заданную перспективу. Формирование целевой финансовой программы строится на базе решения ряда расчетных задач, представ-леных в табл. 6.3. Потоки платежей, отражаемые финансовой моделью деятельности банка, подразделяются на входные, внутренние и выходные (табл. 6.4). [c.196]