Главная
Подписка на RSS-ленту
Хочешь быть в курсе?
Подпишись на RSS!


Вход для пользователей

Статистика и рейтинги

Рейтинг@Mail.ru
Индекс цитирования



Облако популярных категорий

Коммерческие предложения


Б.В. Архангельский, В.В. Черняховский, «Поиск устойчивых ошибок в программах»

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

В Капкан-Фортран программист вводит диапазоны значений, с которыми работает программа, типы этих значений, значения, которые принимают «флажки» и другую отладочную информацию. А дальше Капкан-Фортран сам ищет операторы, в которых может, допустим, встретиться деление на ноль. Впрочем, система – не панацея, поэтому в книге рассматриваются методы верификации и тестирования. Авторы указывают, что все три метода отладки программ являются не взаимозамещающими, а взаимодополняющими.

И, конечно, хотелось бы коснуться не времён издания книги (1989 год), а нашей с Вами современности. И моего любимого языка РНР. Я помню, как в начале двухтысячных я составлял первые скрипты на РНР и забывал ставить перед именами переменных знак доллара. Или вместо == при сравнении двух значений ставил = (оператор присваивания). Система вроде Капкан-Фортран, мне кажется, могла бы их выловить очень легко. Но мы же о PHP.