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