[plt-scheme] testing modules

On Jun 6, 2006, at 9:15 AM, Matthias Felleisen wrote:

>
> On Jun 6, 2006, at 8:02 AM, Noel Welsh wrote:
>
>> --- Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>>
>>> The HtDP style of testing is natural for FP
>
>> Agreed.  My point, which perhaps I should have either
>> elaborated or elided, is that this sort of testing doesn't
>> scale. ...................... For teaching, when students
>> are working on the small scale (~1 file), HtDP style is the
>> right choice.  For other contexts the right choice may be
>> different.
>
> Let me nitpick. The choice of "scale" is wrong here. Something is  
> said to be scalable if there is a natural growth part from A to B.  
> While I haven't done it, I can easily imagine teaching that
>
>  (= (f 10) 11)
>
> should really read
>
>  (check = (f x) 11)
>
> which should really read
>
>  (test-equal = (f x) 11)
>
> and so on. I can't imagine doing this in a course that starts with  
> writeln("hello world").
>
> -- Matthias
>
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

... which is exactly what we do in HtDC in ProfessorJ -->> Java
adding setup and teardown as we get to mutation - making the  
transition to JUnit completely seamless...

-- Viera