Our Company
Our Company
Solid Sands is the world-leading provider of verification and qualification technology for C and C++ compilers and libraries.
Our mission is to make the world a safer place. Our products support companies to achieve both the highest quality objectives and the most up-to-date functional safety standard requirements. By creating the best possible test suites for C and C++ compilers, libraries, and analysis tools, we are at the forefront of software testing and qualification. Our flagship products include SuperTest, the most comprehensive compiler test and validation suite, and SuperGuard, a library safety qualification suite.
With industry partners worldwide, we serve leading and innovative semiconductor, IP and security companies, as well as safety-critical software companies in the automotive, robotics, railway and medical industries.
SuperTest
The SuperTest Compiler Test and Validation Suite verifies C and C++ compilers and libraries. SuperTest is used worldwide by compiler developers for quality assurance and by safety-critical software developers to qualify third-party and open-source compilers following the most up-to-date functional safety standard requirements.
SuperTest offers hand-crafted and generated test files, including millions of conformance tests to address quality and functional safety. It includes many tests aimed at compiler internals such as analyses, transformations and optimizations.
SuperTest includes a powerful and flexible test platform. The configurable test driver seamlessly integrates with any compiler development environment and target processor. The test platform has extensive reporting tools to show traceability between the tests and the sections in the C and C++ language specifications. They provide evidence of the conformance of the compiler implementation and the completeness of the test suite.
SuperGuard
The SuperGuard Library Safety Qualification Suite is a requirements-based test suite for the C and C++ standard libraries. It is used by application developers and tool suppliers to qualify third-party (COTS), open source and self-maintained library implementations for use in safety-critical applications.
SuperGuard provides a detailed breakdown of the ISO C and C++ library specifications into testable requirements for the library implementation. The requirements have full traceability to test specifications and tests, as required by functional safety standards. The tests achieve high structural code coverage of the target library implementation, which demonstrates their completeness.
SuperGuard includes a powerful and flexible test platform. It comes with a software tool that reports the requirements and test results. The configurable test driver seamlessly integrates with any development environment and target processor.
The history of Solid Sands
June 2024
SuperGuard Amsterdam version 1.2
165 new test files for additional coverage of the C standard library
Aelbert Cuyp was one of the great Dutch 17th-century painters; although primarily known for his landscapes, also excelled in portraits and depictions of animals. SuperTest aspires to be versatile like Aelbert Cuyp and can be used with any combination of compiler and target, covering language and library specifications from C89 to C++20.
April 2024
SuperTest Aelbert Cuyp Release
February 2024
SuperGuard C++ Core
Added a collection of C++ headers to the SuperGuard Library Safety Qualification Suite
May 2023
SuperTest Vermeer Release Update 4
December 2022
SuperGuard Amsterdam Release Update 1
Support for all versions of the C standard library
January 2022
SuperTest Vermeer Release Update 3
Extended by 3000 new tests and support for C++20
December 2021
SuperGuard Amsterdam Release
We have chosen the name of the Dutch city Amsterdam
for this first major release as that is where SuperGuard
was born and where it will continue to grow.
June 2021
SuperGuard C Base Introduction
Following a high demand from the market, Solid Sands launches a new product. SuperGuard is a requirements-based test suite for the C standard library to support library qualification.
November 2020
SuperTest Vermeer Release Update 2
More than 2200 new tests, mostly in the C and C++ library suites and much more
February 2020
SuperTest Vermeer Release Update 1
Fully updated calling convention tester, new test suite for C18, SuperTest GUI and more
November 2019
Solid Sands 5 Year Anniversary
Johannes Vermeer is known for his photorealistic attention to detail using pigments such as lapis lazuli to create a world more perfect than the real one. It is still a mystery how he was able to achieve the masterly treatment of light and color in his work, since the appreciation of his paintings came only two centuries after his death. SuperTest aims to attain the same perfection as Vermeer, but without the mystery.
May 2019
SuperTest Vermeer Release
October 2018
SuperTest Mondrian Release Update 3
Native Windows tools for SuperTest, section traceability tool, Jenkins integration and more
October 2017
SuperTest Mondrian Release Update 2
C++14 test suite, CGtrainer suite for initial code generator development, size tracking and more
October 2016
SuperTest Mondrian Release Update 1
C11 test suite, extended C99 math library testing and more
January 2016
SuperTest Mondrian Release
With this new Release of SuperTest Solid Sands celebrates its Dutch heritage by highlighting one of the greatest painters of the 20th century, Piet Mondrian. Mondrian is known for his clarity and strive for perfection. Solid Sands is motivated to achieve the same level of excellence in SuperTest.
“We are very proud to be the first on the market with a MISRA-C conformance suite”
January 2015
SuperTest Rembrandt Release Update 3
New test files for C++11, extended testing of C++ Argument Dependent Lookup and more
November 2014
Solid Sands Starts
Solid Sands starts in November 2014 and has its headquarters in Amsterdam, the Netherlands. Our mission is to put quality into C. We do that by improving the quality of C and C++ compilers, libraries and analysis tools, and their safe and secure use, with the best possible test and validation suite.
1984
SuperTest Started
When SuperTest started, there was only K&R C. As ISO standardization progressed, SuperTest was extended to track the latest developments. We plugged holes in the suite by adding tests for errors not initially found. We created generators to add systematic testing for complex parameter spaces. SuperTest is now the most complete validation suite for C and C++ available.
Solid Sands: making the world a safer place