А не детали имплементации.

Практика проверки того, что не является частью конечного результата так же называется излишней спецификацией (overspecification).

Принципы юнит-тестирования.

testing