Вопросы безопасности

□ Действительно ли код, проверяющий некорректные входные данные, контролирует попытки переполнения буфера, внедрения SQL- и HTML-кода, переполнения целых чисел и других злонамеренных действий?

□ Все ли ошибочные коды возврата проверяются?

□ Все ли исключения перехватываются?

□ Не содержат ли сообщения об ошибках информацию, которая может помочь злоумышленнику взломать систему?

Дополнительные ресурсы

Просмотрите следующие ресурсы по защитному программированию. http: cc2e.coffl/0875

Безопасность

Howard, Michael, and LeBlanc David. Writing Secure Code, 2d ed. Redmond, WA: Microsoft Press, 2003. Авторы обсуждают важность вопроса доверия ко входным данным для безопасности системы. Книга открывает глаза на то, какими многочисленными способами может быть нарушена работа программы. Некоторые из них связаны с проектированием, но большинство - нет. Книга охватывает весь диапазон вопросов о требованиях к системе, проектировании, кодировании и тестировании.

Утверждения

Maguire, Steve. Writing Solid Code. Redmond, WA: Microsoft Press, 1993. Глава 2 содержит отличное обсуждение вопросов применения yi верждений, в том числе несколько интересных примеров утверждений из широко известных продуктов Microsoft.

Stroustrup, Bjarne. The С++ Programming Language, 3d ed. Reading, MA: Addison-Wesley 1997. В разделе 24.3.7.2 описано несколько вариантов реализации утверждений в С++, включая взаимосвязь утверждений и пред- и постусловий.

Meyer, Bertrand. Object-Oriented Software Construction, 2d ed. New York, NY: Prentice Hall PTR, 1997. Эта книга содерж1тг наиболее гюлное обсуждение пред- и посауоювий.

Исключения

Meyer, Bertrand. Object-Oriented Software Construction, 2d ed. New York, NY Prentice Hall PTR, 1997. Глава 12 содержит подробное обсуждение обработки исключений.

Stroustrup, Bjarne. The С- Programming Language, 3d ed. Reading, MA: Addison-Wesley, 1997. В главе 14 подробно обсуждается обработка исключений на С++. Раздел 14.11 содержит отличное резюме, состоящее из 21 совета по использованию исключений в С++.

Meyers, Scott. More Effective С++.- 35 New Ways to Improve Your Programs and Designs. Reading, MA: Addison-Wesley 1996. В темах 9-15 описаны разнообразные нюансы по обработке исключений в С++.

Arnold, Ken, James Gosling, and David Holmes. The Java Programming Language, 3d ed. Boston, MA: Addison-Wesley 2000. Глава 8 содержит обсуждение обработки исключений на Java.

Bloch, Joshua. Effective Java Programming Language Guide. Boston, MA: Addison-Wesley, 2001. В темах 39-47 описаны нюансы обработки исключений на Java.

Foxall, James. Practical Standards for Microsoft: Visual Basic NET. Redmond, WA: Microsoft Press, 2003. В главе 10 описана обработка исключений на Visual Basic.

Ключевые моменты

Промышленный код должен обрабатывать ошибки более изощренно, чем по принципу «мусор на входе - мусор на выходе».

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

Выбор способа обработки некорректных входных данных - это ключевое решение обработки ошибок, принимаемое на этапе высокоуровневого проектирования.

Исключения предоставляют возможность обработки ошибок в измерении, отличном от нормального хода алгоритма. Если они используются с осторожностью, то являются важным дополнением в интеллектуальном инструментальном наборе программиста. Применять их следует после сравнения с другими технологиями обработки ошибок.

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

ГЛАВА

Процесс программирования с псевдокодом

Содержание

. , http: cc2$.confi/O036

9.1. Этапы создания классов и методов

9.2. Псевдокод для профи

9.3. Конструирование процедур с использованием ППП

9.4. Альтернативы ППП

Связанные темы

Создание высококачественных классов: глава 6

Характеристики высококачественных методов: глава 7

Проектирование при конструировании: глава 5

Стиль комментирования: глава 32

Всю эту книгу можно рассматривать как подробное описание процесса программирования, в результате которого создаются классы и методы, и в данной главе этапы этого процесса рассматриваются во всех деталях. Здесь описывается «программирование в малом» - конкретные шаги построения отдельных классов и составляющих их методов, шаги, неизбежные в проекте любого размера. В этой главе также рассмотрен процесс программирования с псевдокодом (ППП, Pseudocode Programming Process), уменьшающий объем работы по проектированию и документированию и улучшающий качество и первого, и второго.

Если вы опытный программист, можете пропустить эту главу, но взгляните на обзор этапов и просмотрите советы по конструированию методов с помощью ППП в разделе 9.3. Некоторые программисты применяют описываемый процесс на полную, поскольку он приносит большую выгоду.

ППП - это не единственная процедура создания классов и методов. В разделе 9.4 описаны наиболее популярные альтернативные подходы, включая разработку с изначальными тестами и проектирование по контракту.