Toutes les applications embarquees dans les domaines critiques sont validees par des tests. Ce n'est pas encore assez systematique dans d'autres secteurs. Les outils de test continuent de se perfectionner, mais on note surtout des changements dans la maniere de les utiliser. Autrefois cantonnes au seul cycle en V, les developpeurs ont desormais a leur disposition de nouvelles methodes de programmation. La conception orientee modele, la verification amont ou encore la methode agile comptent parmi celles-ci. Les "bugs" informatiques sont devenus monnaie courante dans l'informatique grand public, a tel point qu'on se contente de redemarrer son ordinateur et de relancer l'application qui vient de planter. Toutefois, dans l'univers des logiciels embarques, une erreur d'execution du programme peut avoir des consequences dramatiques. On se souvient.
展开▼