RE: [colorforth] Forth and XP
- Subject: RE: [colorforth] Forth and XP
- From: Samuel Falvo <falvosa@xxxxxxxxx>
- Date: Thu, 19 Jun 2003 09:59:01 -0700 (PDT)
> I would like to reformulate a question by Mark: how do you make sure that
> your tests cover all possible cases?
> For instance, I'm currently writing an inference engine. It takes as input a
> formula ( say, F->F) and it must answer yes if it is a theorem ( crash
> otherwize :), and give it's demonstration. Here is more or less the spec.
> How do you write tests for it?
The specification is too vague. You need to break it down into smaller, more
concrete chunks.
--
Samuel A. Falvo II
__________________________________
Do you Yahoo!?
SBC Yahoo! DSL - Now only $29.95 per month!
http://sbc.yahoo.com
---------------------------------------------------------------------
To unsubscribe, e-mail: colorforth-unsubscribe@xxxxxxxxxxxxxxxxxx
For additional commands, e-mail: colorforth-help@xxxxxxxxxxxxxxxxxx
Main web page - http://www.colorforth.com
