CVSA™
PERENNIAL C COMPILER VALIDATION SUITE
Current Release:
|
Test Cases:
|
Support/Updates:
|
CVSA, Version 12.9, Nov 2022
|
80,000+
|
One year
|
CVSA-Freestanding, Version 11.5, Nov 2015
|
9,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 C 2011 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).
CVSA also includes all of the tests contained in ACVS. With over 69,000 test cases, in 60+ Mbytes of code, CVSA provides conformance validation for the following standards/publications.
1.
|
Latest and future revisions of the official ISO C Standard: ISO/IEC 9899:2011, 2018 and 202X, aka C11, C18 and C2X
|
2.
|
First revision of the original ISO C Standard: ISO/IEC 9899:1999, aka C99, and Technical Corrigenda 1 & 2.
|
3.
|
Original ISO C Standard: ISO/IEC 9899:1990, aka C90.
|
4.
|
ISO C90 Standard: Technical Corrigendum 1 & 2. ISO C90 Standard,
|
5.
|
ISO C90 Standard, Amendment 1: 1995 (Added multibyte and wide character extensions to the C language)
|
6.
|
The original C language: The C Programming Language by Brian Kernighan and Dennis Ritchie.
|
7.
|
Technical Report 18037 - Extensions to the C Language, support for embedded processors.
|
8.
|
Technical Report 19769 - Extensions to the C Language, support for additional character types.
|
9.
|
Technical Report 24731 - Extensions to the C Language, Specification for Secure C Library Functions.
|
10.
|
Technical Report 24732 - Extensions to the C Language to support Decimal Floating Point Arithmetic.
|
CVSA - Freestanding - 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, C99, C11 or C18 is now available from Perennial.
Request Pricing/Licensing Information/Additional Documentation
|