Solid Sands is a 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. 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.

Solutions

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 includes a powerful and flexible test platform with 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.

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