【问题标题】:Are these requirements correct (variable relations)这些要求是否正确(变量关系)
【发布时间】:2014-12-23 08:20:19
【问题描述】:

一本书中有这个例子,正在阅读:

系统应允许投寄最长边 (l) 为 长于或等于 12 厘米,但不超过 75 厘米。最小边 (w) 必须大于或等于 1 厘米。长度必须是宽度的两倍并且必须更大 大于或等于 10 厘米。措施总是四舍五入到 最近的厘米。我们可以把这个要求改写为:

  • 长度 >= 12
  • 长度
  • 宽度 >= 1
  • 长度 - 2 x 宽度 >= 10

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

我错过了什么吗?

【问题讨论】:

    标签: variables specifications testcase requirements


    【解决方案1】:

    看过原文后,很明显等式L - 2 W >= 10确实是作者的本意。这个约束是有道理的。

    反正还有两个“bug”:

    • 文字说明错误(应为“长度必须大于宽度的两倍乘以 10 厘米或更多”或类似内容),

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

    以下两个表格中的一个额外的错字往往会证实没有人是完美的。

    【讨论】:

      【解决方案2】:

      在我的解释中,引用的文本和项目符号中的要求有两个区别:
      - 长度必须是宽度的两倍,所以 l=2 x w
      - 长度必须 >= 10

      【讨论】:

      • 嗯,它的意思是“宽度的两倍并且必须大于或等于 10”
      • 我倾向于说错误出在书的一边。 L = 2 x W 太严格了,使得 W >= 1 无关紧要。
      • @user144171:是的,但我会说 AND 指的是长度,而不是长度和宽度的两倍之差。
      • @YvesDaoust:我还要说书中的要求并不完美(可能是错误的)。因为通常你想表达你的信封应该有一定的矩形度以便于处理,但你不想要完全矩形的信封。只是想指出文本和项目符号之间的区别
      • 在这种情况下,如果 L 必须 > 12(第一个要求)并且现在必须 > 10,也没有意义。
      猜你喜欢
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2013-03-07
      • 1970-01-01
      • 1970-01-01
      • 2019-09-15
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多