java比较两个数的函数_java – 有没有办法按函数而不是值比较两个方法？

参见英文答案 > Is finding the equivalence of two functions undecidable?                                    9个

有没有办法比较两个方法是否等效于函数(即它们做同样的事情)而不是等价值(即方法中的所有代码是相同的)？

例如,这两种方法的编码方式不同,但执行相同的功能.

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中寻找一种方法来做到这一点,但我感兴趣的是,除了一个简单的方法之外,这甚至是可能的.

解决方法:

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

有办法：

等等

虽然这些方法可能非常困难,但有时甚至可能需要数天时间才能证明它甚至是琐碎的程序甚至是几天来产生足够的抽象级别.

有一些启发式方法,但显然它们不是100％准确(启发式)

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

编辑：

这是我在维基百科上找到的模型检查器列表.我没有使用它们,它们可能不是你想要的.

标签：java,compare

来源： https://codeday.me/bug/20190608/1197724.html