A multitool for test generation

For me as a software engineer, it is difficult to suppress the urge to automate. Regardless the complexity of a task, in my ideal world everything would be automated. Generating tests is no exception to this rule, so naturally we have a few tricks up our sleeves to...

Qualifying your compiler in practice: the expert speaks

As Qualification Lead Engineer, my main role at Solid Sands is leading compiler qualification projects as part of our Compiler Qualification Service. In the four years I have worked here, I have seen many compilers, many compiler defects, and many customers surprised...

Safety is important everywhere

You can choose between reading an article about bungee jumping or going out and doing it. If you choose to jump, functional safety kicks in. Bungee jumping is a safety-critical activity, because if your equipment fails you may find yourself in hospital, or worse....

Verification of floating-point accuracy is important

Floating-point values can look a lot like Real Arithmetic, but there are a lot of tricky details at the fringes. The accuracy of floating-point results is one of them, and so is its verification. The mathematically correct result of a floating-point calculation can...

Library code coverage – be aware of the challenges

Achieving a high level of code coverage through testing is one of the requirements of functional safety standards such as ISO 26262. Standard libraries are loaded into your safety-critical device like any other piece of code, so library code should be tested just as...