Diversas técnicas são utilizadas no processo de qualidade de software. Elas podem ser classificadas em três categorias: estáticas, analíticas e dinâmicas. A esse respeito, analise as seguintes proposições.
- Revisões (documentação/código) e auditorias são técnicas estáticas.
- Prova de corretude e model checking são técnicas da área de métodos formais, que podem ser classificadas como analítica e dinâmica, respectivamente.
- Algumas técnicas podem se enquadrar em mais de uma categoria.
Está(ão) correta(s):
Provas
Questão presente nas seguintes provas
