为简单的循环功能创建状态图

Question

我有一个简单的函数，只是返回传递的字符串的镜像。代码如下：

function reverse(str){
        let reversed = "";    
        for (var i = str.length - 1; i >= 0; i--){        
            reversed += str[i];
        }    
        return reversed;
 }

以上系统以一个空的reversed值开始，并在循环内继续进行更新。您如何枚举以上系统中的状态？我可以确定的状态是empty-> updated。就是这样（这甚至正确吗？）

我试图了解状态图的重要性以及它如何导致发现带有极端情况的错误。因此，我想从一个简单的系统状态图开始。