Qu'est-ce que la MC/DC?
Le test de décisions-conditions modifiées, le test de conditions de branchement et le test de conditions de branchement combinées sont étroitement liés, tout comme les mesures de couverture associées.
Considérons le code de fragment suivant:
Les opérandes booléens de la condition de décision sont A, B et C. Ils peuvent eux-mêmes est constitués d'expressions complexes impliquant des opérateurs de relation. Par exemple, l'opérande booléen A peut être une expression de type X >= Y.
Cependant, pour des raisons de clarté A, B
et C seront considérés comment des opérandes booléens simples dans les exemples suivants.
Comprendre la MC/DC
La MC/CD est calculée à l'aide de la relation suivante:
Il s'agit d'un compromis pragmatique nécessitant moins de scenarii de test que la couverture des conditions de branchement. Il est fréquemment utilisé dans le développement de logiciels avioniques, conformément à la norme RTCA/DO-178B.
La MC/DC exige que les scenarii de test indiquent que chaque opérande booléen (A,
B et C) peut indépendamment affecter l'issue de la décision. Cela est inférieur à toutes les combinaisons (conformément à la couverture des conditions de branchement).
Exemple
Pour la condition d'exemple, la MC/DC peut être obtenue avec l'ensemble d'entrées de test suivant (notez qu'il existe d'autres ensembles de tests d'entrée qui permettent aussi d'obtenir la MC/DC):
Résultat du scénario A B C
1 FAUX FAUX VRAI FAUX
2 VRAI FAUX VRAI VRAI
3 FAUX VRAI VRAI VRAI
4 FAUX VRAI FAUX FAUX
Dans l'exemple ci-dessus:
- On constate que A affecte indépendamment le résultat de la condition de décision par le scénario 1 et le scénario 2;
- On constate que B affecte indépendamment le résultat de la condition de décision par le scénario 1 et le scénario 3;
- On constate que C affecte indépendamment le résultat de la condition de décision par le scénario 3 et le scénario 4.
Pour obtenir 100 %, la MC/DC requiert au minimum n + l scenarii de test et au maximum 2n scenarii de test. Par conséquent, il existe un compromis pratique avec la couverture de conditions de branchement dans laquelle les expressions de condition impliquent plus que quelques opérandes booléens.
Mesurer la MC/DC avec LDRA Testbed
suite d'outils LDRA Testbed affiche les critères des résultats de couverture MC/DC suivants:
- La liste des conditions de branchement (BC) produites dans l'analyse BC pour obtenir le numéro de condition de branchement.
- Le tableau des conditions de branchement combinées (BCC) produit dans l'analyse BCC afin de déterminer quelles combinaisons ont été exécutées.
L'analyse MC/DC est présentée pour chaque expression listée en bas de la section Couverture de conditions de branchement du rapport d'analyse de couverture dynamique.
Obtenir plus d'informations
Pour plus d'informations sur cette fonctionnalité spécifique de TBsafe et sa disponibilité, veuillez remplir le formulaire de réponse de LDRA ou envoyer un e-mail à .
|
