[std-interval] Test compliance?

[George Corliss]

Guillaume, Hervé, Sylvain,

Is there, or is there a plan for, a suite a program to check compliance with
the proposed C++ interval standard?

It would seem that such a suite might serve several functions:

1.  Writing careful test cases might uncover weaknesses in the proposal.

2.  If the proposal and the test suite agree, reading the code in the test
suite may help some people understand what is the intent of the standard.
If so, the intent of the standard might benefit from clarification.

3.  One way to produce multiple reference implementations of the standard
quickly is to write wrappers for existing packages so that they can support
standard-compliant programs with zero modification to existing packages.
One would like to check the resulting wrapper plus underlying package for
compliance with the standard.


If there is no plan for a compliance checker, I'd volunteer to work on one.
Volunteers to work with me are MOST welcome.

I have a framework I used to check arithmetic operations and elementary
functions in COSY and INTLAB.  That framework is not in C++, and it is
rather awkward, depending on Maple for after-the-fact result checking, but
it IS a starting point.  I'd guess that authors of existing packages may
have test suites that could be modified to the proposed standard without TOO
much work?

Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
PO Box 1881 
1515 W. Wisconsin Ave.
Milwaukee WI 53201-1881 USA
414-288-6599; Fax: 288-5579; Dept. 288-6280
Office: Haggerty Engineering 296
George.Corliss at Marquette.edu