Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные и начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ подкрепляется примерами создания программ, в которых тестирование выступает как неотъемлемый аспект разработки программы. Отдельная глава посвящена подробному описанию отладочных средств системы Турбо Паскаль, широко используемой в школах и вузах для обучения программированию.br /nbsp;Для тех, кто изучает и учит программированию: старшеклассников, студентов, преподавателей вузов, учителей; также полезна и для профессиональных программистов.

Введение......5Глава 1. В каком случае программа содержит ошибку?......7Глава 2. Минимальные требования к программе: функциональность и удобство использования......9Глава 3. Понятия тестирования и отладки......10Глава 4. Принципы тестирования......11Глава 5. Понятие полноты тестирования......15Глава 6. Критерии черного ящика......18Глава 7. Критерии белого ящика......22Глава 8. Минимально грубое тестирование......27Глава 9. Ошибкоопасные ситуации......329.1. Обращение к данным......329.2. Вычисления......369.3. Передача управления......459.4. Подпрограммы......479.5. Файлы......50Глава 10. Безмашинное тестирование......53Глава 11. Пример тестирования несложной программы......56Глава 12. Порядок работы над программой......67Глава 13. Нисходящее тестирование......68Глава 14. Оценка количества ошибок в программе......7114.1. Модель Миллса......7114.2. «Парная» оценка......7814.3. Исторический опыт......79Глава 15. Оценка количества необходимых тестов......81Глава 16. Отладка......8416.1. Место проявления ошибки и место нахождения ошибки......8416.2. Отладочные операторы......8516.3. Индуктивный и дедуктивный методы поиска ошибки. Ретроанализ......8916.4. Принципы отладки......9216.5. Анализ обнаруженной ошибки......93Глава 17. Отладочные средства системы Турбо Паскаль......9417.1. Перечень отладочных средств Турбо Паскаля......9417.2. Пошаговое выполнение программы......9617.3. Контрольные точки......9817.4. Просмотр и вычисление значений переменных и выражений......10317.5. Наблюдение за стеком вызванных подпрограмм......10717.6. Локальное меню окна редактирования программы......109Глава 18. Еще один пример тестирования программы......11018.1. Построение тестов для критериев черного ящика......11018.2. Написание текста программы......11818.3. Подготовка к тестированию по критериям белого ящика......12218.4. «Сухая прокрутка»......12318.5. Отладка на компьютере......15018.6. Уроки данного примера......160Глава 19. Что еще можно проверить в программе?......162Заключение......165Что читать дальше?......167