Программа (англ. program, routine) — последовательность операций, в том числе нескольких параллельных, выполняемых компьютером для достижения поставленной цели или задачи, описание на языке программирования или в машинном коде действий, которые должен выполнить компьютер в соответствии с алгоритмом решения конкретной задачи или группы задач (синоним — машинная программа), а также упорядоченная последовательность команд, подлежащих обработке. В программировании с термином «программа» связан ряд понятий:
Машинная программа (англ. computer machine program), написанная на машинном языке (в машинном коде);
структура программы (англ. program structure) — общая схема построения программы, рассматривающая ее составные компоненты (программные блоки) и взаимосвязи между ними;
Программная спецификация (англ. program specification) — точная и полная формулировка определенной задачи или группы задач, содержащая сведения, необходимые для построения алгоритма их решения. Содержит описание результата, который должен быть достигнут с помощью конкретной программы, а также действий, выполняемых программой для достижения конечного результата без упоминания того, как указанный результат достигается;
Верификация программы (англ. program verification) — установление корректным методом соответствия программы целям ее создания или приобретения, а также формализованный контроль или проверка работоспособности программы;
Отладка программы (англ. debugging) — обнаружение, локализация и устранение ошибок в компьютерной программе. Отладчик (англ. debugger) — программа, предназначенная для анализа поведения другой программы, обеспечивающая ее трассировку (отслеживание и распечатку выполняемых программой команд, изменений переменных или данных о других событиях, связанных с выполнением программы), остановку в указанных точках или при выполнении указанных условий, просмотр и изменение ячеек памяти, регистров процессора и команд программы;
Трассировка (англ. trace) — метод проверки правильности функционирования программ при их выполнении путем отображения изменений всех значений переменных. Этим достигается сокращение поиска ошибочных команд, из-за которых переменные принимают неверные значения. Трассировка выполняется при помощи ввода в проверяемую программу специальных команд или с использованием специальных сервисных программ;
Тестирование программы (англ. program testing) — проверка программы в рабочих условиях со специально созданным (тестовым) массивом данных с целью определения ее работоспособности в соответствии с заданными критериями оценки;
Испытания программы (англ. program verification and validation) — всесторонняя (по формализованным признакам — verification и общей субъективной оценке — validation) проверка и тестирование программы при сдаче ее в эксплуатацию или аттестации.
Шаг программы (program step) — выполнение одной команды программы.
структура программы (англ. program structure) — общая схема построения программы, рассматривающая ее составные компоненты (программные блоки) и взаимосвязи между ними;
Программная спецификация (англ. program specification) — точная и полная формулировка определенной задачи или группы задач, содержащая сведения, необходимые для построения алгоритма их решения. Содержит описание результата, который должен быть достигнут с помощью конкретной программы, а также действий, выполняемых программой для достижения конечного результата без упоминания того, как указанный результат достигается;
Верификация программы (англ. program verification) — установление корректным методом соответствия программы целям ее создания или приобретения, а также формализованный контроль или проверка работоспособности программы;
Отладка программы (англ. debugging) — обнаружение, локализация и устранение ошибок в компьютерной программе. Отладчик (англ. debugger) — программа, предназначенная для анализа поведения другой программы, обеспечивающая ее трассировку (отслеживание и распечатку выполняемых программой команд, изменений переменных или данных о других событиях, связанных с выполнением программы), остановку в указанных точках или при выполнении указанных условий, просмотр и изменение ячеек памяти, регистров процессора и команд программы;
Трассировка (англ. trace) — метод проверки правильности функционирования программ при их выполнении путем отображения изменений всех значений переменных. Этим достигается сокращение поиска ошибочных команд, из-за которых переменные принимают неверные значения. Трассировка выполняется при помощи ввода в проверяемую программу специальных команд или с использованием специальных сервисных программ;
Тестирование программы (англ. program testing) — проверка программы в рабочих условиях со специально созданным (тестовым) массивом данных с целью определения ее работоспособности в соответствии с заданными критериями оценки;
Испытания программы (англ. program verification and validation) — всесторонняя (по формализованным признакам — verification и общей субъективной оценке — validation) проверка и тестирование программы при сдаче ее в эксплуатацию или аттестации.
Шаг программы (program step) — выполнение одной команды программы.