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

Question

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

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

Answer 1

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

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

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