Solid Sands

Solid Sands is based in Amsterdam, the Netherlands. Our mission is to improve the quality of C and C++ compilers, and their safe and secure use by providing the best possible compiler validation suite.  Due to the close relationship with the SuperTest users, their feedback on our updates and suggestions on how to improve, we continuously expand and renew SuperTest. With our knowledge of past, current and upcoming versions of the C standard, new analysis and optimizations techniques and new compiler use cases, Solid Sands stays at the fore-front of compiler testing and validation.

SuperTest

SuperTest is the test and validation suite for C and C++ compilers that has tracked the (ISO) language specifications for more than 30 years.

SuperTest compiler test and validation suite
SuperTest is a compiler test and validation suite for C and C++ compilers. It offers hand-crafted and generated test files including millions of conformance tests. In addition, SuperTest includes many tests aimed at compiler internals such as analyses, transformations and optimizations and it comes with powerful and flexible test generators. The framework includes both conformance and diagnostic tests, and has facilities to support selective testing of subsets of the suites. The POSIX based user interface seamlessly integrates into any compiler development environment, allows for easy addition of new tests and provides cross platform validation support. SuperTest starts where other suites end. SuperTest supports its customers to achieve a high software quality level required by several ISO standards.

SuperTest qualification suite
The SuperTest qualification suite is derived from the established SuperTest compiler test and validation suite. By using the SuperTest qualification suite, system integrators and application developers can achieve the required qualification and confidence levels for the compilers that they use to produce applications. Developers of safety critical systems and applications can now have confidence in their compilers by testing these for their specific use cases by using the SuperTest qualification suite.

SuperTest library suite
The library suite of SuperTest covers: C90, C99, C11, C++03 and C++11. Library testing is important because the library code runs on the target, and needs to be     qualified for safety critical applications. This suite can be used for unit testing and black box testing.

SuperTest compiler assessment service
The SuperTest compiler assessment service offers assessment and error reports for compilers based on customer specified parameters and regression reports to compare compiler updates with previous versions. It is aimed at compiler users that do require an independent assessment of C and C++ compiler quality, but do not want to set up a QAQC environment for the compiler. Our service allows you to outsource compiler QAQC. The service is also attractive for users of open source compilers that receive updates when they become available on the net, but have no idea about their quality.

ISO 26262 compiler consultancy service
The ISO 26262 safety standard has several options for software tool qualification. For compilers, testing of the compiler against the language standard is the only feasible option. The standard emphasizes the identification of tool 'use cases'. Qualification for one use case does not imply that another use case is qualified. This means that compiler qualification must be in the hands of the compiler end-user. Solid Sands can be your partner in the qualification process with SuperTest language conformance testing and creating the necessary documentation.

Safety

Services

Solid Sands
Postbus 7897
1008 AB Amsterdam
info@solidsands.nl