|
Структура программы (program structure) – это общая схема построения программы, рассматривающая ее составные компоненты (программные блоки) и взаимосвязи между ними. Спецификация программы, программная спецификация (program specification) – это точная и полная формулировка определенной задачи или группы задач, содержащая сведения, необходимые для построения ее алгоритма (программы) или решения. Содержит описание результата, который должен быть достигнут с помощью конкретной программы, а также того, что для достижения этого результата программа должна делать без упоминания, как достигнут указанный результат. Верификация программы (program verification) 1. Установление любым корректным методом факта соответствия программы заданным целям ее создания или приобретения – установление правильности программы. 2. Формализованный контроль или проверка работоспособности программы. Отладка программы (debugging) – это обнаружение, локализация и устранение ошибок в компьютерной программе. Отладчик (debugger) – это программа, предназначенная для анализа поведения другой программы, обеспечивающая ее трассировку (отслеживание и распечатку выполняемых программой команд, изменений переменных или данных о других событиях, связанных с выполнением программы), останов в указанных точках или, при выполнении указанных условий, просмотр и изменение ячеек памяти, регистров процессора и команд программы. Трассировка (trace) – это метод проверки правильности функционирования программ при их выполнении путем отображения изменений всех значений переменных. Этим достигается сокращение поиска ошибочных команд, из-за которых переменные принимают неверные значения. Трассировка выполняется при помощи ввода в проверяемую программу специальных команд или с использованием специальных сервисных программ. Тестирование программы (program testing) – это проверка программы в рабочих условиях с некоторым специально созданным (тестовым) массивом данных в целях определения ее работоспособности в соответствии с заданными критериями оценки. Испытания программы (program verification and validation) – это всесторонняя (по формализованным признакам – «Verification» и общей субъективной оценке – «Validation») проверка и тестирование программы при сдаче ее в эксплуатацию или аттестации.
Подпрограмма (subroutine) Небольшая часть программы, связанная с реализацией какой-либо повторяющейся функции, процедуры или операции и вызываемая для выполнения из разных мест программы. В зависимости от того, являются ли подпрограммы частью разработки использующей их программы или заимствуются из других программ, они подразделяются на внутренние подпрограммы (internal subroutines) и внешние подпрограммы (external subroutines). В качестве последних могут использоваться и так называемые стандартные подпрограммы или программы (standard subroutines, standard programs) – программы, помещенные в библиотеку программ. Программирование (programming) 1. Совокупность процессов, связанных с разработкой программ и их реализацией. В широком смысле к указанным процессам относят все технические операции, необходимые для создания программ, включая анализ требований, все стадии разработки, а также реализации в виде готового программного продукта. В узком смысле под программированием часто понимают только процессы выбора структуры, кодирования и тестирования программ. 2. То же, что программирование математическое, то есть относящееся к разделу прикладной математики, исследующей проблемы оптимизации решения различных задач человеческой деятельности (в том числе управления, проектирования, планирования и т. п.).
|