31- Em relação à garantia da qualidade do sof tware, é correto af irmar que o a) Processo Sala Limpa é a combinação das técnicas de verificação for...

31- Em relação à garantia da qualidade do sof tware, é correto af irmar que o
a) Processo Sala Limpa é a combinação das
técnicas de verificação formal de programas
(provas de corretitude) e a SQA estatística.
b) Processo Sala Limpa é a combinação das
técnicas de depuração de programas (provas
de corretitude) e a SQL estatística.
c) Processo Sala Branca é o uso alternativo das
técnicas de verif icação formal de rotinas
(provas de precisão) e a estatística matricial.
d) Processo Sala Limpa é a combinação da
concepção formal de programas (provas de
abstração) e a SQA estatística.
e) Processo da Caixa Branca é a combinação
das técnicas de verif icação formal de pro-
gramas (provas de teste beta) e a SAS esta-
tística.


a) Processo Sala Limpa é a combinação das
técnicas de verificação formal de programas
(provas de corretitude) e a SQA estatística.
b) Processo Sala Limpa é a combinação das
técnicas de depuração de programas (provas
de corretitude) e a SQL estatística.
c) Processo Sala Branca é o uso alternativo das
técnicas de verif icação formal de rotinas
(provas de precisão) e a estatística matricial.
d) Processo Sala Limpa é a combinação da
concepção formal de programas (provas de
abstração) e a SQA estatística.
e) Processo da Caixa Branca é a combinação
das técnicas de verif icação formal de pro-
gramas (provas de teste beta) e a SAS esta-
tística.