Toutes les applications embarquées dans les domaines critiques sont validées par des tests. Ce n’est pas encore assez systématique dans d’autres secteurs. Les outils de test continuent de se perfectionner, mais on note surtout des changements dans la manière de les utiliser. Autrefois cantonnés au seul cycle en V, les développeurs ont désormais à leur disposition de nouvelles méthodes de programmation. La conception orientée modèle, la vérification amont ou encore la méthode agile comptent parmi celles-ci.