Презентация на тему Понятие программы

недель
1-2 потоковых контрольных работы
Дифференцированный зачёт
2й семестр
16 учебных недель
1-2 потоковых

контрольных работы
Экзамен
Лекция + семинар + практика каждую учебную неделю

конкретными компонентами системы обработки информации в целях реализации определенного

алгоритма. (ГОСТ 19781—90)
Программа – это представленная в объективной форме совокупность данных и команд, предназначенных для функционирования ЭВМ и других компьютерных устройств с целью получения определённого результата, включая подготовительные материалы, полученные в ходе разработки программы для ЭВМ, и порождаемые ею аудиовизуальные отображения. (ГК РФ)

компьютера данные и машинные инструкции, исполняемые процессором для достижения

некоторой цели. (Википедия)

процедурная декомпозиция, ОО, др.
Внутреннее и внешнее документирование
Разработка
Написание исходного кода
Компиляция

исходного кода
Сборка
Отладка
Оптимизация
Тестирование
Сдача в эксплуатацию (релиз)
Сопровождение

правил
Именование типов, переменных, констант, функций, файлов
Деление кода на функции,

файлы, компоненты
Форматирование и комментирование кода
Минимальное дублирование кода
Похожим действия -- похожая запись («устойчивые обороты»)
Рефакторинг кода (code refactoring)
Ревью кода (code review)

if (1==x) x=0; else x=1;
x=1-x;
int T[2] = {1, 0}; x = T[x];
x = x?0:1;
x = !x;
if (1==x) x=0;
else if (0==x) x=1;
else assert(x==0||x==1);

компиляции
Результатом компиляции является файл с объектным кодом
Если изменения в

файле Ф1 могут нарушить логику работы кода в файле Ф2, то Ф2 зависит от Ф1
Системы компиляции умеют автоматически учитывать некоторые зависимости между файлами
GNU make, MS nmake, scons, …
За учёт всех зависимостей отвечает программист

/* … */ }

main.c
#include "worker.h"
int main()
{
do_some_work();
return 0;
}
Изменения в worker.c

требуют изменений в worker.h и перекомпиляции worker.c и main.c

Для чего нужна строка
#include "worker.h" в файле worker.c?

библиотеки
Сборка исполняемого файла

файлы

Статическая библиотека – средство группирования логически связанных объектных файлов

созданные динамические библиотеки
Выход: файл со служебной информацией для ОС

и машинными инструкциями, годными для исполнения процессором

Динамическая библиотека – средство построения программ в процессе их работы

библиотеки
Выход: файл со служебной информацией для ОС, машинными инструкциями,

годными для исполнения процессором, и «точкой входа»

– линкер, редактор связей
З – загрузчик ОС
Исполняемый код
З
Л
К
Исполняемый

файл

Динамическая библиотека

Статическая библиотека

Объектный код

Свой исходный код

Чужой исходный код
(заголовочные файлы библиотек и т.п.)

main.exe

исполнения с помощью «карандаша и бумаги» для простых случаев
Трассировка

работы программы с помощью отладочной печати
Проверка необходимых условий корректности в ходе работы программы
Пошаговое исполнение программы с помощью отладчика

памяти (данных на диске)
Размер исходного кода
Размер исполняемого кода
Компилятор и

линкер умеют автоматически делать некоторые преобразования программ, не зависящие от смысла (семантики) программы
Сохраняют корректность программы
Могут менять некорректную программу неожиданным образом
Могут ухудшать количественные характеристики программы
За результат оптимизации отвечает программист
Понимая семантику программы, программист имеет возможность добиться большего эффекта, чем компилятор и линкер