Sistemas de software estão sendo utilizados cada vez mais em áreas consideradas críticas, seja por razões de segurança, seja por razões financeiras. Assim, garantir a qualidade dos produtos de software é uma tarefa cada vez mais exigida atualmente. Teste de software é uma das áreas da engenharia de software que aborda essa questão.

Dadas as afirmativas referentes a teste de software,

I. Testes caixa preta são técnicas utilizadas para testar o software sem que necessariamente tenha-se acesso ao seu código-fonte. Porém, essas técnicas não possibilitam a identificação de falhas relacionadas a combinações de valores associados a mais de um argumento da função ao mesmo tempo.

II. Testes são uma das principais técnicas de verificação e validação (V&V) utilizadas atualmente, dispensando o uso de outras técnicas de V&V antes consideradas complementares, tais como o check-list e a execução simbólica.

III. A preocupação com os testes deve ocorrer desde o início do ciclo de vida do sistema. Em processos modernos, casos de teste podem ser especificados até mesmo durante a engenharia de requisitos, como forma de documentação dos requisitos do sistema.

IV. Apesar da sua popularidade, os testes de software não são normalmente capazes de garantir a ausência de falhas (“bugs”) no software.

verifica-se que está(ão) correta(s) apenas