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.
site web de "mesures"

Siemens Corporate Technology a publié un article sur Conformiq Designer et un autre outil de "model based testing"
Siemens Corporate Technology a publié un article sur le sujet "Model-based testing in industry: a case study with two Model Based Testing tools".
Conformiq est considéré comme étant un outil fiable et facile d´utilisation. Plus d´informations

Les métriques (McCabe, Halstead) et l´index de maintenabilité
La complexité de code a une influence directe sur la qualité et le coût d´un logiciel. Elle impacte sur la durée de vie et l´exploitation d´un logiciel, et plus particulièrement sur son taux de défauts, sa testabilité et sa maintenabilité.
Dans cet article, Klaus LAMBERTZ, introduit différentes métriques (mesures) permettant d´évaluer la qualité du code, ainsi que la notion d´Index de Maintenabilité relative au coût de maintenance d´un logiciel.
Dans un second temps, il nous présente quelques outils permettant de mettre en pratique les notions introduites et d´établir une évaluation qualitative d´un code source / logiciel.
  Developpez LeMag No. 24 Octobre-Novembre 2009 (tutorial à partir de la page 51)

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"

Conformiq lance une solution de conception de test automatisé
Conformiq Inc. annonce la sortie de la version 2.1 de Conformiq Qtronic™, qui utilise désormais la puissance de l´informatique multi-coeur, distribuée et parallèle, pour une génération automatique plus rapide des cas de test. En distribuant les calculs sur des systèmes informatiques multi-coeurs, parallèles et distribués, les testeurs peuvent accélérer leur processus de génération de cas de test et ainsi réduire les coûts.
Article Programmez! (19/08/2009)

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)