This requires the ability to: ??? launch the tests on some executable version (traceability problem), and ??? analyse (observe and evaluate) the results (not granted for embedded systems)I am not saying testing is superior and we should disregard other approaches: on the contrary, testing and other methods should complement/support each other 5.