Asserção

Da Wikipédia, a enciclopédia livre

Em computação, asserção (em inglês: assertion) é um predicado que é inserido no programa para verificar uma condição que o desenvolvedor supõe que seja verdadeira em determinado ponto.

Podem ser tratadas como parte da documentação do código ao realizarem a verificação de pré-condições e pós-condições esperadas. Também são um modo utilizado pelos desenvolvedores para verificar o funcionamento do código durante o desenvolvimento ou para manutenção. Linguagens de programação como C, C++, Java e Python fornecem modos de inserir asserções no código. O uso deste recurso deve ser feito com cuidado pois o programa pode ser finalizado de modo inesperado em produção ou deixar de ser interrompido em caso de um erro grave.

Este mecanismo se difere do tratamento de exceções pois as asserções são utilizadas para depuração evidenciando erros de programação provocando a interrupção da execução quando situações ditas "impossíveis" pelos desenvolvedores são atingidas. O tratamento de exceções desvia o fluxo de execução para uma rotina de tratamento na qual o programa pode tentar se recuperar da situação de erro e prosseguir no fluxo normal mesmo em produção.

Ver também

Ícone de esboço Este artigo sobre programação de computadores é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.