• Real-time systems
• 3
• Modelling hardware

Testing by repeatedly measuring the execution time of a task is tedious and typ­i­cally not safe. It is often impossible to prove that the conditions determining maximum exe­cu­tion time have been taken into account.

“Testing, in general, cannot show the ab­sence of errors.” — DO-178B/C

“Testing by itself is not suf­ficient.” — FDA