Newsroom

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

Don’t let test coverage get lost in translation

Model-based design is a popular and efficient way of developing applications. But your model will ultimately have to be translated into executable machine code – a process that can introduce software artefacts. So how do you make sure that any artefacts introduced don’t impact your application?

read more

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 into executable code. For example, modern compilers often respond differently to different construct combinations, or optimize code for speed of execution or memory usage.

read more

Using legacy compilers in a modern environment

It’s not uncommon for a locomotive or airplane to be in use for 30 years or more. Last year, a Boeing 747 used by GE Aviation was retired after 50 years of active service and the Dutch Railways still have trains in service that were introduced in 1986. However, they rarely remain exactly the way they were built.

read more

If safety is your business, it pays to play it safe

If your embedded application is safety-critical, it’s only natural you’d want to do everything humanly possible to make sure it’s 100% tested and free of bugs. So you test, test and test again at every stage of software development, until you’re finally ready to compile and test the application on your target hardware.

read more