这些要求是否正确(可变关系)

时间:2014-12-23 08:20:19

标签: variables specifications testcase requirements

书中有这样的例子:

  

在   系统应允许张贴最长边(l)所在的信封   长度大于或等于12厘米,但不超过75厘米   厘米。最小边(w)必须大于或等于1   厘米。长度必须是宽度的两倍,并且必须更大   大于或等于10厘米。措施总是四舍五入到   最近的厘米。我们可以将此要求重写为:

  • 长度> = 12
  • 长度< 75
  • width> = 1
  • 长度 - 2×宽度> = 10

我不明白最后一个要求(... l> = 10)如何与第一个要求共存(l> = 12)

我在这里错过了什么吗?

2 个答案:

答案 0 :(得分:0)

在我的解释中,引用文本与子弹中的要求有两点不同:
   - 长度必须恰好是宽度的两倍,因此l = 2 x w
   - 长度必须> = 10

答案 1 :(得分:0)

在看过原文之后,显然等式L - 2 W >= 10确实是作者的意图。这种约束是有道理的。

无论如何,有两个"错误"左:

  • 文字说明错误(应阅读"长度必须大于宽度的两倍10厘米或更多"或类似),

  • 约束L >= 12隐含W >= 1L - 2 W >= 10

以下两个表中的额外拼写错误往往会证实没有人能够完美。