- •1. Базовые понятия пpогpаммиpования. Действие, пpоцесс, алгоритм, программа.
- •2. Функциональная структура эвм. Основные устройства эвм, их функциональные характеристики.
- •3. Представление данных в памяти эвм. Понятие переменной, константы, типа, диапазона значений.
- •4. Требования к качеству программного продукта. Основные критерии качества.
- •5. Этапы разработки программ. Роль каждого этапа в получении качественного программного продукта. Технология программирования.
- •1. Постановка задачи.
- •7. Исполнение программы.
- •6. Главная метафора процедурно-ориентированных языков. Стиль программирования.
- •7. Внешняя спецификация задачи, ее роль в процессе разработки программы. Состав внешней спецификации, структура документа.
- •8. Состав языка программирования. Синтаксис и семантика языка. Метаязык для записи синтаксических правил.
- •9. Структурные уровни языка программирования. Уровни языка Паскаль. Особенности языка Паскаль.
- •10. Простейшие конструкции языка Паскаль. Основные символы, слова, выражения.
- •11. Элементарные инструкции языков программирования. Особенности кодирования инструкции на язык Паскаль.
- •12. Кодирование арифметических, логических и литерных инструкций на язык Паскаль.(бл она хочет кодирование инструкций или выражений?)
- •13. Организация ввода данных из стандартного файла input. Процедуры ввода.
- •14. Ввод данных из текстового файла в Турбо-среде.
- •15. Вывод данных в текстовый файл в среде Турбо-Паскаль.
- •16. Концепция структурного программирования. Принцип Дейкстры.
- •17. Основные правила композиции структурированных программ. Базисы Вирта и Дейкстры. Эквивалентность базисов.
- •18. Последовательность действий. Особенность реализации в языке Паскаль.
- •19. Альтернативные действия. Альтернатива и полуальтернатива. Особенность реализации в языке Паскаль. Синтаксис и семантика.
- •20. Повторяемые действия. Реализация итерационных циклов пока и до в языке Паскаль. Синтаксис и семантика, особенность реализации.
- •22. Выбор из нескольких альтернатив. Реализация в стандартном и Турбо-Паскале.
- •23. Скалярные типы данных в языке Паскаль. Упорядоченные и неупорядоченные типы.
- •24. Структурный тип данных "массив". Реализация массивов переменной длины.
- •25. Правила записи программного модуля.
- •26. Основные стратегии проектирования алгоритмов, их сравнительная характеристика.
- •27. Основные декомпозиционные структуры программ. Сегменты-блоки и сегменты-процедуры, их спецификация.
- •28. Рабочий проект программы. Top-down граф.
- •29. Правила получения окончательной программы. Документация проекта.
- •30. Начальные шаги проектирования программы. Связь с внешней спецификацией. Основные варианты абстракций верхних уровней.
- •31. Процедуры языка Паскаль. Типы процедур. Правила выбора, описания и использования процедур.
- •32. Функции. Правила описания и использования.
- •33. Чистые процедуры. Правила и способы подстановки параметров. Механизм подстановки.
- •34. Структура программы. Локализация объектов.
- •35. Побочный эффект. Причины возникновения и правила предупреждения.
- •36. Цель и содержание отладки программы. Классификация ошибок. Уровни корректности программы в процессе отладки.
- •37. Основные действия при отладке. Контроль программы. Фазы контроля.
- •38. Характеристика восходящего и нисходящего способов отладки.
- •39. Локализация и исправление ошибок в процессе отладки в Турбо-среде.
- •40. Функциональное и структурное тестирование. Метод тестовых счетчиков.
- •41. Документирование программ в процессе разработки. Состав документации.
- •43. Эффективность программы. Средства стандартного и Турбо-Паскаля для повышения эффективности.
- •44. Надежность программы. Организация надежного ввода. Средства Паскаля для повышения надежности.
- •45. Эргономичность программы. Роль структурного программирования в повышении эргономичности.
- •46. Мобильность программ. Отличие версии Турбо-Паскаль от стандартного Паскаля.
- •47. Метод бисекции (деления пополам). Использование его в алгоритмах сортировки и решения уравнений.
- •48. Способы организации надежного ввода из стандартного файла, влияние на структуру программы.
- •49. Организация массива из текстового файла. Процедуры, обеспечивающие различную степень зависимости от входных данных.
- •Var f1:text
- •50. Локализация процедур Паскаля. Внешние процедуры.
- •51. Структурирование циклов. Метод объединения условий при решении задачи информационного поиска в файле.
- •53. Структурирование циклов. Метод флажка на примере организации надежного ввода с детальным анализом каждой переменной.
- •54. Организация процесса нисходящей разработки многомодульных программ. Самодокументирование процесса.
- •55. Независимость программы от данных при работе с массивами переменной длины. Обеспечение этого свойства на этапе спецификации задачи.
- •56. Экономия вычислений при суммировании рядов. Использование рекуррентных соотношений.
- •57. Метод трассировки при визуальном и компьютерном способах отладки.
37. Основные действия при отладке. Контроль программы. Фазы контроля.
Действия при отладке:
Отладка состоит из 3-х взаимосвязанных действий:
- контроль правильности программы;
- локализация ошибок, обнаруженных в процессе контроля;
- исправление ошибок.
Перечисленные действия могут многократно повторяться.
Контроль программы - важнейший этап отладки; цель его – обнаружение ошибок. Методика отладки отражает последовательность применения различных методов контроля и состоит из следующих фаз:
1) визуальный контроль текста программы;
2) синтаксический контроль;
3) контроль ограничений структурного программирования;
4) статический семантический контроль;
5) тестирование программы на специально подбираемых тестах.
С точки зрения использования ЭВМ, первая и четвертая фазы относятся к ручному контролю (без ЭВМ), вторая и пятая - к автоматическому (с использованием ЭВМ), а третья - к ручному контролю, если специальных инструментальных средств нет, и к автоматическому - в противном случае. Важно, что приблизительно 55% ошибок выявляется без применения ЭВМ в результате отладки "за столом".
Первые четыре фазы контроля являются контролем текста на конкретном языке программирования. Тестирование является контролем результатов, который базируется на спецификации задачи и логике алгоритма ее решения.
ВИЗУАЛЬНЫЙ КОНТРОЛЬ:
Визуальный контроль осуществляется путем просмотра текста алгоритма или программы с целью определения неправдоподобных или сомнительных конструкций. Этот контроль проводится по перечню шаблонных конструкций и ситуаций, которые следует проверять в программе:
1) Обращение к данным.
2) Описание данных.
3) Вычисления.
4) Операции сравнения.
5) Передачи управления.
6) Межмодульный интерфейс.
7) Инструкция ввода-вывода.
Визуальный контроль существенно сокращает время отладки и уменьшает стоимость отладки, так как помогает выявить и исправить значительную часть ошибок без выхода на машину. Часть этих ошибок предупреждается при анализе аномалий на этапе спецификации.
СИНТАКСИЧЕСКИЙ КОНТРОЛЬ:
Задачей синтаксического контроля является проверка текста программы на соответствие формальному описанию синтаксиса языка программирования. Синтаксический контроль производится с помощью системных средств отладки. Результатом работы системных средств могут быть информационные и диагностические сообщения, а также дампы (печать состояния памяти).
КОНТРОЛЬ ОГРАНИЧЕНИЙ СТРУКТУРНОГО ПРОГРАММИРОВАНИЯ :
Эта фаза контроля может быть осуществлена автоматически, о помощью ЭВМ, если в ЭВМ существуют специальные инструментальные средства. Этот контроль включает проверку правильности приме¬нения управляющих конструкций и проверку стиля программы: рельеф, выбор меток, имен переменных, наличие комментариев и т.д.
СЕМАНТИЧЕСКИЙ КОНТРОЛЬ:
Задачей семантического контроля является проверка правильности применения конструкций языка программирования и выявление в тексте программы конструкций, не формализованных в синтаксисе языка. Статический семантический контроль состоит в исследовании синтаксически правильной программы, основанном на анализе управляющих а информационных связей и выявлении в программе конструкций, сознательное использование которых маловероятно. Такой контроль обычно выявляет ошибки следующих видов:
- недостижимая инструкция, т.е. инструкция, к которой не ведет ни один путь в программе;
- неправильный порядок инструкций ввода-вывода;
- неинициированная переменная, т.е. переменная, которой не было присвоено значение хотя бы на одном пути;
- наличие переменных, которые были описаны, но не используются ни в одной инструкции;
- отсутствие изменения переменных, которые определяют условие завершения цикла.
Статический семантический контроль может быть совмещен с визуальным контролем, если нет специальных инструментальных средств для его автоматизации.