是否有一种方法可以按功能而不是价值比较两种方法

Question

是否有一种方法可以比较两个方法是否等于函数（即它们做同样的事情），而不是按值等效（即该方法中的所有代码都是相同的）？

例如，这两种方法的编码方式不同，但执行相同的函数。

public int doIt(int a, int b) {
    a = a + 1;
    b = b + 1;
    return a + b;
}
public int doIt2(int z, int x) {
    int total = z + x + 2;
    return total;
}

我一直在寻找一种在Eclipse中进行此操作的方法，但是如果这是一个微不足道的方法，这甚至可能是感兴趣的。

Answer 1

100％的唯一方法是数学上证明

有一些方法：

1-定理证明

2-型号检查

和etc

尽管这些方法可能非常困难，但有时可能需要几天的时间才能证明这一点，即使对于琐碎的程序甚至几天才能产生足够的抽象水平。

有一些启发式方法，但显然它们不是100％准确（启发式）

一种简单的启发式方法是为1000个输入尝试这两种方法，看看结果是否相同

编辑：

这是我在Wikipedia上找到的模型检查器列表。我没有使用过任何一个，它们可能不是您想要的。

https://en.wikipedia.org/wiki/list_of_model_checking_tools

Answer 2

忽略副作用，如果对于相同的输入，将在功能上等效2个功能。

这仅适用于纯代码。一般来说，我不知道可以监视副作用，因为功能可以实现的副作用可能是什么。

注意，如果不测试所有可能的输入，就不会有一种完全验证这一点的方法。如果输入只是有限的枚举，那可能很容易。例如，如果是2个整数，则组合总数将很大。

Answer 3

通常，重构的目的是在重构之前和之后的函数相同。开发人员通常通过创建广泛的单元测试，测试正常，边缘和例外情况。

在OP的两个函数中，doIt和doIt2，鉴于任何整数输入A和B，它们通常会返回相同的答案。单位测试将证明这一点。

但是，如果A或B是Java可以存储的最大整数，MAX_VALUE怎么办？

如果a=a+1有副作用？

在这些情况下，这两个函数在表面上可能看起来相似，但是产生不同的结果。