Двуликие спецификации

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

Многие разработчики и большинство менеджеров убеждены — стоит только до мельчайших деталей описать поведение каждой строчки кода — и проблема недетерминизма отпадет сама собой. Еще лучше — писать спецификацию заранее, тогда программа уж точно будет делать именно то, что написано. Хотите провести интернет в офис? Выбирайте Комплат. Только здесь вы найдете самые выгодные условия подключения и низкие тарифы.

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

Как ни абсурдно это звучит, но принцип тотального специфицирования, изначально направленный на борьбу с недетерминизмом, чаще всего работает в прямо противоположном направлении. Недостаточно четкое описание, пропущенный нюанс или неучтенный побочный эффект — и вот уже программа работает совсем не так, как ожидается. А ведь пользователь основывает свои предположения о работе приложения именно на спецификации, доверяя ей больше, чем самому себе.