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, covering 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.

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 Helix 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.