De nouveaux outils facilitent la certification logicielle
Pour faire face à l´explosion de la complexité des programmes, les industriels des secteurs critiques ont mis en place des procédures de certification logicielle qui apportent la garantie d'un certain niveau de qualité, de sûreté et de fonctionnement. ...
... Pour obtenir une certification , il faut apporter une preuve de la qualité des tests grâce à un outil de couverture de test. Il indique les parties déjà ecécutées et les parties restant à tester.
site web de "mesures"

Un programme académique chez Verifysoft
Pour l´éditeur Verifysoft, l´erreur logicielle "doit être nulle quand des vies sont en jeu."
Ainsi, l´éditeur allemand proposera un programme académique dédié spécialement aux écoles et universités.
Article toolinux (26/02/2009)

Applications embarquées - Test logiciel: des méthodes sortent des sentiers battus
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.
  Article mesures (numéro 817 - septembre 2009)
site web de "mesures"