Em relação à regra do laço, há o conceito de invariante de l...

Em relação à regra do laço, há o conceito de invariante de laço, uma propriedade que se mostra verdadeira, cada vez que a condição do laço é avaliada, e que é igualmente verdadeira antes e depois de cada iteração do laço. A propriedade de um invariante de laço consegue ser satisfeita não importando de qual iteração do laço se parte. Quanto a essa regra, três aspectos precisam ser considerados.

Assinale a alternativa que apresenta, de forma correta, os três aspectos em questão.

a.	

Formatação, alienação e depuração.

b.	

Formulação, retenção e transmissão.

c.	

Inicialização, manutenção e terminação.

d.	

Produção, integração e ponderação.

e.	

Codificação, revisão e aplicação.