Предположения об ошибках

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

7.4.Задачи комплексной отладки программ

Основная задача комплексной отладки программ состоит в завершении разработки всего КП и в доведении его характеристик до значений, определенных требованиями технического задания.

Должны быть:

завершены и проверены сопряжение и взаимодействие по пе­редаче управления и по информации всех компонентов, входящих в КП;

проверена возможность получения в процессе рабочего функционирования КП всех характеристик, заданных требовани­ями технического задания, а также вспомогательных, обоснован­ных в техническом проекте;

проверены полнота и состав технической документации, а так­же точное соответствие ее изделию - комплексу программ.

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

1. Андерсон Р. Доказательство правильности программ: Пер. с англ. -М.: Мир, 1982. -168 с., ил.

2. Баженова И.Ю. Visual C++. Уроки программирования. – М.: Диалог-МИФИ, 1999 – 416с.

3. Бутаков Е.А. Методы создания качественного программного обеспечения ЭВМ. - М.: Энергоиздат, 1984. -232 с., ил.

4. Ван Гассел Д. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1981. -320 c., ил.

5. Волховер В.Г. , Иванов Л.Н. Производственные методы разработки программ. -М.: Финансы и статистика, 1983. -208 c., ил.

6. Гласс Р., Нуазо Р. Сопровождение программного обеспечения. -М.: Мир, 1983. -160 с., ил.

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

8. Лингер Р., Миллс Х., Уитт Б. Теория и практика структурного программирования. -М.: Мир, 1982. -408 с., ил.

9. Липаев В.В. Тестирование программ. -М.: Радио и связь, 1986. -296 c., ил.

10. Майерс Г. Искусство тестирования программ. -М.: Финансы и статистика, 1982. -176 с., ил.

11. Павловская Т.А., Щупак Ю.А. С++. Структурное программирование: Практикум. – СПб.: Питер, 2004.

12. Павловская Т.А., Щупак Ю.А. С++. Объектно-ориентированное программирование: Практикум. – СПб.: Питер, 2004.

13. Фокс Дж. Программное обеспечение и его разработка. -М.: Мир, 1985. -368 с., ил.

Оглавление

введение 3

Тема 1. понятие программного изделия 6

Тема 2. внешнее проектирование программных изделий 17

Тема 3. Внутреннее проектирование программных изделий 22

Тема 4. Структурированные программы 40

Тема 5. Методы Доказательства правильности программ 50

Тема 6. Рекурсивные программы. Методы доказательства их правильности 58

Тема 7. Отладка программ 64

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

Оглавление 84

Копирование, переиздание запрещены.

Все авторские права защищены.

Подписано в печать 13.06.2007 г.

Компьютерная верстка, издание.

Тираж 100 экземпляров. Отпечатано в типографии Нижнекамского регионального учебно-методического цента.

Лицензия на издательскую деятельность № 06157