Back to wiki

RCS History

/ TOP / standards_and_regression_testing / commercial_validation.mdwn

Revision 1.3


(Not trying to promote any specific company, but just listing some commercial
services that could be used to validate the compiler.)

For free testing, see [[Standards_and_Regression_Testing]].

## ACE SuperTest C/C++ compiler test& validation suite

<http://www.ace.nl/compiler/supertest.html>

The SuperTest suite contains over sixteen thousand source files and provides over
800,000 quality and conformance tests.

## The Plum Hall Validation Suite for C

<http://www.plumhall.com/stec.html>

Authoritative test suite for the ANSI/ISO C Standard, with both positive and negative tests for all requirements of that standard -- with over 56,000 lines of C source.

## Glen McCluskey C99/C9X (ISO/IEC 9899:1999) Test Suite
<http://www.glenmccl.com/c9suite.htm>

Free samples are available. Seems that *.c0 are for compilation, *.r0 for running.

## Tydeman's C99 FPCE Test Suite
<http://www.tybor.com>

The Floating-Point C Extensions test suite checks most parts of C99, with a special emphasis on floating-point (both binary and decimal) of both the math library and code generation.  There are over 22,000 files with over 2,500,000 lines of code and test vectors.  Free sample tests are available on the web site.

Powered by rcshistory.cgi 0.3