我只是在玩.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语句中。这是预期的行为吗?
最佳答案
如果您的函数规范以英语表示,则它接受hours
的任何值并在hours
不在0..8范围内时引发异常,则其契约(Contract)(以代码契约(Contract)语言表示)不是要求hours
来执行。介于0到8之间。正确的翻译是该函数不需要任何内容,并且可以确保如果hours
在错误的范围内,则引发异常,并且可以确保如果hours
在正确的范围内,则正确的计算已完成。
我希望有一种方法可以在代码契约(Contract)中表达这些内容,但是我对这种契约(Contract)语言并不熟悉,只对另一种语言很熟悉。但是,其原理是相同的:如果您希望将支票包含在生产版本中,则支票的条件不是前提条件。另一方面,契约(Contract)可以(应该)表示已进行检查,并且每种情况都得到了适当的处理。
关于c#-4.0 - 单元测试代码契约(Contract),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5166006/