问霍尔逻辑，计算前提条件
EN

Stack Overflow用户

提问于 2017-08-02 22:35:05

回答 1查看 48关注 0票数 0

if x < 15:
    x = x+1
else:
    x = 0

post条件为:q= {0 <= x <= 15}

是正确的前提条件P1 = {-1 <= x}或P2 = {0 <= x <= 15}

我该如何计算呢？

发布于 2017-08-02 23:42:28

这两个都是代码片段和后置条件的有效前置条件，因此您希望选择较弱的前置条件，在本例中是P1。(P2为x指定了一个较窄的值范围，所有这些值都在P1指定的范围内。)

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/45463788

复制

相似问题

问霍尔逻辑，计算前提条件EN