Carregando...
Carregando...
Ajude a melhorar a plataforma
Produzir programas mais seguros é uma ciência, no sentido de um domínio de conhecimentos formais que utilizam abordagens sistemáticas e métodos meticulosos, dentre eles, há o Método B, um valioso ferramental que sustenta o trabalho de demonstração de correção. Analise as asserções a seguir e a relação proposta entre elas. I. O Método B apoia a especificação formal de um projeto, mediante um modelo empírico do sistema a ser desenvolvido. PORQUE II. Gerar, de forma automática, os lemas que precisam ser provados, para garantir que o modelo reflete os requisitos do sistema, constitui parte desse apoio. Avaliando essas asserções, é correto afirmar que :
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
JUSTIFICATIVA A asserção I está incorreta, porque o Método B, ao apoiar a especificação formal de um projeto, faz isso por meio de um modelo abstrato (e não empírico) do sistema a ser desenvolvido. A asserção II está correta, porque, de fato, o Método B engloba o processo de gerar automaticamente lemas que precisam ser submetidos a provas, para assegurar que o modelo efetivamente esteja refletindo os requisitos do sistema. O método também se vale de ferramentas de demonstração automática, inerentes ao processo de prova de cada um dos lemas produzidos ou, até mesmo, para que eles sejam marcados para posterior verificação manual humana.
