ПРОГРАММА [program, routine]

Программа - это, Что такое программа, Определение термина программа, Машинная программа, Структура программы, Спецификация программы, Верификация программы, Отладка программы, Отладчик, Трассировка, Тестирование программы, Испытания программы

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