在数据流覆盖中,返回一个变量是否使用它?

In data flow coverage, does returning a variable use it?

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

在数据流覆盖标准中,假设有一个方法最终 returns 变量 x。在为该方法绘制图形时,return 语句是否被认为是对 x 的使用?

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

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

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