在单元测试中使用代码契约

时间:2015-04-02 15:37:33

标签: visual-studio unit-testing code-contracts

您认为在单元测试中使用代码合同是否明智? 我不认为这是因为它就像创建单元测试来测试你的单元测试一样。 因此,我不会激活代码合同静态检查,也不会激活单元测试项目的运行时检查。

为了澄清,我想特别想知道您是否会在单元测试中编写代码合同代码。

2 个答案:

答案 0 :(得分:1)

我认为为单元测试启用代码合同是个好主意,然后在运行测试时可以捕获任何合同失败。

然而,除了测试方法使用的辅助方法之外,在测试方法本身中进行任何合同检查通常没有用。

答案 1 :(得分:0)

Improved testability

•每个合同都充当oracle,为测试运行提供通过/失败指示。

•自动测试工具,例如Pex,可以利用合同通过过滤掉无法满足前提条件的无意义测试参数来生成更有意义的单元测试。