c#-4.0 - 单元测试代码契约(Contract)

Question

我只是在玩.Net 4.0中的代码契约，并且一定会遗漏一些明显的东西，因为它们的行为不像我期望的那样。

我一直使用简单的if ... then .. throw语句在函数开始时执行任何验证。

if (hours < 0 || hours > 8)
    throw new ArgumentOutOfRangeException("hours", "Hours must be between 0 and 8");

我已经简单地替换为

Contract.Requires<ArgumentOutOfRangeException>(hours >= 0 && hours <= 8, "Hours must be between 0 and 8");

但这似乎从未对我的单元测试造成任何问题。

    public static DurationUnit HoursAsDuration(int hours)
    {
        Contract.Requires<ArgumentOutOfRangeException>(hours >= 0 && hours <= 8, "Hours must be between 0 and 8");

        switch (hours)
        {
            case 1:
            case 2:
                return DurationUnit.Quarter;
            case 3:
            case 4:
                return DurationUnit.Half;
            case 5:
            case 6:
                return DurationUnit.ThreeQuarter;
            case 7:
            case 8:
                return DurationUnit.Full;
            default:
                return DurationUnit.None;
        }
    }

    [Test]
    public void CanConvertToDuration()
    {
        Assert.AreEqual(DurationUnit.None, DateTimeUtility.HoursAsDuration(0));
        Assert.AreEqual(DurationUnit.Quarter, DateTimeUtility.HoursAsDuration(1));
        Assert.AreEqual(DurationUnit.Quarter, DateTimeUtility.HoursAsDuration(2));
        Assert.AreEqual(DurationUnit.Half, DateTimeUtility.HoursAsDuration(3));
        Assert.AreEqual(DurationUnit.Half, DateTimeUtility.HoursAsDuration(4));
        Assert.AreEqual(DurationUnit.ThreeQuarter, DateTimeUtility.HoursAsDuration(5));
        Assert.AreEqual(DurationUnit.ThreeQuarter, DateTimeUtility.HoursAsDuration(6));
        Assert.AreEqual(DurationUnit.Full, DateTimeUtility.HoursAsDuration(7));
        Assert.AreEqual(DurationUnit.Full, DateTimeUtility.HoursAsDuration(8));

        //Would expect this to cause an issue
        Assert.AreEqual(DurationUnit.None, DateTimeUtility.HoursAsDuration(9));
    }

测试返回true，但是我希望代码协定停止将“9”的值输入到switch语句中。这是预期的行为吗？

Answer 1

如果您的函数规范以英语表示，则它接受hours的任何值并在hours不在0..8范围内时引发异常，则其契约(Contract)(以代码契约(Contract)语言表示)不是要求hours来执行。介于0到8之间。正确的翻译是该函数不需要任何内容​​，并且可以确保如果hours在错误的范围内，则引发异常，并且可以确保如果hours在正确的范围内，则正确的计算已完成。

我希望有一种方法可以在代码契约(Contract)中表达这些内容，但是我对这种契约(Contract)语言并不熟悉，只对另一种语言很熟悉。但是，其原理是相同的:如果您希望将支票包含在生产版本中，则支票的条件不是前提条件。另一方面，契约(Contract)可以(应该)表示已进行检查，并且每种情况都得到了适当的处理。