|
CVSA™
PERENNIAL C COMPILER VALIDATION SUITE
|
Current Release:
|
Test Cases:
|
Support/Updates:
|
|
CVSA, Version 9.4.1, Jan
2008
|
67,000+
|
One year
|
|
CVSA-Freestanding, Version
9.2, Jun 2006
|
8,000+
|
One year
|
Description:
CVSA is the most comprehensive and thorough C compiler
conformance validation suite available anywhere, worldwide. Introduced in 1984,
it was originally based on the first edition of The C Programming Language by
Brian Kernighan and Dennis Ritchie, AT&T Bell Laboratories. CVSA
now covers the original C language, all of the ISO/IEC C Standard, including
the most recent version for C99 and its Technical Corrigendum. Beginning with Version 8.0, CVSA can
be run in either a 'hosted' or 'freestanding' mode, with or
without file I/O support. Test
program executables can be generated on a hosted development platform and
moved to an embedded target processor for execution.
The latest version of CVSA also includes
test coverage for the Technical Reports on extensions to the C language for
support of embedded processors (TR18037); extensions to support new data
types (TR19769); extensions for secure C library functions (TR24731), and
extensions for Decimal Floating Point Arithmetic (TR24732 Draft).
CVSA also includes all of the tests contained in ACVS.
With over 67,000 test cases, in 60+ Mbytes of code, CVSA
provides conformance validation for the following
standards/publications.
|
1.
|
Latest official ISO C
Standard: ISO/IEC 9899:1999, commonly referred to as C99, and its Technical
Corrigenda 1 & 2.
|
|
2.
|
Original ISO C Standard:
ISO/IEC 9899:1990, known as C90.
|
|
3.
|
ISO C90 Standard:
Technical Corrigendum 1 & 2. ISO C90 Standard,
|
|
4.
|
ISO C90 Standard,
Amendment 1: 1995 (Added multibyte and wide character extensions to the C
language)
|
|
5.
|
The original C language
bible: The C Programming Language by Brian Kernighan and Dennis
Ritchie.
|
|
6.
|
Technical Report 18037 -
Extensions to the C Language, support for embedded processors.
|
|
7.
|
Technical Report 19769 -
Extensions to the C Language, support for additional character types.
|
|
8.
|
Technical Report 24731 -
Extensions to the C Language, Specification for Secure C Library Functions
.
|
|
9.
|
Technical Report 24732 -
Extensions to the C Language to support Decimal Floating Point Arithmetic (Draft).
|
CVSA - Freestanding - Finally, a validation suite for embedded system
compilers that covers the latest ISO C Standard. Embedded systems is
one of the fasted growing segments of the computer industry. This
validation suite provides conformance testing for the ISO C defined freestanding
environments for each of the four ISO C references listed above.
CVSA-Freestanding can run with or without IO support, and can be
extended to cover additional library functions as you add them to your
system. If you want a way to test and validate conformance of your
embedded systems C Compiler, this is the test suite to use.
Certification/Branding:
Conformance testing to obtain a Certificate of Validation for either C90, or
C99 is now available from Perennial.
Request
Pricing/Licensing Information/Additional Documentation
|
