 |
Эволюция и классификация языков программирования. Основные понятия языков.
|
|
|
|
Выражение на языке программирования задает правило вычисления некоторого значения. Выражение состоит из констант, переменных, указателей функций, знаков операций и скобок. Каждое выражение имеет тип, зависящий от типов входящих в него операндов.
Выражение называют арифметическим, если его значением является число. Арифметическое выражениезаписывается в строку. Нельзя ставить подряд два знака арифметических операций. Нельзя опускать знак умножения.
При вычислении значений выражений важен порядок выполнения операций. Приняты следующие правила. Действия выполняются слева направо с соблюдением следующего старшинства (в порядке убывания приоритетов):
1) действия в скобках;
2) вычисление функций;
3) NOT;
4) *, /, DIV, MOD, AND;
5) +, -, OR;
6) =, <>, <, >, <=, >=.
Если приоритет операций одинаков, то операция, стоящая левее, выполняется раньше. Порядок выполнения операций можно переопределить с помощью скобок.
Язык программирования – искусственный язык, который имеет
– ограниченное число слов, значение которых понятно транслятору
(ключевые слова)
– очень строгие правила записи команд
Синтаксис языка – совокупность правил записи команд
Семантика языка – смысл каждой команды и других конструкций языка
Язык программирования — формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия, которые выполнит исполнитель (компьютер) под ее управлением.
Каждый язык программирования поддерживает один или несколько встроенных типов данных (базовых типов). Кроме того, развитые языки программирования предоставляют программисту возможность описывать собственные типы данных, комбинируя или расширяя существующие.
|
|
|
Тип данных – характеристика набора данных, которая определяет:
- диапазон возможных значений данных из набора;
- допустимые операции, которые можно выполнять над этими значениями;
- способ хранения этих значений в памяти.
Различают:
- простые типы данных: целые, действительные числа и др.;
- составные типы данных: массивы, файлы и др.
Переменная – именованная область памяти, хранящая некоторое значение.
Массивы используются во всех современных языках программирования.
Массив – именованный набор однотипных данных, расположенных в памяти непосредственно друг за другом (в отличие от списка), доступ к которым осуществляется по индексу элемента массива (номеру по порядку, упорядоченному по возрастанию в индексных массивах). Индекс массива, указывающий на элемент массива, – это целое число.
Программа – логически упорядоченная последовательность команд, необходимых для решения определенной задачи.
Программа – Алгоритм, записанный на языке программирования.
Текст программы – полное, законченное и детальное описание алгоритма на языке программирования. Затем этот текст программы обрабатывается специальными служебными приложениями, которые называются трансляторами.
Команды, поступающие в процессор по его шинам, на самом деле являются электрическими сигналами. Эти сигналы можно интерпретировать как нули и единицы, то есть как числа. Поэтому реально программа, с которой работает процессор, представляет собой последовательность чисел, называемую машинным кодом.
тестирование программного обеспечения — процесс исследования программного обеспечения (ПО) с целью получения информации о качестве продукта (в том числе поиск ошибок в программе).
|
|
|
Альфа-тестирование – тестирование готового продукта на специально созданных задачах.
Бета-тестирование – опробование бесплатной тестовой версии программного продукта на реальных задачах.
Если «альфа-» и «бета-тестирование» относятся к стадиям до выпуска продукта (а также, неявно, к объёму тестирующего сообщества и ограничениям на методы тестирования), тестирование «белого ящика» и «чёрного ящика» имеет отношение к способам, которыми тестировщик достигает цели.
При тестировании белого ящика (англ. white-box testing, также говорят — прозрачного ящика), разработчик теста имеет доступ к исходному коду программ и может писать код, который связан с библиотеками тестируемого ПО. Это типично для юнит-тестирования (англ. unit testing), при котором тестируются только отдельные части системы. Оно обеспечивает то, что компоненты конструкции — работоспособны и устойчивы, до определённой степени. При тестировании белого ящика используются метрики покрытия кода.
При тестировании чёрного ящика, тестировщик имеет доступ к ПО только через те же интерфейсы, что и заказчик или пользователь, либо через внешние интерфейсы, позволяющие другому компьютеру либо другому процессу подключиться к системе для тестирования. Например, тестирующий модуль может виртуально нажимать клавиши или кнопки мыши в тестируемой программе с помощью механизма взаимодействия процессов, с уверенностью в том, все ли идёт правильно, что эти события вызывают тот же отклик, что и реальные нажатия клавиш и кнопок мыши. Как правило, тестирование чёрного ящика ведётся с использованием спецификаций или иных документов, описывающих требования к системе. Как правило, в данном виде тестирования критерий покрытия складывается из покрытия структуры входных данных, покрытия требований и покрытия модели (в тестировании на основе моделей).
Регрессионное тестирование. После внесения изменений в очередную версию программы, регрессионные тесты подтверждают, что сделанные изменения не повлияли на работоспособность остальной функциональности приложения. Регрессионное тестирование может выполняться как вручную, так и средствами автоматизации тестирования.
|
|
|
Отла́дка — этап разработки компьютерной программы, на котором обнаруживают, локализуют и устраняют ошибки. Чтобы понять, где возникла ошибка, приходится:
- узнавать текущие значения переменных;
- и выяснять, по какому пути выполнялась программа.
Существуют две взаимодополняющие технологии отладки.
- Использование отладчиков — программ, которые включают в себя пользовательский интерфейс для пошагового выполнения программы: оператор за оператором, функция за функцией, с остановками на некоторых строках исходного кода или при достижении определённого условия.
- Вывод текущего состояния программы с помощью расположенных в критических точках программы операторов вывода — на экран, принтер, громкоговоритель или в файл. Вывод отладочных сведений в файл называется журналированием.
Отладчик – программа, позволяющая исследовать внутреннее устройство программы. Отладчик обеспечивает пошаговое исполнение программы, просмотр текущих значений переменных, вычисление значения любого выражения программы и др. Debugger.
Рефакторинг — процесс изменения внутренней структуры программы, не затрагивающий её внешнего поведения и имеющий целью облегчить понимание её работы
Подпрограмма – набор операторов, выполняющих нужное действие и не зависящих от других частей исходного кода.
Подпрограммы бывают двух видов – процедуры и функции. Они отличаются тем, что процедура просто выполняет группу операторов, а функция к тому же передает в главную программу некоторое вычисленное значение. Передает = возвращает. Функция имеет тип, совпадающий с типом возвращаемого значения.
Внешняя программа вызывает подпрограмму. Данные передаются подпрограмме в виде параметров или аргументов, которые описываются в заголовке подпрограммы.
Подпрограммы могут быть вложенными, т.е. допускается вызов подпрограммы не только из главной программы, но и из другой подпрограммы. Подпрограмма может вызывать сама себя. Такой прием называется рекурсией.
Важная характеристика подпрограмм – возможность их повторного использования. С интегрированными системами программирования поставляются большие библиотеки стандартных подпрограмм.
|
|
|
Модуль – процедура, функция, юнит, программа в целом – логически законченная составная часть программы.
Процедурные языки программирования – те, где возможно использование подпрограмм.
Структурное программирование – структура программы должна отражать структуру решаемой задачи, чтобы алгоритм решения был ясно виден из исходного текста. С этой целью введено понятие подпрограммы.
Структурное программирование — методология разработки программного обеспечения, в основе которой лежит представление программы в виде иерархической структуры блоков. Предложена в 70-х годах XX века Э. Дейкстрой, разработана и дополнена Н. Виртом.
В соответствии с данной методологией
- Любая программа представляет собой структуру, построенную из трёх типов базовых конструкций:
- последовательное исполнение — однократное выполнение операций в том порядке, в котором они записаны в тексте программы;
- ветвление — однократное выполнение одной из двух или более операций, в зависимости от выполнения некоторого заданного условия;
- цикл — многократное исполнение одной и той же операции до тех пор, пока выполняется некоторое заданное условие (условие продолжения цикла).
В программе базовые конструкции могут быть вложены друг в друга произвольным образом, но никаких других средств управления последовательностью выполнения операций не предусматривается.
- Повторяющиеся фрагменты программы (либо не повторяющиеся, но представляющие собой логически целостные вычислительные блоки) могут оформляться в виде т. н. подпрограмм (процедур или функций). В этом случае в тексте основной программы, вместо помещённого в подпрограмму фрагмента, вставляется инструкция вызова подпрограммы. При выполнении такой инструкции выполняется вызванная подпрограмма, после чего исполнение программы продолжается с инструкции, следующей за командой вызова подпрограммы.
- Разработка программы ведётся пошагово, методом «сверху вниз».
Сначала пишется текст основной программы, в котором, вместо каждого связного логического фрагмента текста, вставляется вызов подпрограммы, которая будет выполнять этот фрагмент. Вместо настоящих, работающих подпрограмм, в программу вставляются «заглушки», которые ничего не делают. Полученная программа проверяется и отлаживается. После того, как программист убедится, что подпрограммы вызываются в правильной последовательности (то есть общая структура программы верна), подпрограммы-заглушки последовательно заменяются на реально работающие, причём разработка каждой подпрограммы ведётся тем же методом, что и основной программы. Разработка заканчивается тогда, когда не останется ни одной «затычки», которая не была бы удалена. Такая последовательность гарантирует, что на каждом этапе разработки программист одновременно имеет дело с обозримым и понятным ему множеством фрагментов, и может быть уверен, что общая структура всех более высоких уровней программы верна. При сопровождении и внесении изменений в программу выясняется, в какие именно процедуры нужно внести изменения, и они вносятся, не затрагивая части программы, непосредственно не связанные с ними. Это позволяет гарантировать, что при внесении изменений и исправлении ошибок не выйдет из строя какая-то часть программы, находящаяся в данный момент вне зоны внимания программиста.
|
|
|
Нисходящее проектирование – разработка приложения (программы) сверху вниз. Сначала выделяется несколько подпрограмм (модулей), решающих самые глобальные задачи (например, инициализация данных), потом каждый из этих модулей детализируется на более низком уровне, разбиваясь на небольшое число других подпрограмм и т.д.
Событийно-ориентированное программирование – главная часть программы представляет собой один бесконечный цикл, который опрашивает Windows, следя за тем, не появилось ли новое сообщение о событии. При обнаружении события вызывается подпрограмма, ответственная за обработку события. Цикл продолжается, пока не будет получено сообщение «завершить работу».
События могут быть
– пользовательскими (возникают в результате действий пользователя)
– системными (возникают в ОС, например, сообщение от таймера)
– программными (генерируются программой, например, надо обработать ошибку)
Исключение – ситуация в программе или ОС, требующая немедленного реагирования, например, деление на 0.
Виды программирования
- Структурное
- Функциональное программирование
- Логическое программирование
- Автоматное программирование
- Процедурное программирование
- Объектно-ориентированное программирование
- Прототипное программирование
- Аспектно-ориентированное программирование
- Компонентно-ориентированное программирование
Логическое программирование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Логическое программирование основано на теории и аппарате математической логики с использованием математических принципов резолюций. (язык Пролог).
Процедурное (императивное) программирование является отражением архитектуры традиционных ЭВМ, которая была предложена фон Нейманом в 1940-х годах. Теоретической моделью процедурного программирования служит алгоритмическая система под названием Машина Тьюринга.
Программа на процедурном языке программирования состоит из последовательности операторов (инструкций), задающих процедуру решения задачи. Основным является оператор присваивания, служащий для изменения содержимого областей памяти. Концепция памяти как хранилища значений, содержимое которого может обновляться операторами программы, является фундаментальной в императивном программировании.
Выполнение программы сводится к последовательному выполнению операторов с целью преобразования исходного состояния памяти, то есть значений исходных данных, в заключительное, то есть в результаты. Таким образом, с точки зрения программиста имеются программа и память, причем первая последовательно обновляет содержимое последней.
Процедурный язык программирования предоставляет возможность программисту определять каждый шаг в процессе решения задачи. Особенность таких языков программирования состоит в том, что задачи разбиваются на шаги и решаются шаг за шагом. Используя процедурный язык, программист определяет языковые конструкции для выполнения последовательности алгоритмических шагов.
|
|
|
