Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: list of operations for test suite. suggested format

Hi
in our efforts to implement a reference library in C++ we have developped a unit test generator. the test cases are to be specified in a domain specific language (DSL). Since that tool itself is implemented in Java with the help of a compiler generator, changing the DSL is not a large problem. the target language may also be changed. 

In my eyes the collection relevant of test cases is  more crucial

an abstract accepted for Swim 2013 is attached
Jürgen

Am 02.05.2013 11:50, schrieb Vincent Lefevre:

On 2013-04-30 07:44:45 -0700, Richard Fateman wrote:

On 4/29/13 9:20 PM, Dmitry Nadezhin wrote:

How do you want to represent infinitives by triples ?

the IEEE 754 standard has unambiguous representations for +-oo for
each base type.

Partly. For portability, one needs to require the lower-case forms.


7) Are comments allowed

I'd say that this is a must.

[...]

If you wish to use //  or ....  # that's OK with me.

I think that most people will prefer C++ style comments starting with // .

I'm not so sure. # is used in shell scripts and various languages
such as Perl, Python and Ruby, and also very often in text-based
configuration files. Both forms could be allowed.

FYI: http://en.wikipedia.org/wiki/Comment_%28computer_programming%29


    If an input interval cannot be expressed exactly in the format
being tested, then the line should be rejected as a test in that format.
Rounding up/down/widening/ computing (tightest) hull is the essence
of the computation being tested.  If you allow the program to "interpret"
the test suite by choosing some roundings and hull computations you
are invalidating the purpose of the test.

I agree.



--
-                Prof. Dr. Juergen Wolff von Gudenberg
     o           Lehrstuhl fuer Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602 Fax ../31 86603
  / \  Uni       E-Mail:wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg

Attachment: IaTestGen.pdf
Description: Adobe PDF document