Re: list of operations for test suite. suggested format
Juergen,
You mentioned in May an IaTestGen - a unit test generator.
Will it be open-source ?
Can we look at its sources and documentation ?
-Dima
----- Исходное сообщение -----
От: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
Кому: stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Четверг, 2 Май 2013 г 23:48:54 GMT +04:00 Абу-Даби, Маскат
Тема: 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