В работах по теории программирования делается акцент на то, что получить корректную программу легче и целесообразнее через стадию проектирования, чем через исчерпывающее тестирование. При этом утверждается, что тестирование может использоваться для показа существования ошибок, а не их отсутствия. [c.39]
Концептуальная целостность 115 Корректность программ 4, 12 [c.268]
Обследованием установлено, что в 1977 и 1981 гг. нормы прибыли по этим типам различались. Например, в 1977 г. коммерческие больницы имели рентабельность 11,6%, тогда как некоммерческие — 8,8%. В 1981 г. отдача первых составила 12,7%, а вторых — лишь 7,4%. Прямое сравнение отдач и издержек для этих больниц, однако, не вполне корректно, потому что они выполняют различные функции. Например, программы медицинского обслуживания по месту жительства осуществляются 24 % некоммерческих лечебниц и лишь 6 % коммерческих. Аналогичные различия можно обнаружить в обеспечении специальными услугами 10 % больниц первого типа и 5 % второго имели сердечно-сосудистые отделения. Кроме того, 43 % коммерческих больниц и лишь 29 % некоммерческих имели детские отделения. [c.479]
Корректность ПП (соответствие требований к функциям ПП требованиям к информационной системе, соответствие текстов программ требованиям к функциональным компонентам ПП). [c.24]
Многие программы обеспечивают контроль вводимой информации с помощью справочника корректных проводок, на соответствие отдельных реквизитов между собой, контроль дат и рабочего периода и т.д. Во многих системах автоматизации учета такой контроль прорабатывается в отношении каждого вида документов. [c.172]
Поскольку активно-пассивные счета в зарубежной практике не используются, то и в западных системах автоматизации учета технология их обработки изначально не предусмотрена. Поэтому для корректного ведения учета с использованием этих программ нужна либо их специальная адаптация к решению задач такого типа при локализации, либо внесение определенных изменений в порядок организации учета. [c.265]
Во-вторых, программы системы Бюджеты позволяют настраивать форматы и регламенты планируемых бюджетов в достаточно широких пределах, чтобы учитывать потребности конкретного предприятия. Программы автоматически отслеживают корреспонденцию разделов форматов бюджетов и имеют встроенные модели развития ситуации, облегчающие процесс планирования. Введенные пользователем данные автоматически разносятся во все бюджеты, и контролируется корректность вводимых данных. Так, например, практически расчетный баланс формируется программой автоматически. Программы избавляют пользователя от многих рутинных операций и позволяют сосредоточиться на вопросах разработки бюджетов. Диалоговый режим настройки многих параметров используемых моделей дает возможность осуществлять ситуационный анализ рассчитываемых программой бюджетов на уровне а что будет, если... . Графическое представление получаемых результатов облегчает восприятие данных при формировании бюджетов и их оптимизации. [c.319]
В форматах (таблицах) программы присутствуют два типа ячеек — открытые для ручного ввода данных и защищенные, в которых программа рассчитывает данные автоматически. В защищенных ячейках программа прописывает формулы, которые нельзя редактировать во избежание нарушения корректности результатов. Защищенные ячейки имеют голубой или серый фон. Сделав активной такую ячейку, пользователь может посмотреть прописанную в ячейке формулу в строке формул. [c.323]
Если по каким-либо причинам вас не устраивает используемый в бюджетах шрифт (например, используемый шрифт отсутствует на вашем компьютере или не нравится вам), его можно изменить, указав точное название шрифта в строке ввода. Если вы корректно задали название шрифта, то программа изменит шрифт на всех листах бюджетов на заданный. [c.328]
Наличие рациональной разбивки разделов на статьи сделает ваш план финансовых результатов более гибким и мощным. Особенно это касается раздела Выручка от реализации . В то же время хотелось бы предостеречь от излишней детализации разделов. Не стоит выделять в отдельные статьи параметры бюджета с малыми весовыми характеристиками (менее 1—2%). Вместе с тем если раздел содержит большое число значимых статей, то имеет смысл разработать отдельный операционный бюджет по данному разделу. Добавлять или удалять статьи в разделы пользователь сможет и впоследствии, программа обеспечит корректность выполнения таких процедур. [c.335]
Аудитор должен обязательно убедиться, что хозяйственные операции соответствуют законодательству, правильно оформлены и корректно отражены в бухгалтерском учёте. И начинать проверку каждого раздела бухгалтерского учёта следует с устного опроса или беседы с исполнителями - рядовыми сотрудниками бухгалтерии, ведущими первичный учёт хозяйственных операций. Эта процедура проводится на начальной стадии проверки, когда аудитор знакомится с проверяемым предприятием, оценивает объём и степень сложности работ для того, чтобы определить соответствующую программу проверки. Для её составления аудитор должен иметь список сотрудников бухгалтерии. Список должен включать в себя фамилии, имена, отчества сотрудников, наименование их официальных должностей, а также перечень направлений, которые ими курируются. [c.186]
Разработка программы обеспечивается на основе полученной маркетинговой информации. Качество программы определяется полнотой и достоверностью использованной информации, профессиональным уровнем разработчиков и корректностью проведенных расчетов. [c.243]
Методы анализа и снижения рисков являются полезным инструментом, с помощью которого оценка реализуемости программы и ее конкретных проектов становится глубже и корректнее, а инвестиционные решения — эффективнее. [c.563]
Такая форма отбора и оценки руководящих кадров и кандидатов на руководящие должности воспринимается испытуемым как совершенно корректная и объективная, поскольку в последующем кандидат или действующий руководитель может по результатам психодиагностики получить информацию о своих особенностях. Уверенность проходящих" оценку в полной анонимности своих ответов, а также в том, что обработка всей информации ведется по программам на 292 [c.292]
Отметим, что точное представление о состоянии выполняемых задач программы метод детального контроля дает только в том случае, если оценки завершенности задач делаются корректно. В большинстве же случаев применение метода 0—100 в сочетании с достаточной степенью детализации задач дает приемлемые результаты. [c.346]
Разработка корректной структуры связей между задачами — непростая процедура, особенно для крупных программ. Часто разработчик не может заранее определить правильный набор взаимосвязей между работами. Менеджеру может потребоваться провести заседание по сетевому планированию, чтобы определить взаимосвязи между работами и их последовательности, особенно, если к программе привлекаются различные сторонние организации. Основное внимание уделяется определению последовательных и параллельных работ и ограничений, которые накладываются на параллельные работы. [c.184]
Методически и законодательно корректный учет льгот по налогообложению прибыли (особенно при оценке проектов, реализуемых в условиях действующего производства) имеет большое значение, поскольку существенным образом влияет на результаты финансово-экономического анализа проектов и программ развития. [c.174]
Методическая достоверность испытаний единого информационного пространства на основе корпоративной информационной системы определяется следующими факторами полнотой программы испытаний, корректностью методик тестирования, степенью охвата возможных условий функционирования и областей изменения исходных данных информационных систем достоверностью и точностью эталонных значений, с которыми сравнивают результаты тестирования испытываемой системы или которые служат опорными при расчете параметров, зафиксированных в техническом задании адекватностью и точностью моделей, используемых для имитации внешней среды и их реакции на управляющие воздействия точностью и корректностью регистрации и обработки результатов тестирования, а также сравнения полученных данных с требованиями задания. [c.165]
На пути решения проблем первого направления одним из существенных вопросов является утверждение определения надежности ПО. В литературе по надежности ПО нет единого подхода и установившихся стандартов. Тщательный анализ показывает, что надежность ПО базируется на понятиях корректности и устойчивости комплекса программ или одиночной программы. [c.3]
Программа считается корректной, если она выполняет запланированные действия и не имеет побочных эффектов. Корректность представляет собой достаточно узкое понятие, так как ее полная проверка для больших программных систем практически не выполнима. Корректность базируется на тщательной спецификации требований пользователя. Возможна ситуация, когда некоторая программа является корректной с точки зрения разработчика, но не корректной с точки зрения пользователя, так как предмет расхождений в оценке не был точно специфицирован в требованиях к программе. [c.3]
Одно известное определение программной ошибки утверждает, что программная ошибка происходит тогда, когда программа работает не в соответствии со своими спецификациями. Это определение имеет один существенный недостаток однозначно предполагается, что спецификации корректны. Однако редко можно встретить явное подтверждение корректности спецификации, хотя опыт показывает, что одним из главных источников ошибок являются спецификации. Если программа работает не в соответствии с ее спецификациями, то это можно объяснить присутствием ошибки. Но если программа работает в соответствии со спецификациями, то нельзя утверждать, что ошибок в ней нет. [c.6]
Даже если бы удалось получить программы, свободные от ошибок, то возникает необходимость учитывать некоторый переходный период, в течение которого структура системы не должна основываться на предположении об отсутствии ошибок в отдельных модулях, но должна допускать возможность неправильного функционирования компонентов ПО вследствие внутренней ошибки. Спецификации модуля должны закреплять за каждым из них функцию выполнения определенных проверок модулей, с которыми последний взаимодействует. Кроме того, если даже ПО было написано корректно, более ранние ошибки оборудования могли сделать его некорректным. [c.15]
Большинство работ по структурному программированию, основываясь на методе разработки программы, утверждает, что доказательство корректности структурированных программ более простое. [c.152]
Использование конкретных вычислительных систем, работающих в реальном масштабе времени, часто не способствует выполнению качественного контроля. Используя корректную систему, программист обычно вынужден представлять свои тесты в виде управляющей программы или в виде файла с контрольной информацией. Часто в условиях диалога программист выполняет контроль, вводя в память с терминала определенные значения входных параметров, затем выполняет свою программу с целью посмотреть, что из этого выйдет . [c.167]
На рис. 6.5 приведена лишь часть технологических операций проектирования, связанных с созданием и ведением массива НСИ. Структура и содержание технологических операций, обеспечивающих разработку форм документов на корректировку, создание программ ввода корректур и документации к ней, программы сортировки корректур и документации к ней, программы корректировки массива конструкторского состава изделий и документации к ней, создание алгоритма и программы проверки корректности обновленного массива и документации к ней очевидны, поэтому они здесь не приводятся. [c.111]
ППП ТЕСТ-2 — инструментальное средство автоматизации процесса тестирования программ. Пакетом обеспечивается формирование тестового примера для проверки корректности или устойчивости функционирования программ, выполнение программ на данных тестового примера и проверки полученных результатов. [c.199]
Такая форма отбора и оценки руководящих кадров и кандидатов на руководящие должности воспринимается испытуемым как совершенно корректная и объективная, поскольку в последующем кандидат или действующий руководитель может по результатам психодиагностики получить информацию о своих особенностях. Уверенность проходящих оценку в полной анонимности своих ответов, а также в том, что обработка всей информации ведется по программам на компьютере, делает процедуру оценки лишенной всякой предвзятости и более демократичной в их сознании. [c.388]
Блок-схема программы контроля корректности исходной информации 69 [c.172]
Наличие множества функциональных связей указывает, какие схемы отношений должны быть выбраны для корректной реализации внешних моделей. Под внешней моделью будем понимать некоторое подмножество схем отношений, над состоянием которых выполняются операции реляционной алгебры для удовлетворения информационных потребностей отдельных прикладных программ. Внешняя модель реализована корректно, если подмножество схем отношений, которое ее описывает, обладает свойством соединения без потерь, например так, как это было показано при соединении [c.125]
Внутреннее проектирование определяет, как изделие должно функционировать. Модули, подпрограммы, оверлейные структуры, динамические таблицы, блок-схемы и таблицы решений являются строительным материалом при внутреннем проектировании. Методы корректного внутреннего проектирования и управления этим процессом составляют целый раздел техники программного обеспечения — методологию программирования, являющуюся вполне законченной дисциплиной. Вероятно, точнее было бы говорить, что эти методы охватывают несколько конкретных проблем, поскольку никакой положительный опыт проектирования программ одного типа (например, программ вычислительного характера) не имеет ничего общего с практикой программирования других задач (например, с разработкой компиляторов). Во всяком случае, этот вопрос является чисто техническим и выходит за рамки тематики этой книги. [c.30]
ВтС является своего рода записной книжкой проекта, заполняющейся по мере разработки изделия, которое она описывает. Внутренняя спецификация описывается и утверждается еще до начала фазы программирования (в соответствии с типовым этапом Р11, отмеченным в табл. 14.9), так что руководство группы разработки имеет гарантию того, что проект тщательно продуман. В ВтС всегда включается описание всех используемых алгоритмов. Состав других материалов уточняется от проекта к проекту. Утверждение ВшС ранее первого рассмотрения ВтС обеспечивает необходимую полноту исходной ВнС. Программирование начинается лишь тогда, когда имеется достаточно полное описание данных и алгоритма их обработки, так что частичное тестирование программного изделия приобретает смысл, а блок-схема будущего изделия отработана настолько, что можно гарантировать корректную обработку нетривиальных исходных данных и получение нетривиальных результатов. С этого момента ВтС и машинные программы разрабатываются совместно и могут снабжаться ссылками друг на друга для обеспечения полноты описания внутренней структуры программных средств. [c.281]
По мнению Л.Е. Басовского, стратегическое планирование представляет собой комплекс решений и действий по разработке стратегии, необходимых для достижения целей организации, предприятия [9]. В этой формулировке ставится знак равенства между планированием и разработкой стратегии, что нельзя считать корректным, так как план — более широкое понятие, чем понятие стратегия , поскольку план включает и выработку стратегии, и программу мер по ее реализации на определенный период. [c.289]
Циклы питают хлебом с маслом нескольких экспертов, продающих услуги по предсказанию будущих максимумов и минимумов. Редко кто из них понимает, что кажущийся цикл на графике в действительности -только игра воображения. Если вы проанализируете данные по ценам математически корректной программой, такой, как MESA (Спектральный анализ максимальной энтропии) Джона Эхлера, то увидите, что 80 процентов того, что кажется циклами, в действительности просто рыночный шум. Человеческий ум стремится распознать порядок в хаосе, и для большинства людей иллюзия порядка лучше, чем его отсутствие. [c.111]
С другой стороны, корректное ПО может быть ненадежным. Это случается тогда, когда спецификация элемента ПО не является полным описанием того, что ожидается от данного элемента или системы в целом. Доказательство корректности основывается обычно на предположениях, что машина, интерпретирующая ПО, функционирует надежно, все входные данные для системы корректны. Если эти предположения не выполняются, то корректная программа будет ненадежной в работе. Таким образом, система может считаться корректной только в том случае, если спецификация, использованная при до казательстве корректности, не содержит никаких требований относительно поведения системы при обстоятельствах, когда любое из вышеупомянутых предположений не является действительным. Подобные несоответствия обладают необычайно большим воздействием на нашу оценку надежности системы, так как ошибки входных данных и ошибки, порождаемые машиной в процессе функционирования, наиболее вероятны именно в стрессовые моменты работы. [c.13]
На последующем этапе разработанная программа проверяется с целью определения ее приемлемости для намеченного использования. Эта проверка может колебаться от беглого просмотра до интенсивного и самостоятельного контроля корректности программы (валидации) Предполагается, что после валидации программа может применяться пользователем с целью получения плани руемых результатов ее работы [c.52]
Расчет этих финансовых коэффициентов возможен и в автоматическом режиме с помощью использования современных компьютерных аналитических программ таких фирм, как Про-Инвест Информационные технологии и ИНЭК . Следует подчеркнуть, что аналитическая компьютерная программа Audit Expert компании Про-Инвест Информационные технологии — это программа, предназначенная для комплексного анализа финансового состояния организации (предприятия), позволяющая проводить корректировку показателей актива и пассива бухгалтерского баланса, что особенно актуально в условиях инфляционной экономики. Такая корректировка позволяет дать достоверную оценку показателей финансовой отчетности, корректно провести анализ динамики показателей, основываясь на сопоставимых стоимостных оценках, определить величину инфляционной прибыли (убытка) согласно МСФО № 15 Информация, отражающая влияние изменения цен и МСФО N° 29 Финансовая отчетность в условиях гиперинфляции . [c.428]
Например, для корректного расчета развернутого сальдо при использовании любой программы следует вести аналитический учет на счетах взаиморасчетов. В противном случае в ряде ситуаций развернутое сальдо будет вычисляться неверно, поскольку исходная информация не позволит программе разделить движение средств по разным контрагентам. Программы несут в себе различную методологию компьютерного учета. Например, в программном комплексе БЭСТ-4 для корректного расчета курсовых разниц по определенному счету нужно, чтобы движение средств по каждой валюте отражалось на отдельном субсчете. Многие другие программы такого требования не предъявляют. [c.301]
Ваш выбор графической программы для использования вместе с FibNodes очень важен. Если вы торгуете инструментами типа пятиминутных S P, графическое программное обеспечение должно легко менять как вертикальные, так и горизонтальные размеры графиков с минимальной затратой в движениях. Нужно, чтобы переход от одной к другой Временной Структуре производился без всякого усилия, а доступ курсора к критически важным местам графика был быстр и легок. Выбранное вами графическое программное обеспечение должно иметь возможности корректного расчета и построения переходящих графиков. См. Приложение "I". [c.278]
С философской точки зрения есть другая проблема. Мощность компьютеров позволяет тестировать так много комбинаций паттернов, правил и формул, не оставляя сомнений, что кажущаяся успешной стратегия будет найдена. Однако сегодняшний опыт показывает, что такие решения не приводят к прибылям в реальной торговле. Феномен, не так давно осознанный как подстройка (overfitting), представляет дилемму для любого разработчика торговой программы. Боб Пардо обращается к этой проблеме непосредственно, предлагая процедуры и ясные объяснения корректного решения. [c.212]
Ввести с клавиатуры значение длительности выполнения задачи. Это значение рекомендуется вводить, явно указывая размерность этой величины по образцу бОмин для минут, 10,00д для рабочих дней, 6,5ч для часов, 8,20нед для недель. Если длительность задачи определяется не рабочим, а астрономически временем, то единицы размерности следует записывать с указанием для единиц времени префикса а (в локализованной версии) или префикса е (в нелокализованной версии). Обязательным вводом размерности единиц времени можно пренебречь, если есть уверенность в корректной настройке программы и в правильной интерпретации ею вводимых показателей. [c.136]
На стадии однотранспьютерной реализации необходимым для получения результата является D-файл. Его использует программа преобразования блоков и подстановки, генерирующая текст параллельной программы на языке O AM, Далее, с использованием технологических средств параллельного программирования, эта программа компилируется в исполняемый код, готовый к погружению на транспьютер. После проверки пра вильности и корректности функционирования схемы на одном транспьютере можно приступать к мультитранспьютерной реализации. [c.176]
Подчеркнем, что поставленная выше задача при условии, что все участвующие в ней функции являются линейными, может быть решена стандартными методами линейного целочисленного программирования. Для этого менеджерам или предпринимателям не требуется обладать специальными знаниями и навыками, достаточно освоить (в режиме пользователя) специальные пакеты программного обеспечения, разработанные для персональных компьютеров и частично заложенные в их стандартное программное обеспечение (в частности, в программу Ex el). При этом важно лишь корректно поставить задачу в соответствии с изложенными выше методическими положениями. [c.139]