Re: from Danny's chat - 11/19
From: Jim Cooper (jim_at_falafelsoft.com)
Date: 12/21/04
- Next message: David Clegg: "Re: A call to implementation"
- Previous message: Bruce McGee: "Re: A call to implementation"
- In reply to: Kevin Berry: "Re: from Danny's chat - 11/19"
- Next in thread: Kevin Berry: "Re: from Danny's chat - 11/19"
- Reply: Kevin Berry: "Re: from Danny's chat - 11/19"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Tue, 21 Dec 2004 18:12:32 +0000
> If you have a set of pre and post-conditions you can have some kind of
> automated tool that uses this information to generate test cases. At
> least that's the way I understand it.
Hmmm, I suppose you could generate tests for pre- and post-condition
violations (sometimes, anyway), but you'd still need to actually write
tests too, wouldn't you?
> I've never used DBC in practice
> so it's all just theory to me
Ditto
Cheers,
Jim Cooper
_______________________________________________
Jim Cooper jim@falafelsoft.com
Falafel Software http://www.falafelsoft.com
_______________________________________________
- Next message: David Clegg: "Re: A call to implementation"
- Previous message: Bruce McGee: "Re: A call to implementation"
- In reply to: Kevin Berry: "Re: from Danny's chat - 11/19"
- Next in thread: Kevin Berry: "Re: from Danny's chat - 11/19"
- Reply: Kevin Berry: "Re: from Danny's chat - 11/19"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|