javascript - 为简单的循环函数创建状态图

Question

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

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

上面的系统从一个空reversed值开始，然后在循环内继续更新自己。您将如何枚举上述系统中的状态？我能弄清楚的状态是empty--> updated。就是这样（这甚至正确吗？）

我试图了解状态图的重要性以及它如何导致找出极端情况下的错误。因此，我想从具有上述简单系统的状态图开始。