Vérification et validation

Nous élaborons les cas d'essai directement à partir des exigences, de sorte que chaque activité de vérification conserve un lien clair et défendable avec ce que le système est censé faire — et nous mesurons la couverture structurelle (instructions, décisions et MC/DC lorsque le niveau DAL l'exige) afin de combler l'écart entre les essais fondés sur les exigences et le code tel qu'écrit.

Notre travail de V&V couvre l'automatisation des essais et le choix des outils, les campagnes en boucle matérielle (hardware-in-the-loop) et en cellule d'essai, ainsi que le soutien aux essais en vol, toujours dans le souci de garder les preuves organisées et traçables plutôt que simplement volumineuses.

Pour les programmes qui exigent une indépendance démontrable entre le développement et la vérification, nous mettons sur pied ou dirigeons des équipes de V&V indépendantes, qu'elles soient intégrées à votre organisation d'ingénierie ou qu'elles fonctionnent comme une entité distincte relevant directement de la gestion du programme.