In fact, unit tests are an excellent way to provide limited specification of these extra invariants.

• 实际上,单元测试是一种提供这些额外的不变量的限制规范的出色方法。