testing - 在数据流覆盖中，返回一个变量是否使用它？

Question

我心里有个小问题。我在 Internet 上对其进行了研究，但没有人提供确切的答案。我的问题是:

在数据流覆盖标准中，假设有一个方法最终返回变量x。在绘制该方法的图形时，该返回语句是否被视为 x 的使用？

Answer 1

是的，return 语句使用它返回的值。我也找不到权威的引用资料用简单的英语这样说，但这里有两个论点:

• return 语句将控制从程序的一部分传递到另一部分，就像方法调用一样。返回的值类似于函数参数。 return 因此是一种用途，就像作为函数参数是一种用途一样。

• 数据流分析中的另一种用途是当值离开程序并对外部世界产生某些影响时，例如通过打印。如果我们正在分析一个方法，而不是整个程序，return 会导致值离开我们正在分析的范围。因此，出于与打印是一种用途相同的原因，它也是一种用途。