Latest Blog Posts

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

Smart, green, desirable, affordable and safe – What makes a modern car ‘sellable’?
Today’s worries about car safety have shifted from traditional crash-test performance to the software systems that control many of the safety-critical components in the car. Compiler qualification with SuperTest plays an important...

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

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

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

Is the software community turning from C to C++?
Given the interest we’ve seen, and the many questions we’ve received for C++ compiler test and validation solutions, we certainly think so. In our last blog we explained some of the reasons – notably the increased use of artificial...

How Autonomous Driving leads to AI leads to C++
Autonomous driving, which the car industry is already gearing up for in the form of advanced driver-assistance systems (ADAS), requires vehicles to be more intelligent (at driving) than human beings. The solutions, based on...

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

Don’t let test coverage get lost in translation
Highly abstracted model-based design is a popular and efficient way of developing applications. You can design your model using (graphical) tools that closely reflect your application architecture, with all the advantages that...

Turn your compiler inside-out
Everyone knows that compiler test suites test the language features of a compiler. That’s what it says on the box. But there’s a lot more going on inside modern compilers than the straightforward translation of language constructs...