Latest News
SuperGuard: Qualifying the C Standard Library for use in safety-critical applications
Solid Sands has introduced a new library qualification tool called the SuperGuard C Library Safety Qualification Suite – a requirements-based test suite for the C Standard Library with full traceability from individual test results back to requirements derived from the ISO C language specification. Read all about it in our brand new white paper.
Solid Sands launches its new product SuperGuard C Library Safety Qualification Suite to ease software approvals for safety-critical applications
Solid Sands, the world leader in compiler testing and validation, today announced the release of SuperGuard C Library Safety Qualification Suite. Within SuperGuard, the requirements and test specifications are documented for the C library tests, as already available in SuperTest.
See the English version of the Press Release
See the Italian version of the Press Release
See the German version of the Press Release
Solid Sands and Vector join forces for key webinar on safety-critical applications
Solid Sands, leading provider of compiler and library testing for C and C++, has joined forces with global automotive embedded systems specialist Vector for a specialist webinar which will enable attendees to make the right choices when programming for safety-critical applications.
See the Press Release
Library Qualification From Requirements to Test Designs
If functions from the C standard library are used in a safety-critical application, ISO 26262 requires verification of the library.
SuperTest – taking compiler risk out of RISC-V at Codasip
Codasip is a founding member of RISC-V International (formerly the RISC-V Foundation) and in 2015 became the first company to offer a commercial RISC-V IP core. Today, the company is a leading supplier of processor solutions for IC designers, offering products based on open standards such as the RISC-V ISA, LLVM and UVM.
Solid Sands & CEA List, together for quality code
Solid Sands & CEA List today announced their research collaboration to reinforce software trust.
See the Press Release
SuperTest Vermeer Release Update #2 adds enhanced C++ library coverage, C library code coverage and compiler error checking
Near 100% code coverage for the C standard library.
See the Press Release
ROHM’s Compiler Development – Improving Reliability with SuperTest
Japanese semiconductor company ROHM Co., Ltd. was established in 1958 in Kyoto and has since come a long way. The company was named ‘ROHM’ after the letter ‘R’ in its original main product, resistors, plus ‘ohm’, the unit of resistance. In line with the company’s mission of ‘Quality is First’, the R now also stands for ‘Reliability’.
Optimisation verification in embedded system design
Advanced compiler optimisations are not always robust and well-tested. Recent experiments with optimisation testing have uncovered errors in every compiler technology available, leading to the conclusion that advanced optimisation testing is currently an underdeveloped skill of compiler developers, requiring urgent action.
Click here to read the full magazine on Electronics World.
SuperTest Vermeer Release Update #1 from Solid Sands adds enhanced usability features for compiler developers and users
Calling convention testing is now integrated into standard SuperTest runtime configurations. It allows users to invoke it by simply adding the -c option to the test driver.
See the Press Release