在C＃中使用Contracts减少了单元测试的数量

Question

在C＃方法中使用Contracts.Requires和Contracts.Ensure确实会减少对这些方法的必要单元测试吗？我是否可以忽略不符合合同的值范围，或者这些值是否也应包括在单元测试中？

Answer 1

不应该，合同设计不是为了取代单元测试或任何类型的测试。前提条件和后置条件用于执行合同，但该合同的最终客户需要确保此类合同仍然存在。因此，您需要使用所有值范围保持单元测试，以确保一切都是应有的。