Topic: ISO C++ compliance test suite [was List of Compliant Compilers]


Author: Valentin Bonnard <Bonnard.V@wanadoo.fr>
Date: 1999/04/29
Raw View
andresmirnov@my-dejanews.com wrote:

> Maybe I've missed something but what I understood from discussion on former
> subj that ISO C++ compliance is quite random activity.
>
> My understanding of this problem it should be set of code which could be
> used to approve or deny someone claim on ISO C++ compliance -- ISO C++
> compliance test suite. I've heard it was done like that for Ada. Exact terms
> will be complex but who said it is simple to be compliant :)

There are commercial test suites:

- from Perennial:
  http://www.peren.com/pages/cppvs_set.htm

- from Plum Hall:
  http://www.plumhall.com/suites.html

There are similar tools for C, Java, Ada, and other languages...

But no finite set of tests can prove that a compiler is bug-free.

--

Valentin Bonnard


[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]






Author: Boris Fomitchev <Boris.Fomitchev@sun.com>
Date: 1999/04/29
Raw View
Are there any free test suites out there ?

Valentin Bonnard wrote:
> > My understanding of this problem it should be set of code which could be
> > used to approve or deny someone claim on ISO C++ compliance -- ISO C++
> > compliance test suite. I've heard it was done like that for Ada. Exact terms
> > will be complex but who said it is simple to be compliant :)
>
> There are commercial test suites:
>
> - from Perennial:
>   http://www.peren.com/pages/cppvs_set.htm
>
> - from Plum Hall:
>   http://www.plumhall.com/suites.html
>
--
-----------------------------------------------------
Boris Fomitchev   |  Boris.Fomitchev@Eng.Sun.Com
-----------------------------------------------------
---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]





Author: andresmirnov@my-dejanews.com
Date: 1999/04/29
Raw View
In article <3727B18D.3EAD@wanadoo.fr>,
  Valentin Bonnard <Bonnard.V@wanadoo.fr> wrote:
>
> andresmirnov@my-dejanews.com wrote:
>
...
> > My understanding of this problem it should be set of code which could be
> > used to approve or deny someone claim on ISO C++ compliance -- ISO C++
> > compliance test suite. I've heard it was done like that for Ada. Exact terms
> > will be complex but who said it is simple to be compliant :)
>
> There are commercial test suites:
>
> - from Perennial:
>   http://www.peren.com/pages/cppvs_set.htm
>
> - from Plum Hall:
>   http://www.plumhall.com/suites.html
>

So should be test suite approved by someone (ANSI, ISO, comp.std.c++ voting
...) which targets all features of language. In this case 100% compliant will
have some sence.

Andrei Smirnov, andreis@interworld.com

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own
---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]





Author: Martin von Loewis <loewis@informatik.hu-berlin.de>
Date: 1999/05/01
Raw View
andresmirnov@my-dejanews.com writes:

> So should be test suite approved by someone (ANSI, ISO, comp.std.c++ voting
> ...) which targets all features of language. In this case 100% compliant will
> have some sence.

If this is a pre-requisite, then I think I can live with "100%
compliant has no sense". To me, a statement of "100% compliant" will
indicate that the vendor is not aware of any bugs in the
implementation with regard to conformance.

Of course, anybody is free to start a new project of developing a C++
test suite. If it needs approval in the end - well, I would be willing
to approve it, for a small fee :-)

Just requesting that "something should happen" typically does not make
it happen, in my experience...

Regards,
Martin
---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]





Author: andresmirnov@my-dejanews.com
Date: 1999/04/29
Raw View
Maybe I've missed something but what I understood from discussion on former
subj that ISO C++ compliance is quite random activity.

My understanding of this problem it should be set of code which could be
used to approve or deny someone claim on ISO C++ compliance -- ISO C++
compliance test suite. I've heard it was done like that for Ada. Exact terms
will be complex but who said it is simple to be compliant :)

Andrei Smirnov, andreis@interworld.com

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own
---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]