Latest Blog Posts
Robust testing of function calls is essential to compiler qualification
You can only have real confidence in a compiler if you know it’s been rigorously tested. While testing a compiler against the relevant language specification is relatively straightforward, ensuring that it correctly exercises complex...
How does compiler qualification actually work?
We frequently discuss compiler qualification and its importance in making sure that your safety-critical components work properly and adhere to safety standards. But what actually is compiler qualification? How does it work? In...
Two things you can depend on: the C language and SuperTest
It’s the end of another decade. One that saw supercomputer performance grow by a factor of 100, so Moore’s law is still going strong. Almost as old as Moore’s law, the C language and SuperTest are also alive and kicking. With the...
Using an open-source ISA makes compiler validation essential
Open-source software is everywhere – in the global IT infrastructure, in our PCs and in our cars. On the other hand, open-source hardware is far less visible. With the emergence of RISC-V that may be about to change. While we see...
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...
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...
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...