Latest Blog Posts

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

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

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

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

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

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

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

The most safety-critical software tool in your application development process is the compiler. It generates virtually all the code in the application binary. However, modern compilers can be exceptionally creative in constructing...

Telling the compiler which version of the language you are using is essential because it improves the portability of your code at very little expense. Additionally, in safety and mission-critical applications, you must verify that...

In the last blog of our trilogy about test generators, we’ll explain Tempest2. You might have seen it mentioned in a previous blog but now we show additional perspectives. On the face of it, Tempest2 may look a lot like our original...