SuperTest Compiler Test and Validation Suite

SuperTest is the Compiler Test and Validation Suite from Solid Sands, which the company describes as “the world’s most comprehensive C and C++ compiler test and validation suite”. It exists to answer a question most development flows never ask: does the compiler actually translate correct source code into correct object code? In safety-critical software, the compiler is a development tool whose output becomes part of the final executable, so the functional-safety standards require that its behaviour be verified rather than assumed.

What SuperTest Tests

SuperTest contains three kinds of tests, per Solid Sands: requirements-based tests that validate the compiler correctly implements source-language constructs, negative tests that check it flags invalid code, and stress tests that probe how it behaves with boundary-pushing code. Specialized tests target compiler internals such as optimizations, data models, and calling conventions, and the suite includes comprehensive reporting that shows traceability between tests and the language specifications.

Conformance to the Exact Standard Version

SuperTest can be set to verify a compiler against the precise version of the C or C++ standard that a project or market requires. Solid Sands’ SuperTest product page publishes coverage of C90, C99, C11, and C18 (ISO/IEC 9899) and C++03 through C++20 (ISO/IEC 14882), plus Embedded C (ISO/IEC TR 18037:2008). Its configurable test driver integrates with GCC, Clang, and proprietary compiler development environments, so a team can qualify the same toolchain it ships with.

Newer standards, as of Van Gogh 6.0

Solid Sands’ release announcement of 23 September 2026 states that SuperTest Van Gogh 6.0 adds 480 new tests for C23 and 440 for C++23, and completes C++20 language-feature testing with 173 tests for modules. Those are additional tests rather than first-time support: Solid Sands’ webinar for the preceding 5.2 release already listed “SuperTest’s support for C23 and C++23”. Note too that the announcement claims all C++23 language features across some 45 committee papers, but for C23 only coverage of more than 40 papers, which is not a claim of complete C23. Note the discrepancy and read it carefully: at the time of writing, the standards list on the SuperTest product page itself has not been updated to include C23 or C++23, so the release announcement is currently the only source for that coverage. If a procurement decision or a qualification plan depends on C23 or C++23 test coverage, confirm the scope against your licensed release with Solid Sands or with us, rather than inferring it from either page alone. We cover what the announcement says in SuperTest Van Gogh 6.0: C23, C++23 and the C++20 modules gap.

Configuration, Verification Scope, and the Test Platform

SuperTest can be configured for C-only verification or for combined C and C++ verification. Beyond conformance to the C and C++ language standards, it verifies optimization correctness, data-model-specific arithmetic, and calling conventions, covers the C and C++ standard library, and supports code-generator development. The configurable test platform runs on Windows and Linux, supports bare-metal targets, offers multi-processing speedup and flexible test generators, gives full control over test sets, and includes a Python configuration plugin, section traceability, and reporting tools. It is licensed as an annual subscription that includes updates, maintenance, and support, which GSAS provides locally in India.

Compiler Verification and Conformance Testing

Compiler verification with SuperTest is conformance testing at scale: the suite confirms that a C or C++ compiler implements the language standard correctly with requirements-based tests, rejects invalid code as the standard requires with negative tests, and holds up under boundary-pushing constructs with stress tests. For a safety-critical team, that conformance evidence is what turns “we use a well-known compiler” into a documented, qualified toolchain.

Applications

SuperTest is used by compiler developers and safety-critical software teams across automotive, rail, aerospace and avionics, robotics, medical, and semiconductor projects, anywhere a toolchain must be qualified for ISO 26262, DO-178C, or IEC 62304. Paired with SuperGuard for the standard library, it forms the toolchain-trust layer beneath static analysis (Perforce QAC) and dynamic unit testing (Razorcat TESSY).

Why Buy from GSAS

GSAS Micro Systems is the India engineering partner for Solid Sands, providing SuperTest licensing with INR invoicing, onboarding, and qualification consulting. Our functional-safety engineers in Bengaluru, Hyderabad, Chennai, Pune, Mumbai, and Delhi NCR help automotive, aerospace, and semiconductor teams qualify their C/C++ compiler against the exact ISO standard version their project targets and assemble the tool-confidence evidence their safety assessment requires.