Geralmente, as revisões técnicas formais são métodos que buscam encontrar falhas na qualidade do software, mas são extremamente demoradas e caras. ...

Geralmente, as revisões técnicas formais são métodos que buscam encontrar falhas na qualidade do software, mas são extremamente demoradas e caras. Em que tipo de software o uso de métodos formais é indispensável?
A revisão técnica formal é indispensável em sistema de segurança crítica, pois esse tipo de software não deve apresentar falhas, uma vez que esses sistemas envolvem impactos na segurança de pessoas, negócios ou meio ambiente.
O uso de revisão técnica formal é indispensável em sistema de segurança crítica, pois esse tipo de software não deve apresentar falhas, uma vez que envolve impactos na segurança de pessoas, negócios ou meio ambiente. Por demandar alto investimento de tempo e de dinheiro, nem todos os softwares podem passar por esse tipo de revisão. Por esse motivo, softwares mais simples, como, por exemplo, um software de gestão ou um sistema de monitoramento de segurança, podem passar por outras formas de revisão, a fim de minimizar problemas, mas não demandam o rigor de uma revisão técnica formal. Além disso, é importante ressaltar que a aplicação da RTF acontece após o término de cada artefato de software, não na fase de testes.
a) I e II estão corretas.
b) Apenas a afirmativa II está correta.
c) Apenas a afirmativa I está correta.