Uma empresa especializada em desenvolvimento de software...

#Questão 1098477 - Engenharia de Software, Desenvolvimento de Software, CESGRANRIO, 2025, BANESE, Técnico Bancário III - Desenvolvimento

Uma empresa especializada em desenvolvimento de software para gestão bancária enfrenta problemas frequentes com erros inesperados em seu sistema de processamento de empréstimos. Muitos desses erros ocorrem devido a entradas inválidas, falta de validação adequada e contratos mal definidos entre os módulos do sistema. Para garantir que os componentes do software se comuniquem corretamente e respeitem regras bem definidas, o arquiteto de software propõe a adoção da Programação por Contrato (Design by Contract – DbC).
Nesse contexto, o uso da Programação por Contrato (Design by Contract – DbC) é adequado pois ela

adiciona verificações redundantes de erro em pontos aleatórios do código para evitar falhas inesperadas.

emprega assertivas para validar entradas externas em qualquer parte do código, independentemente de sua origem, e em qualquer estágio de execução.

implementa contratos explícitos, entre métodos e seus consumidores, definindo pré-condições, pós-condições e invariantes para garantir o correto funcionamento do sistema.

incorpora mecanismos de confiabilidade ao final do processo de implementação e documentação, objetivando a corretude dos programas.

utiliza exceções para capturar e corrigir automaticamente qualquer erro de entrada nos métodos.

Navegue em mais questões

Erro ao Ler: SQLSTATE[HY093]: Invalid parameter number: number of bound variables does not match number of tokens