java - 代码匹配算法

Question

我有两个 java 源代码文件做同样的事情，给出相同的输出。它们包含的代码略有不同，如下例所示。我需要一种算法来确定这两个 Java 代码文件之间的相似率。

示例

/* First file */
public int inc (int n) {
    return ++n;
}

/* Second file */
public int inc (int n) {
    return (n+1);
}

是否有算法表明这两个文件做同样的事情？

提前致谢

Answer 1

正如艾伦图灵将近一个世纪前所证明的那样，不存在甚至可以确定函数的计算是否会在有限时间内完成的通用算法(参见停机问题)。

这意味着没有通用的算法可以决定两段代码是否具有相同的输出。另一方面，如果您假设函数总是在有限的时间内完成，那么可以执行您想要的操作的简单算法就是针对所有可能的输入简单地运行相关代码。