Контроль ПО

Ошибки

Отношение и эффективность.

Выбор и обоснование языка программирования.

Отступы.

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

Комментарии

Стиль программирования

Программы должны составляться так, чтобы их могли прочитать люди.

Правило стандартизации стиля: если существует более одного способа сделать что – либо и выбор произвольный, остановись на одном способе и всегда его придерживайся.

Комментировать нужно в процессе написания программы. Делайте комментариев больше, чем это кажется необходимым.

Три типа комментариев:

Вводные комментарии. Минимальная информация в вводных комментариях должна включать:

· Назначение программы.

· Указания по вызову программы и ее использованию.

· Список и назначение основных переменных или массивов.

· Указание по вводу – выводу. Список всех файлов.

· Список используемых подпрограмм.

· Назначение применяемых математических методов.

· Требуемый объем памяти.

· Специальные указания оператору.

· Сведения об авторе.

· Дату написания программы.

Пояснительный комментарий. Пояснениями нужно сопровождать те части программы, которые трудно понять без комментариев

Расположение комментариев. Комментарии легче читаются, если они отделяются пустыми строками.

Имена переменных. Имена переменных должны наилучшим образом определять те величины, которые они представляют.

Имена файлов:

• Использование одних и тех же имен для одинаковых файлов в различных программах, обеспечивает быструю узнаваемость.
• Иногда использование префикса, помогает определять, какие поля связаны логически.
• При выборе имен записей используйте имена, ориентированные на содержание записи, а не на конкретное задание.

Программа должна быть существенно коммуникативна.

Трансляция - один из способов преодолеть “языковый” барьер.

Языки высокого уровня обладают рядом достоинств:

a) Средства, предоставляемые языком, позволяют удовлетворить потребности конкретной прикладной области.

b) В визуальном отношении программа должна быть такой, чтобы ее легко было читать, и чтобы была ясна ее структура.

c) В язык могут быть (и даже должны быть) встроены средства, помогающие выявлять и предупреждать ошибки.

Первый тип – это часто используемые программы.

Второй тип – производственные программы, написанные профессиональными программистами.

Третий тип – программы, написанные не программистами, а научными.

Лекция 10 «Виды ошибок. Основные принципы отладки ПС»

Виды ошибок:

1. Ошибки в описании задачи
2. Ошибки в выборе алгоритма
3. Ошибки анализа
4. Ошибки общего характера
5. Синтаксические ошибки.
6. Семантические ошибки.
7. Ошибки в данных

Виды контроля ПО:

Визуальный контроль - это проверка программ без использования компьютера.

Статический контроль - это проверка программы по ее тексту без выполнения с помощью инструментальных средств.

Формы статического контроля:

1. синтаксический контроль программы с помощью компилятора.

2. контроль правдоподобия программы.

Дата добавления: 2014-01-07