Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Python > Programming by Contract

Thread Tools

Programming by Contract

Ethan Furman
Posts: n/a

I have seen posts about the assert statement and PbC (or maybe it was
DbC), and I just took a very brief look at pycontract
( and now I have at least one
question: Is this basically another way of thinking about unit testing,
or is the idea of PbC more along the lines of *always* checking the
input/output of functions to ensure they are correct? (*Contstant
vigilance!* as Prof Moody would say

I know asserts can be turned off, so they obviously won't work for the
latter case, and having seen the sample of pycontract it seems it only
does its thing during debugging.

So is Design (Programming) by Contract a fancy way of saying "Document
your inputs/outputs!" or is there more to it?

Reply With Quote

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
VHDL and Verilog - 15 x Contract Engineers Required Urgently - Long Term Contract Specialist Verilog Engineers Roles VHDL 0 06-27-2007 01:09 PM
Seek Contract Programming Work - 17 Years Experience Michael D. Crawford Java 0 02-22-2005 11:42 PM
OT C++ contract programming - how to find? BCC C++ 6 05-09-2004 05:40 AM
Looking for a contract or freelance programming or design job? HTML 2 05-02-2004 05:00 PM