Um professor IFCE orienta estudantes na implementação de funções genéricas que operam sobre diferentes tipos de dados. O docente apresenta uma função que calcula a média de uma coleção de valores, podendo ser aplicada a inteiros, números de ponto flutuante ou outros tipos numéricos, sem alterar a lógica do cálculo.
Qual é o tipo de polimorfismo envolvido nessa situação?

Considere o seguinte trecho de código simples:

{ x > 0 }
y := x + 1
{ y > 1 }

A pré-condição { x > 0 } garante que, depois da execução da instrução y := x + 1, a pós-condição {y > 1} será satisfeita, permitindo raciocinar formalmente sobre a correção do programa sem executá-lo.
Com base nessa abordagem, qual é o tipo de semântica formal utilizada para relacionar précondições e pós-condições e raciocinar sobre a correção do programa?

Um professor IFCE está orientando estudantes no desenvolvimento de um sistema especialista para apoio à tomada de decisão em processos acadêmicos. Durante a explicação, o docente destaca que, nesse sistema, o programa é construído por meio da declaração de fatos e regras, enquanto um mecanismo de inferência responde às consultas dos usuários e determina automaticamente as conclusões possíveis.

Com base nessa situação, assinale a alternativa que apresenta corretamente o paradigma de programação utilizado e uma linguagem que o implementa, respectivamente.

No processo de garantia da qualidade de software, as atividades de verificação e validação possuem objetivos distintos no ciclo de desenvolvimento. A respeito das características associadas a essas atividades, assinale a alternativa INCORRETA.

Um professor do IFCE orienta estudantes no desenvolvimento de um sistema para geração de relatórios acadêmicos personalizados. O sistema deve permitir a criação de relatórios contendo diferentes elementos, como capa, sumário, gráficos e tabelas. Além disso, um mesmo relatório pode possuir representações distintas, como versões simplificadas ou completas, embora o processo de construção siga uma sequência definida de etapas. Considerando os padrões de projeto (Design Patterns) da engenharia de software, assinale a alternativa que apresenta o padrão criacional que separa a construção de um objeto complexo de sua representação, permitindo gerar diferentes representações a partir do mesmo processo de construção.

A atividade de testes é essencial para a garantia da qualidade de software, sendo aplicada em diferentes níveis e com objetivos distintos ao longo do ciclo de desenvolvimento. Considerando os diversos tipos de testes de software, informe se é verdadeiro (V) ou falso (F) o que se afirma a seguir e assinale a alternativa com a sequência correta.

( ) O teste unitário tem por finalidade avaliar o sistema completo e integrado, verificando sua conformidade com os requisitos especificados.
( ) O teste de integração tem como objetivo identificar falhas na comunicação e na interação entre módulos ou componentes do sistema.
( ) O teste de regressão é realizado após modificações no sistema, com o propósito de verificar se funcionalidades previamente implementadas continuam operando corretamente.
( ) O teste caixa branca fundamenta-se na análise da estrutura interna do código, considerando fluxos lógicos, decisões e caminhos de execução.

A reengenharia é um processo aplicado a sistemas já existentes com o propósito de compreendê-los e aprimorá-los, podendo envolver diferentes atividades técnicas ao longo de sua execução. Durante esse processo, há uma etapa específica em que o programa é analisado e as informações são extraídas a partir dele. Isso ajuda a documentar sua organização e funcionalidade. Essa etapa é denominada

Um professor do IFCE está orientando seus estudantes no desenvolvimento de um sistema para gerenciar registros de projetos de pesquisa e monitoria. O sistema deve utilizar uma estrutura de dados que permita inserções e remoções em qualquer posição e em que, ao alcançar o último elemento, o próximo acesso retorne ao primeiro elemento da estrutura, não havendo ponteiro nulo ao final da sequência.

Considerando essas características, a estrutura de dados adequada é a

Em estruturas de dados, pilhas e filas possuem operações específicas para inserção e remoção de elementos. Assinale a alternativa que apresenta, respectivamente, a operação para inserir um elemento no topo de uma pilha e remover um elemento do início de uma fila.

Em estruturas de dados, algumas árvores possuem mecanismos que mantêm sua altura aproximadamente balanceada, garantindo eficiência nas operações. Assinale a alternativa que apresenta apenas exemplos de árvores balanceadas.