Создание диаграммы состояний для простой функции цикла

Question

У меня есть простая функция, просто возвращающая зеркальное отображение переданной строки.Код выглядит следующим образом:

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

Приведенная выше система начинается с пустого значения reversed и продолжает обновляться внутри цикла.Как бы вы перечислили состояния в вышеуказанной системе?Состояния, которые я мог бы выяснить: empty -> updated.Вот и все (это даже правильно?)

Я пытаюсь понять важность диаграмм состояний и то, как это может привести к обнаружению ошибок с угловыми случаями.Поэтому я хотел бы начать с диаграммы состояний с простой системой, описанной выше.