São exemplos de abordagens formais de análise da qualidade de software:

✂️ a) revisão técnica formal, declaração de dados e prova de corretitude.

✂️ b) métrica de McCabe, walkthrough e análise de casos de uso.

✂️ c) declaração de dados, garantia estatística de qualidade e análise de casos de uso.

✂️ d) prova de corretitude, garantia estatística de qualidade e processo sala-limpa.

✂️ e) análise de MTBF, análise de casos de uso e processo sala-limpa.

Responda: São exemplos de abordagens formais de análise da qualidade de software: