Ограничения классов и границ

Техника держится на допущении, что внутри класса система ведёт себя одинаково. Если классы выделены только по требованиям, а в коде есть своя ветка, например особая обработка для оптовых количеств, мы её пропустим. Требования молчат про неявные границы: тип int, длина varchar, лимит размера тела запроса у прокси. Их ищут по документации API, схеме БД, вопросам разработчикам. Когда поля зависят друг от друга, например лимит перевода зависит от статуса клиента, границы одного поля плавают, и нужны таблицы решений. Для неупорядоченных данных вроде списка городов границ просто нет. Если результат зависит от истории, нужны переходы состояний. И главное: техника проверяет описанное, но не найдёт то, чего в требованиях забыли.