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