É 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>