Revisões das técnicas Formais e de software

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Revisões das técnicas Formais e de software
1. Geralmente, as revisões técnicas formais são métodos que buscam encontrar falhas na qualidade do software, mas são extremamente demoradas e caras. Em que tipo de software o uso 
de métodos formais é indispensável? 
R: E. A revisão técnica formal é indispensável em sistema de segurança crítica, pois esse tipo de software não deve apresentar falhas, uma vez que esses sistemas envolvem impactos na 
segurança de pessoas, negócios ou meio ambiente.
O uso de revisão técnica formal é indispensável em sistema de segurança crítica, pois esse tipo de software não deve apresentar falhas, uma vez que envolve impactos na segurança de 
pessoas, negócios ou meio ambiente. Por demandar alto investimento de tempo e de dinheiro, nem todos os softwares podem passar por esse tipo de revisão. Por esse motivo, softwares mais simples, como, por exemplo, um 
software de gestão ou um sistema de monitoramento de segurança, podem passar por outras formas de revisão, a fim de minimizar problemas, mas não demandam o rigor de uma revisão 
técnica formal.Além disso, é importante ressaltar que a aplicação da RTF acontece após o término de cada artefato de software, não na fase de testes.
2. Os métodos de revisão técnica formal (RTF) são fundamentais para minimizar defeitos futuros em um software. Qual a relação entre a revisão e o custo do produto?
R: A. As RTF são úteis para corrigir erros do software enquanto o produto ainda se encontra em desenvolvimento, o que diminui o custo de reparo. ​​​​​​​
As RTF são úteis para corrigir erros do software enquanto o produto ainda se encontra em desenvolvimento, diminuindo o custo de reparo.
Os métodos de revisão formal são aplicados após o término de um artefato do software. Isso significa que essas revisões acontecem durante a fase de desenvolvimento do produto, 
ajudando a reduzir a possibilidade de defeitos ao final. Existe uma relação inversamente proporcional entre o custo das revisões e o custo de correção de erros no final do 
desenvolvimento do software, já que, quanto maior a energia da equipe para as revisões, menor será a quantidade de erros deixada para as próximas fases e, consequentemente, menor 
será o custo de correção.
3. Há uma série de técnicas de revisão, formais e informais, para minimizar os erros de um produto de software. Cada uma delas pode ser usada em determinados contextos. Qual das 
alternativas explicita um cenário próximo do real a respeito do uso de inspeções e de pair review?
R: B. Uma empresa está trabalhando em um software que necessita de revisões, dispondo de tempo e equipe limitados. Para os artefatos mais críticos, a empresa utilizará a técnica de 
inspeções e, para os menos críticos, a pair review. ​​​​​​​
O caso mais próximo do real é: uma empresa está trabalhando em um software que necessita de revisões, dispondo de tempo e equipe limitados. Para os artefatos mais críticos, a empresa 
utilizará a técnica de inspeções e, para os menos críticos, a pair review. O uso de inspeções é uma técnica que demanda investimentos da equipe através da revisão dos artefatos, 
envolvendo uma série de procedimentos estruturados. Optar por pair review para os artefatos menos críticos é importante, pois garante que erros sejam corrigidos, mesmo usando uma 
técnica menos formal, se comparada às inspeções. ​​​​​​​
​​​​​​​
4. Avaliar a densidade de erros de um artefato é uma das métricas importantes para a revisão técnica formal. Nesse sentido, considere que um certo artefato de software apresentou 25 
erros secundários e 5 erros graves, em 10 diagramas UML e 23 páginas. Qual é a densidade de erros desse artefato?
R: A. 3 erros por diagrama UML e 1,3 erros por página. ​​​​​​​
Considerando as fórmulas, tem-se:
Errtot= Errsec + Errgraves.
25+ 5 = 30.
Densidade de erros = Errtot / TAS.
30/10 = 3.
30/23 = 1,3.
5. O tempo é sempre um problema para o desenvolvimento de software e, muitas vezes, por esse motivo, as RTF são deixadas de lado. Nesse contexto, aplicar revisões por amostragem 
pode ser uma solução. Considerando um artefato de software que apresentou 4 erros em uma amostra que corresponde a 1/6 do artefato, qual a quantidade esperada de erros?
R: B. A quantidade esperada de erros no artefato é de, aproximadamente, 24,00 erros. ​​​​​​​
Considerando que 16,66% equivale a, aproximadamente, 1/6 do artefato, tem-se:
1/0,1666 = 6,00 onde 1 é = a 100% do artefato.
6,00 x 4 = 24.