Cтраница 3
Методы верификации используются как для проверки соответствия проектов программного обеспечения спецификациям алгоритмов или программ, так и для проверки соответствия создаваемых программ исходным проектам. Если ошибки в спецификациях отсутствуют, то процедура верификации должна подтвердить, что проект и его программная реализация соответствуют исходным спецификациям. [31]
Очевидно, что если какая-либо совокупность действий в одном или нескольких алгоритмах используется неоднократно, то для экономии времени и стоимости программы целесообразно во вновь создаваемую программу включать совокупность операторов, определяющих эти действия один раз, а в тех точках программы, где соответствующие операторы должны выполняться, задавать к ним обращение. Для обеспечения такой возможности в языках программирования введены подпрограммы. [32]
Значение логического подхода заключается в возможности построения интерпретатора, работа которого не зависит от логических формул, описывающих ПО, что принципиально отличается от традиционного программирования, когда управляющая структура уникальна для каждой вновь создаваемой программы. [33]
Эти команды - обращения к специальному, входящему в состав пакета заблаговременно загружаемому резидентному модулю Flash - up, обеспечивающему быстрый показ меню и экранов, построенных с помощью данного пакета, если они используются в создаваемой программе, а также поддерживающему выбор требуемой альтернативы в меню и передачу информации о выборе пользователя в программу. [34]
Развитые С А П включают входные языкипрограммирования ( машинно-ориентированные, процедурно - и проблемно-ориентированные); трансляторы ( программы перевода рабочих программ с языков программирования на машинный язык); программы отладки, обеспечивающие вывод необходимой информации в процессе работы на разработанных программах, которая используется программистами для контроля правильности работы и диагностики причин ошибок в работе создаваемых программ. [35]
Система автоматизации программирования должна генерировать рабочие программы для различных ЭВМ, что достигается путем создания специальных блоков генераторов рабочих программ, выдающих эти программы в кодах требуемой машины. Важна адаптация создаваемых программ к возможностям различных операционных систем. Для этого в систему трансляции должен быть введен блок анализа описания возможностей операционной системы. [36]
По умолчанию создаваемой программе присваивается имя FormN, где N - ее номер по порядку в данном узле. Для изменения имени программы в данном диалоге предусмотрено специальное поле. [37]
По умолчанию создаваемой программе присваивается имя FormN, где N - ее номер по порядку в данном узле. [38]
По умолчанию создаваемой программе присваивается имя FormN, где N - ее номер по порядку в данном узле. Для изменения имени программы в данном диалоге предусмотрено специальное поле. [39]
По умолчанию создаваемой программе присваивается имя FormN, где N - ее номер по порядку в данном узле. [40]
Операционная система ДОС содержит два транслятора: Базисный Фортран и Фортран IV. Последний производит оптимизацию создаваемой программы. Кроме того, с операционными системами ОС и СВМ могут использоваться два пакета программ: СП Фортран и Фортран ОЕ. Входной язык трансляторов, входящих в пакеты, является расширением соответствующих языков трансляторов Фортран ST и Фортран ОР. Пакет СП Фортран включает комплекс средств для разработки программ в диалоговом и пакетном режимах. [41]
Традиционная технология программирования складывалась в условиях, когда основным потребителем программ были научные учреждения, вычислительные ресурсы были ограничены, а проблемы сопровождения программ были по существу неизвестны. Основным критерием качества создаваемой программы считалась ее узко понимаемая эффективность, и мало кого интересовали отрицательные последствия тех ухищрений, которые применялись для ее до - - стижения. [42]
Трудозатраты на разработку систем под ключ часто измеряют в человеко-месяцах, а в крупных проектах - в человеко-годах. Это объясняется тем, что создаваемая программа должна автоматически выполнять все необходимые операции, кроме включения и выключения компьютера. Почти никогда такие проекты не выполняются одним программистом. В них приходится реализовывать многоуровневую систему отслеживания ошибок и интерактивную помощь оператору. [43]
Этот оператор не является обязательным в цепочке операторов РЕДАКТОРА, но если он присутствует то это означает, что информация РЕДАКТОРА исчерпана. Дополнительно он может определить точку входа в создаваемую программу. [44]
Программы-заглушки требуются только на ранних стадиях разработки для того, чтобы не сдерживать общий ход создания программного комплекса. Благодаря их использованию обеспечивается возможность имитировать на ЭВМ работу реальной создаваемой программы, а следовательно, осуществлять проверку работоспособности программ верхнего уровня еще до того, как будут разработаны и отлажены все составляющие ее программы нижнего уровня. [45]