O do-while é uma estrutura de repetição em que o teste condicional é feito no fim, ou seja, o bloco de comandos será executado pelo menos uma vez, ...

Sim, a descrição está correta. O do-while é uma estrutura de repetição em que o bloco de comandos é executado pelo menos uma vez, independentemente do valor lógico do teste condicional. Após a primeira execução, o teste condicional é verificado, e se for verdadeiro, o bloco de comandos é executado novamente. O loop continua até que o teste condicional seja falso.