Исправление www_linux_org_ru, (текущая версия) :
по дискуссии на тему «встроенные ли должны быть тесты» — во всяком случае, инварианты и постусловия точно должны быть встроенные (а заодно и предусловия); иногда они маппятся 1 к 1 на тесты, но отнюдь не всегда
пример использования видимо тоже должен быть встроенным (а это практически готовый тест)
Исходная версия www_linux_org_ru, :
по дискуссии на тему «встроенные ли должны быть тесты» — во всяком случае, инварианты и постусловия точно должны быть встроенные (а заодно и предусловия); иногда они маппятся 1 к 1 на тесты, но отнюдь не всегда