Dentre as estruturas consideradas pela Programação Estruturada consiste em um loop controlado dentro do conceito testa e faz, ou seja, primeiro verifica a condição e se aceita, sai do loop, caso contrário, executa as instruções e volta a verificar. Trata-se da seguinte estrutura: