Uma empresa de governança em TI implementou uma rotina de verificação de segurança em um sistema que depende de uma cadeia de módulos numerados de 1 a 23. O analista de sistema responsável percebeu que o módulo 23 estava funcionando corretamente, e que se qualquer módulo N_{0} funciona corretamente, então o módulo anterior também funciona. Com este cenário, o analista de sistemas pode concluir que todos os módulos funcionam corretamente. Essa metodologia de verificação é conhecida como Princípio da Regressão, o qual:
(A) assume o funcionamento do módulo de maior número e demonstra, por implicação reversa, que os anteriores também funcionam, até alcançar o primeiro.
(B) estabelece que, se um módulo inicial funciona e todos os sucessores também funcionam, então todos os módulos seguintes são válidos.
(C) é uma prova com características indutivas matematicamente, mostrando a unicidade de cada teste de forma independente.
(D) parte do princípio de que se um módulo n qualquer funciona, conclui-se diretamente que todos os módulos N>n também funcionam.
(E) por conta da indução matemática no conjunto dos números naturais, torna essa propriedade válida apenas para conjuntos infinitos.

Passo 1

O enunciado trata de uma cadeia de módulos numerados de 1 a 23 e afirma que o módulo 23 funciona (caso base) e que, se um módulo N_{0} funciona, então o módulo anterior N_{0}-1 também funciona (passo de regressão). O conteúdo envolvido é o Princípio da Regressão, que é uma forma de indução matemática “ao contrário”.

Passo 2

No Princípio da Regressão procedemos em duas etapas:
  1. Caso base: mostra-se que o módulo de maior número (aqui o módulo 23) funciona.
  2. Passo de regressão: assume-se que um módulo genérico N_{0} funciona e demonstra-se que o módulo anterior N_{0}-1 funciona.
    Dessa forma, pelo encadeamento reverso, conclui-se que todos os módulos de 23 até 1 funcionam.

Passo 3

Analisando as alternativas, a descrição que coincide exatamente com essa metodologia é:
(A) assume o funcionamento do módulo de maior número e demonstra, por implicação reversa, que os anteriores também funcionam, até alcançar o primeiro.

Resposta

(A)

Exercícios relacionados