я проверкой утверждения. Произ

Автор admin Среда, 6 мая 2009 11:32

я проверкой утверждения. Производные классы играют роль субконтрагентов по отношению к своим базовым классам, потому что они должны сохранить исходный контракт между базовым классом и его клиентами. По этой причине предусловия производных классов не должны выдвигать дополнительных требований, выходящих за рамки базового контракта, а постусловия должны выполняться, по крайней мере, в заданном объеме1. С другой стороны, проверка результатов, возвращаемых клиенту, представляет собой не что иное, как тестирование, поэтому проверка постусловных утверждений в этом случае приводит лишь к дублированию усилий. Да, утверждения помогают документировать программу, но слишком многие разработчики ошибочно полагали, будто проверка постусловных утверждений способна заменить модульное тестирование. Простая система модульного тестирования Все программирование, в конечном счете, сводится к выполнению требований2. Создать требования нелегко, к тому же они могут меняться. На еженедельном совещании по проекту может выясниться, что всю неделю вы работали не совсем над тем, чего от вас хотел заказчик. Человек не может сформули