Logo
QuestõesDisciplinasBancasDashboardSimuladosCadernoRaio-XBlog
Logo Questionei

Links Úteis

  • Início
  • Questões
  • Disciplinas
  • Simulados

Legal

  • Termos de Uso
  • Termos de Adesão
  • Política de Privacidade

Disciplinas

  • Matemática
  • Informática
  • Português
  • Raciocínio Lógico
  • Direito Administrativo

Bancas

  • FGV
  • CESPE
  • VUNESP
  • FCC
  • CESGRANRIO

© 2026 Questionei. Todos os direitos reservados.

Feito com ❤️ para educação

/
/
/
/
/
/
  1. Início/
  2. Questões/
  3. Engenharia de Software/
  4. Questão 457941200652169

A utilização da regra de equivalência na demonstração de correção d...

📅 2010🏢 CESPE / CEBRASPE🎯 SERPRO📚 Engenharia de Software
#Garantia da Qualidade de Software

Esta questão foi aplicada no ano de 2010 pela banca CESPE / CEBRASPE no concurso para SERPRO. A questão aborda conhecimentos da disciplina de Engenharia de Software, especificamente sobre Garantia da Qualidade de Software.

Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.

1

457941200652169
Ano: 2010Banca: CESPE / CEBRASPEOrganização: SERPRODisciplina: Engenharia de SoftwareTemas: Garantia da Qualidade de Software
Texto associado
Considerando que, em grandes projetos, a garantia de qualidade do programa é considerada fator imprescindível, e que a verificação e o teste podem ser abordados por meio de testes ou por meio de demonstração de correção, julgue os itens a seguir.

A utilização da regra de equivalência na demonstração de correção de um programa envolve a demonstração de que as duas triplas de Hoare diferentes são válidas.

Gabarito comentado
Anotações
Marcar para revisão

Acelere sua aprovação com o Premium

  • Gabaritos comentados ilimitados
  • Caderno de erros inteligente
  • Raio-X da banca
Conhecer Premium

Questões relacionadas para praticar

Questão 457941200419999Engenharia de Software

A respeito de análise, projeto, implementação e testes de software, julgue o seguinte item.A independência funcional é um aspecto relacionado à qualid...

#Engenharia de Software
Questão 457941200634285Engenharia de Software

Julgue o próximo item, relativo a aprendizado de máquina e modelagem preditiva. As redes neurais artificiais podem ser utilizadas na previsão de safra...

#Inteligência Artificial
Questão 457941200667245Engenharia de Software

A respeito de gerenciamento de projetos, gerenciamento de produtos e metodologias ágeis, julgue o seguinte item.No Scrum, o Scrum Master tem a respons...

#Scrum Framework#Metodologias Ágeis de Desenvolvimento de Software
Questão 457941200673791Engenharia de Software

A respeito de gerência de configuração de software, julgue o item subsecutivo.A integração contínua no GitHub Actions é configurada manualmente em cad...

#Gestão de Configuração
Questão 457941200732871Engenharia de Software

Tendo como referência o Scrum 2020, julgue o item subsequente, acerca de prática ágil para gerenciamento de projetos. Daily scrum é um evento de quinz...

#Scrum Framework#Metodologias Ágeis de Desenvolvimento de Software
Questão 457941201125834Engenharia de Software

Com relação às ferramentas CASE (Computer Aided Software Engineering), julgue os itens que se seguem.Há norma específica que fornece diretrizes para a...

#Ferramentas de Engenharia de Software Assistida por Computador

Continue estudando

Mais questões de Engenharia de SoftwareQuestões sobre Garantia da Qualidade de SoftwareQuestões do CESPE / CEBRASPE