São axiomas em risco

a) É impossível testar um programa completamente. Teste de software é um exercício baseado em certezas. Quanto menos bugs forem encontrados, mais bugs existirão.
b) É possível testar um programa completamente. Teste de software não pode ter riscos. Quanto mais breaks forem encontrados, mais breaks existirão.
c) É impossível testar um programa completamente. Teste de software é um exercício baseado em risco. Quanto mais bugs forem encontrados, mais bugs existirão.
d) É impossível testar um programa que tenha riscos. Teste de software deve ser feito pelos seus desenvolvedores. Todos os bugs encontrados serão consertados.
e) É impossível testar um programa parcialmente. Teste de software aplica-se unicamente a ambientes sem risco. Quanto mais bugs forem encontrados, menos bugs existirão.