Fiche de pratique Position dans le V : Vérifier Révisée le
Vérification et validation
Élaboration d'essais fondés sur les exigences, analyse de la couverture structurelle et direction d'équipes de V&V indépendantes, pour que les preuves de vérification se referment avant que l'autorité ne les échantillonne.
- Normes
- DO-178C
- Assurance
- Jusqu'au niveau d'assurance de conception (DAL) A, couverture des conditions et décisions modifiées (MC/DC) lorsque le niveau l'exige
- Quand faire appel à nous
- Avant le début de la vérification, ou avant le stade d'implication (SOI) 3
- Prestation
- Surtout à distance, sur place au besoin
Portée
Chaque essai a une raison, et chaque écart a une explication.
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. Nous mesurons la couverture structurelle (instructions, décisions et MC/DC, couverture des conditions et décisions modifiées, 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, et nous analysons ce que le chiffre ne couvre pas plutôt que de rapporter le chiffre seul.
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, intégrées à votre organisation d'ingénierie ou constituées en fonction distincte relevant de la gestion du programme. Le travail 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 avec des preuves organisées et traçables plutôt que simplement volumineuses.
Livrables
Les preuves que le SOI 3 échantillonne.
| Document | En quoi il consiste | Première revue |
|---|---|---|
| SVP | Plan de vérification logicielle : revues, analyses, essais, indépendance et résolution de la couverture | SOI 1 |
| Cas d'essai | Cas fondés sur les exigences, plage normale et robustesse, chacun tracé vers une exigence | SOI 3 |
| Procédures d'essai | Comment chaque cas est exécuté, sous gestion de la configuration et rejouable | SOI 3 |
| Résultats | Résultats de vérification, avec l'indépendance que le niveau exige | SOI 3 |
| Couverture | Couverture structurelle au critère du niveau, chaque écart analysé | SOI 3 |
| Traçabilité | De l'exigence au cas d'essai et au résultat, et du code vers l'exigence en retour | SOI 2 |
| Rapports de problème | Classés et traités, lus en pensant à la décision de livraison | SOI 3 |
SOI : les revues de stade d'implication (Stage of Involvement) de l'autorité.
De l'exigence au résultat
Le fil que l'examinateur tire.
Un examinateur choisit une exigence et la suit jusqu'au résultat qui montre qu'elle a été satisfaite; une rupture n'importe où devient un constat. Nous construisons la chaîne dans cet ordre.
- 01 Des cas à partir des exigences Cas en plage normale et cas de robustesse écrits à partir de l'exigence, jamais à partir du code.
- 02 Exécution Automatisée là où c'est rentable, en boucle matérielle et en cellule d'essai là où il le faut, en vol quand le programme y arrive.
- 03 Couverture Instructions, décisions ou MC/DC, selon le niveau, mesurée sur le code tel que construit.
- 04 Analyse des écarts Chaque construction non couverte expliquée : code mort, code désactivé ou essai manquant, chacun avec sa disposition.
La vérification ne se limite pas aux essais
Quatre sortes de preuves.
- Revues Exigences, conception et code revus selon une liste de contrôle, avec des comptes rendus, pas « en réunion ».
- Analyses Couverture, temps d'exécution et les autres analyses que les objectifs exigent, chacune avec une conclusion, pas seulement une mesure.
- Essais Fondés sur les exigences, en plage normale et en robustesse, avec des résultats sous gestion de la configuration.
- Indépendance Là où le niveau l'exige, dotée en personnel de façon que la promesse du plan soit arithmétiquement possible.
Notes de terrain