Test cases
What’s happening with these?
It would be nice to have a collection of samples in files, so we can all see the intended form of input, and do automatic testing later. Repeatedly typing in test cases isn’t good.
What’s happening with these?
It would be nice to have a collection of samples in files, so we can all see the intended form of input, and do automatic testing later. Repeatedly typing in test cases isn’t good.
January 25th, 2005 at 11:08 am
Yes, yes, yes. I have been saying this at the meeting we just had.
Thank you, Paul.
Any test suite would be good. Maybe we should use quick check?
January 25th, 2005 at 11:34 am
QuickCheck is only as good as its test-case generator. For a lot of what we do, that means generating well-typed terms at random. Doing this even remotely effectively relies on the same technology you use for contextual menus. We’ll get there but not in such a hurry. In the short term, I think we should have a batch mode testing interface which accepts test scripts and spits out diagnostics. Shouldn’t be too hard.