Questão número 603897

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.