Эта книга – для программистов, причём она будет полезна как начинающим, так и опытным специалистам этой отрасли. С синтаксическими ошибками всё понятно, их легко обнаруживает сама среда программирования. А как быть с семантическими? Авторы книги приводят каталог из 47 видов ошибок, разделённых по трём уровням сложности выявления. Например, наличие знаменателей, способных обратиться в ноль, неправильное употребление вложенных операторов IF или незавершённость вычислительного процесса (зацикливание). И если со случаями, когда программа завершается корректно, но показывает неверные результаты, должен разбираться сам программист, то с ошибками из каталога может разобраться система отладки программ методом поиска устойчивых ошибок Капкан-Фортран (для языка Фортран).
В Капкан-Фортран программист вводит диапазоны значений, с которыми работает программа, типы этих значений, значения, которые принимают «флажки» и другую отладочную информацию. А дальше Капкан-Фортран сам ищет операторы, в которых может, допустим, встретиться деление на ноль. Впрочем, система – не панацея, поэтому в книге рассматриваются методы верификации и тестирования. Авторы указывают, что все три метода отладки программ являются не взаимозамещающими, а взаимодополняющими.
И, конечно, хотелось бы коснуться не времён издания книги (1989 год), а нашей с Вами современности. И моего любимого языка РНР. Я помню, как в начале двухтысячных я составлял первые скрипты на РНР и забывал ставить перед именами переменных знак доллара. Или вместо == при сравнении двух значений ставил = (оператор присваивания). Система вроде Капкан-Фортран, мне кажется, могла бы их выловить очень легко. Но мы же о PHP.