The Artima Developer Community
Sponsored Link

Weblogs Forum
Programming with "Duh" Typing

370 replies on 371 pages. Most recent reply: Aug 8, 2007 9:54 AM by James Watson

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 370 replies on 371 pages [ « | 1 ... 253 254 255 256 257 258 259 260 261 ... 371  | » ]
Petrik de Heus

Posts: 19
Nickname: p8
Registered: Jul, 2007

Re: Programming with "Duh" Typing Posted: Jul 27, 2007 11:11 AM
Reply to this message Reply
Advertisement
> > When we say "correct" I think we're saying that the
> > program corresponds to the spec as defined by our tests
> -
> > in this case "correct" is defined by our single test T.
>
> This is off-topic, but I find the idea of consider unit
> tests to be a specification to be one of the most
> ridiculus propositions I've ever heard.

Users of the popular next generation BDD frameworks like rSpec probably disagree.
http://rspec.rubyforge.org/

While I haven't used rSpec (but will on my next project) I like the whole idea thinking of tests as specifications.
Because tests describe if the software is correct based on possible scenario's.
If you have a spec that isn't tested you can't be sure the software is correct for that spec.
If you have untested code you cannot be sure it's doing what's specified.

Flat View: This topic has 370 replies on 371 pages [ « | 253  254  255  256  257  258  259  260  261 | » ]
Topic: Programming with "Duh" Typing Previous Topic   Next Topic Topic: Python 3000 Plea for Help

Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use