Cтраница 4
Прокрутка бывает необходимой и в том случае, когда программист не в состоянии вполне четко представить себе логику проверяемой программы, особенно если программа написана не им, и нет хорошего описания. [46]
В работах [8.67-8.70] предложено в целях защиты данных устанавливать контроль как над процессом выполнения программы, так и над логикой программы. В работе [8.33, 8.34] анализируются программные средства защиты. [47]
![]() |
Пример программы с перекрытием. [48] |
Планирование структуры программы во многих случаях необходимо делать еще на этапе разработки алгоритма для того, чтобы наилучшим образом построить логику программы и наиболее эффективно использовать ресурсы вычислительной системы. [49]
Планирование структуры программы во многих случаях необходимо делать еще па этапе разработки алгоритма для того, чтобы наилучшим образом построить логику программы и наиболее эффективно использовать ресурсы вычислительной системы. [50]
В настоящее время существует множество алгоритмов генерации тестовых последовательностей, базирующихся либо на анализе внешних спецификаций программы, либо на анализе логики программы. Это два полярных подхода, и вполне возможна некоторая их комбинация, позволяющая применительно к конкретной ситуации получить лучшие результаты. [51]
Схема диалоговой процедуры отражает логику диалога машины с пользователем, так же как блок-схема программы ( или алгоритмическая блок-схема) отражает логику программы. [52]
Поэтому добиваться значительной эффективности программы за счет использования тонких возможностей машины ( где легко ошибиться) или хитрых приемов программирования ( что усложняет логику программы и затрудняет ее понимание) имеет смысл лишь в том случае, когда заведомо известно, что изготавливаемая программа должна будет работать в экстремальных условиях - либо в отношении времени, либо в отношении требуемой памяти. Однако такие программы встречаются не так уж часто. [53]
Диалоговая система предоставляет абоненту ряд отладочных средств, позволяющих следить за выполнением программы и вмешиваться в выполнение для локализации ошибок в структуре и логике программы. [54]
В зарубежной практике вместо блок-схем рекомендуется применять так называемые псевдокоды, которые пишутся на языке, близком к естественному, что позволяет четко выразить логику программы, игнорируя машинные ограничения. [55]
Применение языков символического кодирования имеет ряд недостатков: для написания программ требуется большое число команд; затрачивается длительное время на кодирование; трудно восстановить логику программы, если требуется внести изменения в процессе использования программы; программа составляется для конкретной ЦВМ. [56]
Заметим, что абсолютная правильность схем программ возможна лишь тогда, когда в качестве исходной используется схема, составленная в процессе программирования, а в логике программы отсутствуют ошибки. В этом случае статические испытания проверяют правильность реализации логики программы. [57]