As inspeções formais são usadas na prática hoje?

As inspeções do Fagan destinam-se a detectar erros nas fases iniciais de um processo explicitamente em cascata, de modo que é menos provável que a equipe tenha que recuar no processo para corrigir erros, porque isso é extraordinariamente caro.

No entanto, se você está escrevendo algo que deve funcionar corretamente no primeiro tempo, um processo em cascata e inspeções Fagan são o caminho a percorrer. Espero que eles ainda sejam amplamente praticados em organizações como a NASA e a aeronáutica. Uma vez eu conversei com um programador da Honeywell e ele comentou que passou tanto tempo em inspeções que teve a sorte de escrever uma função por dia, mas que uma função era tão bem especificada e revisada que era virtualmente impossível que ela ficasse incorreta. . (Observe o "praticamente" na frase. O Mars Polar Lander e o voo inaugural Ariane 5 são exemplos famosos onde até mesmo esse nível de inspeção falhou.)

Sim, eu diria que é o que é normalmente conhecido como teste de unidade - não revisão de código.

Do artigo da Wikipédia vinculado: "Inspeção Fagan define um processo como uma determinada atividade com um critério de entrada e saída pré-especificado. Em cada atividade ou operação para os quais critérios de entrada e saída são especificados, as Inspeções Fagan podem ser usadas para validar se a saída do processo está em conformidade com os critérios de saída especificados para o processo. "

A unidade testa unidades de teste de código por critérios de entrada e saída pré-especificados. Note que não no artigo em que diz que a 'revisão' tem que ser realizada por um código de leitura humana com os olhos. É explicitamente sobre a comparação de entrada e saída, e não diz nada sobre como um pedaço de código é bem escrito. O teste de unidade é uma maneira automatizada de revisar se um trecho de código com uma entrada pré-especificada cumpre os critérios de saída pré-especificados.

Então, sim, muitos desenvolvedores de software fazem inspeções Fagan - mas essas não são revisões de código, elas são testes de unidade.