Latest Blog Posts
Support the latest chip designs with a compiler of the highest quality
With the emergence of new and customizable instruction set architectures like RISC-V, compiler developers face the challenge of keeping up with the latest chip designs by developing new compiler backends with code generators that...
Black box or white box? That is the question.
During our most recent webinar, SuperTest Live Demo, one of the audience members asked whether SuperTest and SuperGuard are suitable for ‘white-box’ testing in addition to their typical role as ‘black-box’ testing platforms for C and...
Compiler qualification: Do you know where to start?
Does your software development environment need to be fully compliant with functional safety standards such as ISO 26262, IEC 61508, EN 50128, EN 50716, or IEC 62304? With software now core to functional safety in an increasing...
Discover the ingredients of SuperGuard
SuperGuard is used to qualify and certify C and C++ standard libraries. It is a requirements-based test suite that provides evidence that a library implementation correctly implements its specification - a key part of the safety...
Artificial Intelligence has a mind of its own
While the dream of fully autonomous driving appears to have taken a back seat, other automotive applications of Artificial Intelligence (AI) have become increasingly sophisticated. For example, AI now plays an ever-greater role in...
Open-source compilers are great, but use with care
The GCC and LLVM communities continually perform a remarkable feat by implementing compiler behavior in accordance with the complexities of the C++ Standard. But does that mean developers can blindly trust these two open-source...
Compiler Exploring: Safety and Modernity
As compiler and library testers, we often find ourselves between the demands of developers and those of the functional safety industry. On the one hand, compiler developers are constantly pushing to implement the latest and greatest...
The ‘A’ Team comes to the rescue of code coverage analysis
Code coverage analysis… what is it and why is it vital when qualifying libraries? And why have Solid Sands and Rapita Systems got together to form an ‘A’ Team that will improve code coverage analysis on parts of the C++ standard...
C++ != (C+=1)
Due to the high demand for C++ Standard Library qualification, we are actively developing tests, test specifications, and requirements for the C++ standard library in SuperGuard. Everyone knows that C++ is based on C and preserves...
A compiler test suite that’s built for the job
We are often asked what differentiates SuperTest from open-source test suites for C and C++. If you are using the LLVM or GCC test suite, and even apply fuzz-testing, why would you also use SuperTest? You have a pretty good compiler...