Re: from Danny's chat - 11/19

From: John Jacobson (jjacobson8NOSPAM_at_wi.rr.com)
Date: 12/21/04


Date: Tue, 21 Dec 2004 11:58:52 -0500


"Kevin Berry" <kevin@berry_REM0VETH1S_ware.com> wrote in message
news:41c83da1$1@newsgroups.borland.com...
> Captain Jake wrote:
>> Design by contract results in a nice clean syntax when it is built into
>> the language, but it isn't anything you can not implement using asserts.
>
> One of the benefits of DBC is that unit testing can be automated better.
> 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. I've never used DBC in practice so
> it's all just theory to me, but the theory sounds good...

This all sounds like something you would never want implemented in a release
version. I can imagine the user delight upon encountering a cryptic error
message like "Precondition x > 300 violated".



Relevant Pages

  • Re: from Dannys chat - 11/19
    ... > Design by contract results in a nice clean syntax when it is built into the ... > language, but it isn't anything you can not implement using asserts. ... One of the benefits of DBC is that unit testing can be automated better. ... automated tool that uses this information to generate test cases. ...
    (borland.public.delphi.non-technical)
  • Re: Python or Java or maybe PHP?
    ... >practicing what's called "Design by Contract" (DbC). ... With language support, you only code ... Python ("Design By Contract for Python", PyDBC, Contracts ...
    (comp.lang.python)
  • Re: from Dannys chat - 11/19
    ... >> One of the benefits of DBC is that unit testing can be automated better. ... >> automated tool that uses this information to generate test cases. ... internal bug was detected. ...
    (borland.public.delphi.non-technical)
  • Re: from Dannys chat - 11/19
    ... John Jacobson wrote: ... >> One of the benefits of DBC is that unit testing can be automated ... >> some kind of automated tool that uses this information to generate ... >> used DBC in practice so it's all just theory to me, ...
    (borland.public.delphi.non-technical)
  • Re: Optional Static Typing
    ... Ryan> of static typing. ... be added to the language, for a relatively unproven methodology (DbC). ... I'm not sure I'd like to see Python (which is ...
    (comp.lang.python)