É bastante comum lermos enquanto estudando algoritmos e lógica de programação que o Teste de Mesa é um meio de verificar o funcionamento de um algoritmo.

-  O que é o Teste de Mesa?
-  Como é possível aplicá-lo para fazer a verificação da lógica em um programa?
-  Qual é o passo a passo para efetuar o Teste de Mesa?
-  Existe um *software* que executa este teste?

Se possível, dê exemplos de como é feito a aplicação de um teste de mesa em um programa.

<sub>**Nota:** o objetivo da pergunta é criar um conteúdo objetivo e de qualidade sobre Teste de Mesa com a finalidade de auxiliar iniciantes a verificarem os erros em seus programas.</sub>

<sub>Postagens relacionadas:  
https://pt.stackoverflow.com/q/210323/70  
https://pt.meta.stackoverflow.com/q/7785/70
</sub>