Tailor-made compiler qualification for a perfect fit

Tailor-made compiler qualification for a perfect fit

The realisation that qualified compilers are a necessity in the development of safety-critical applications is finally hitting home in the automotive industry. Yet not every company has the capacity to qualify a compiler themselves for their specific configuration and compiler options – their use case. You may be using a pre-qualified compiler, but are you sure that matches the use case that your application is built with? This is why we introduce our Tailor-Made Compiler Qualification Service – for your configuration, your options and your environment.

read more
Discover source code errors before someone else does

Discover source code errors before someone else does

As programmers, we all make mistakes. Writing first-time-right C or C++ code is very unusual. One important function of a compiler is to spot these errors, issue diagnostics and prevent object code generation. If a compiler fails to detect source code errors they will propagate to the application, where your test department or worse still your customer will eventually find them. In safety-critical applications it could have serious consequences.

read more
Application source code testing is not enough

Application source code testing is not enough

It may sound as too obvious, but there is a big difference between the source code and the compiler generated code for an application. For one, compiler generated code is more complicated, because it often includes duplicated, and specialized, source code. So, why is it that when it comes to safety testing code according to the ISO 26262 standard, they are often treated as the same?

read more
The new SuperTest Release is here!

The new SuperTest Release is here!

As you may have seen on social media last week, the latest SuperTest release is here. It’s called SuperTest Vermeer Release and we’re very proud of it. Why? Because it reflects one of the things that the Dutch painter Johannes Vermeer was most famous for – an...

read more
How do you mitigate compiler errors?

How do you mitigate compiler errors?

In all our years of compiler testing, there’s one thing we can say for certain – no compiler is perfect. It’s inevitable that whenever you really put a new or old compiler through its paces you’ll find an error. That’s why compiler qualification for safety-critical...

read more

Black-box and white-box testing with SuperTest

We were recently asked if SuperTest is suitable for ‘white-box’ testing, in addition to its normal role as a ‘black-box’ testing platform. As legitimate as this question is, it reminded us that there might be some confusion surrounding black-box and white-box testing...

read more

Leveraging an optimizer’s strengths requires knowing its weaknesses

Most of the time, clients come to us with a specific request or problem and we try to find the best solution. Then we incorporate it in the next release of SuperTest. But we do much more than only work on a ‘you ask, we answer’ model. We like our job, so we are always working on new test capabilities to stay ahead of the changing compiler landscape. And that will always lead to some exiting new insights.

read more