Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
1.9 corretude
1.9.1 Testes
(esta seção está incompleta)
Construiremos um framework para testes unitários em Scheme.
O procedimento test recebe o nome de um teste, um procedimento, uma lista de
argumentos e um valor esperado de retorno, e devolve uma lista com:
• O nome do teste;
• Um booleano que nos diz se o teste passou ou não;
• O valor retornado pelo procedimento testado;
• O valor esperado.
( define test
( lambda ( name proc args expected )
( let (( result ( apply proc args )))
( list name
( equal result expected )
result
expected ))))
A lista retornada por test contém toda informação necessária para que possamos
construir diferentes relatórios de testes: podemos querer saber somente quantos testes
falharam, ou quais falharam, ou ainda, para cada teste que falhou quais foram o resultado
e o valor esperado.
Versão Preliminar
Testaremos dois procedimentos: movement*, onde cometemos um erro e trocamos s
por 2, e movement, que está correto.
( define movement *
( lambda (s0 v0 a t)
( let ((s (+ s0
(* v0 t)
(/ (* a t t)
2))))
2)))
[ 27 de outubro de 2010 at 15:47 ]
37