Vamos analisar as alternativas sobre o modelo Cleanroom para desenvolvimento de software: A) Usa-se muito teste unitário durante a codificação. - No modelo Cleanroom, o foco não está em testes unitários durante a codificação, mas sim em garantir a qualidade desde a fase de especificação. B) Especificações formais e testes estatísticos são utilizados. - Esta alternativa está correta, pois o modelo Cleanroom utiliza especificações formais e testes estatísticos para garantir a qualidade do software. C) As técnicas de Cleanroom substituem as demais técnicas da Engenharia de Software. - Isso não é verdade, pois o Cleanroom é uma abordagem que pode ser utilizada em conjunto com outras técnicas. D) Foca nas ações corretivas dos defeitos. - O modelo Cleanroom é mais proativo, focando na prevenção de defeitos do que em ações corretivas. E) Usa uma linguagem de programação específica. - O modelo Cleanroom não exige uma linguagem de programação específica; ele pode ser aplicado em várias linguagens. Portanto, a alternativa correta é: B) Especificações formais e testes estatísticos são utilizados.