Re: from Danny's chat - 11/19

From: Kevin Berry (kevin_at_berry_REM0VETH1S_ware.com)
Date: 12/21/04 

Date: Tue, 21 Dec 2004 09:13:38 -0600

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...

Cheers,
Kevin.

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: 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)
  • 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)