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

Question

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

Answer 1

不应该，合同设计无意取代单元测试或任何类型的测试。先决条件和 post 条件用于执行合同，但该合同的最终客户需要确保该合同仍然存在。因此，您需要对所有值范围进行单元测试，以确保一切正常。