[#7055] More on VC++ 2005 — Austin Ziegler <halostatue@...>

Okay. I've got Ruby compiling. I'm attempting to get everything in

17 messages 2006/01/05
[#7058] Re: More on VC++ 2005 — nobuyoshi nakada <nobuyoshi.nakada@...> 2006/01/06

Hi,

[#7084] mathn: ugly warnings — hadmut@... (Hadmut Danisch)

Hi,

22 messages 2006/01/10
[#7097] Re: mathn: ugly warnings — Daniel Berger <Daniel.Berger@...> 2006/01/10

Hadmut Danisch wrote:

[#7098] Design contracts and refactoring (was Re: mathn: ugly warnings) — mathew <meta@...> 2006/01/10

Daniel Berger wrote:

[#7118] Re: Design contracts and refactoring (was Re: mathn: ugly warnings) — mathew <meta@...> 2006/01/12

*Dean Wampler *<deanwampler gmail.com> writes:

[#7226] Fwd: Re: Question about massive API changes — "Sean E. Russell" <ser@...>

Hello,

23 messages 2006/01/28
[#7228] Re: Question about massive API changes — Caleb Tennis <caleb@...> 2006/01/28

>

Re: Design contracts and refactoring (was Re: mathn: ugly warnings)

From: Mathieu Bouchard <matju@...>
Date: 2006-01-12 22:36:36 UTC
List: ruby-core #7128
On Fri, 13 Jan 2006, mathew wrote:

> >  The XP view is
> > that you should eliminate the redundancy.
> Except it's not redundancy.
> Unit tests define a set of functionality that is required. Documentation tells
> you the functionality that is supported, which is generally a superset of the
> functionality required by the unit tests.

Let's follow the argument of both of you to the end. 

1. Unit-tests often match inputs with outputs on a case-by-case basis.

2. Redundancy should be eliminated.

(1) suggests that there is a shorter way to express the unit-tests. 
Suppose you are able to find a formula for generating output-validators 
from inputs. Then that formula is a postcondition of a contract, and the 
explicit output-validators of the unit-tests are redundant.

(2) because part of the unit-tests are redundant, part of the unit-tests 
should be eliminated. This causes the postconditions to become an 
essential part of unit-testing.

Unit-tests vs contracts is a false debate.

 _ _ __ ___ _____ ________ _____________ _____________________ ...
| Mathieu Bouchard - t駘:+1.514.383.3801 - http://artengine.ca/matju
| Freelance Digital Arts Engineer, Montr饌l QC Canada


In This Thread