Программные средства
Программа как формальное описание процедуры обработки данных.
Целью программирования является описание процессов обработки данных. Данные - это представление фактов и идей в формальном виде, пригодном для хранения и переработки в некотором процессе. Информация - это смысл, который придается данным при их представлении. Обработка данных - это выполнение систематизированной последовательности действий с данными.
Данные представляются и хранятся на носителях информации. Совокупность носителей данных, используемых при какой-либо обработке, называют информационной средой. Набор данных, содержащихся в какой-либо момент времени в информационной среде, называется состоянием информационной среды.
Процесс можно определить как последовательность сменяющих друг друга состояний информационной среды. Описать процесс - значит определить последовательность состояний заданной информационной среды. Поэтому для того, чтобы по заданному описанию процесс рождался автоматически, необходимо, чтобы описание этого процесса было формализованным.
Формализованное описание процесса называется программой. Программа должна быть понятной как человеку, составившему программу, так и человеку, который в дальнейшем будет ею пользоваться. Программа составляется на удобном для программиста формализованном языке программирования, с которого программа переводится на язык, понятный компилятору. Любому программисту, прежде чем составить программу приходится проделать большую подготовительную работу по уточнению постановки задачи, выбору метода решения, специфики использования программы, прояснению терминологии и т.д. Использование такой информации существенно облегчает понимание самой задачи, и поэтому эту информацию всегда полезно фиксировать в виде отдельных документов. Кроме того, готовая программа должна быть удобной в использовании не программисту, а пользователю с использованием привычных ему терминов.
Программа или логически связанная совокупность программ на носителях данных, снабженная программной документацией, называется программным средством. Программная документация позволяет понять, какие функции выполняет та или иная программа, как получать и интерпретировать результаты. Кроме того, документация является тем самым документом, на основании которого принимается решение о дальнейшей модификации программы.
1.2 Неконструктивность понятия "правильная программа"
Можно считать, что продуктом технологии программирования является программное средство, содержащее программы, выполняющие требуемые функции.
Часто под "правильной программой" понимают программу, которая не содержит ошибок. Однако само понятие "ошибка" среди программистов является неоднозначным. Считается, что в программе есть ошибки, если она не выполняет того, что разумно от нее ожидает пользователь. В свою очередь, разумное ожидание пользователь формирует на основании документации. Так как в программном средстве программа и документация взаимосвязаны, то правильнее было бы говорить не об ошибке в программе, а об ошибке в программном средстве.
В частности, разновидностью ошибки в программном средстве является несогласованность между программой и документацией. Также возникает спорный вопрос, как относиться к возможностям программы, не описанным в документации.
Таким образом, понятие "ошибка" не является формализованным. Не является строго описанным и понятие "правильное программное средство", поэтому оно не может использоваться для суждения о качестве программного средства.