МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Федеральное государственное автономное образовательное учреждение

высшего профессионального образования

«Уральский федеральный университет имени первого Президента России Б.Н.Ельцина»

Институт радиоэлектроники и информационных технологий

Кафедра Автоматики и информационных технологий

С.П Трофимов

Алгоритмизация и основы программирования

Конспект лекций

Лекция 3

Основные понятия теории программирования

Научный редактор доц., д-р техн. наук С.В. Поршнев

Екатеринбург

2011

Оглавление

2

Библиографический список 3

1. Критерии качества программы 4

1.1. Характеристики показателей 4

1.2. Метрология программного продукта 7

1.3. Методы определения показателей качества (ГОСТ 28195-89) 8

2. Жизненный цикл программы 9

2.1. Каскадная модель жизненного цикла программы 9

2.2. Спиральная модель 10

3. Корректность программ 13

4. Тестирование и отладка программного средства (ПС) 13

4.1. Принципы и виды отладки 14

4.2. Заповеди отладки 14

5. Структурное программирование 15

6. Правила хорошего стиля программирования 18

Контрольные вопросы 21

Библиографический список

1. И. Соммервиль Инженерия программного обеспечения М.: Изд. Вильямс, 2002.

2. Г. Майерс. Надежность программного обеспечения. – М.: Мир, 1980. - С. 171-262.

3. Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. – М.: Мир, 1985. - С. 179-295.

4. Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. – М.: Мир, 1980. - С. 254-268.

5. Дж. Фокс. Программное обеспечение и его разработка. – М.: Мир, 1985. - С. 227-241.

6. М. Зелковиц, А. Шоу, Дж. Гэннон. Принципы разработки программного обеспечения. - М.: Мир, 1982. - С. 105-116.

7. Ю.М. Безбородов. Индивидуальная отладка программ. – М.: Наука, 1982. - С. 9-79.

8. В.В. Липаев. Тестирование программ. – М.: Радио и связь, 1986. - С. 15-47.

9. Е.А. Жоголев. Введение в технологию программирования (конспект лекций). – М.: "ДИАЛОГ-МГУ", 1994.

10. Э. Дейкстра. Заметки по структурному программированию. //У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. – М.: Мир, 1975. - С. 7-13.

11. Boehm C., Jacopini G. Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules // Communications of the ASM. 1966. 9. P.366-371.

1. Критерии качества программы

Когда мы говорим "хорошая программа" или "качественный программный продукт" мы подразумеваем, что он обладает такими свойствами как безотказная работа, удобный интерфейс, приятный внешний вид и т.д. Официально определение качества программного продукта дает ГОСТ 28195-89 "Оценка качества программных средств".

ГОСТ 28195-89 определяет качество программного продукта как комплекс характеристик – показателей качества программных средств.

Показатели сгруппированы в иерархическую структуру, которая содержит 2 уровня.

На первом уровне перечисляются комплексные показатели, а на втором – составляющие комплексного показателя.

1.1. Характеристики показателей

1. Показатели надежности

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

1. Устойчивость функционирования

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

Пример. После неожиданного отключения питания операционная система Windows 98, 2000, NT выполняет проверку дисков и исправляет найденные ошибки. Если какой-либо программный продукт "повис", можно отменить его выполнение и нормально работать дальше.

2. Работоспособность

Способность программы функционировать в заданных режимах и объемах обрабатываемой информации в соответствии с программными документами при отсутствии сбоев технических средств.