Formas de Debugging
- Listagem dos passos de redução Hat-stack
-
Alteração dos compiladores/interpretadores para mostrarem as reduções que efectuam.
-
Perda de generalidade com a dependência de compilador/interpretador.
-
Desmesuradamente grande para casos reais.
- Algorítmica Budda e Hat-trail
-
O debugger questiona o utilizador (ou um oráculo) quanto à validade dos resultados obtidos, procurando identificar a porção de código errónea.
-
Totalmente dependente do caso de teste.
-
Por observação Hood
-
Com inserção explícita, no código, de pontos de observação.
|