Karl Popper, engenharia de software e bibliometria: um mapeamento da falseabilidade em métodos ágeis e validação de sistemas

Resumo

A percepção social de que o software é produto de lógica exata contrasta com a realidade, pois sistemas são falíveis. Por isso, precisam ser mantidos com ciclos contínuos de teste, correção e refatoração. À luz do racionalismo crítico de Karl Popper, práticas de desenvolvimento podem ser vistas como processos de conjecturas e refutações, em que implementações são continuamente expostas a tentativas de falsificação. Este artigo apresenta um estudo bibliométrico descritivo que mapeia como a literatura acadêmica tem articulado Popper com engenharia de software, com foco em métodos ágeis, validação de requisitos e fundamentos de software testing. Utilizando uma busca estruturada na base Lens.org, foram identificados 22 trabalhos, dos quais 17 foram classificados como centrais por vincularem explicitamente conceitos popperianos a problemas de engenharia de software. Esses registros foram analisados quanto à distribuição temporal, tipologia documental, campos de estudo e temas técnicos, com apoio de tabelas dinâmicas e gráficos. Os resultados mostram concentração em três eixos principais: requisitos e planejamento de releases, práticas ágeis como Test‑Driven Development (TDD) e Extreme Programming, e discussões epistemológicas sobre a justificação de hipóteses em testes de software. Conclui‑se que a falseabilidade popperiana fornece um enquadramento conceitual robusto para compreender o software como conjectura tecnicamente controlada, reforçando a importância de práticas que promovem falhas rápidas, testes sistemáticos e revisões contínuas.