Na execução do comando while o teste da condição que controla a execução, ou não, dos comandos subordinados, é feito, sempre, antes de cada iteração. Desta forma, é correto afirmar que:

A condição de teste deverá ser sempre verdadeira antes do início da execução.
Os comandos subordinados serão executados no mínimo uma vez.
Os comandos subordinados poderão não ser executados.
A condição de teste deverá ser sempre falsa antes do início da execução.
Independentemente da condição de teste, os comandos subordinados sempre serão executados.