Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Uma empresa especializada em desenvolvimento de software para gestão bancária enfrenta ...
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
A
adiciona verificações redundantes de erro em pontos aleatórios do código para evitar falhas inesperadas.
B
emprega assertivas para validar entradas externas em qualquer parte do código, independentemente de sua origem, e em qualquer estágio de execução.
C
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.
D
incorpora mecanismos de confiabilidade ao final do processo de implementação e documentação, objetivando a corretude dos programas.
E
utiliza exceções para capturar e corrigir automaticamente qualquer erro de entrada nos métodos.