A programação estruturada fundamenta-se em um grupo
básico de estruturas lógicas, através das quais é possível
suprir as necessidades lógicas em uma programação. Uma
dessas estruturas realiza um teste para verificar se foi
satisfeita uma condição e, em caso negativo, executa uma
ou um conjunto de instruções, voltando em seguida o teste
para verificar se foi satisfeita condição, e novamente
voltando a executar as instruções em caso negativo, e
assim sucessivamente até que a condição seja satisfeita
(testa e depois executa). A estrutura constante da técnica
de programação estruturada, que funciona de acordo com
o enunciado acima, denomina-se: