MC/DC
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
La Modified Condition/Decision Coverage (MC/DC - Couverture Condition/Décision Modifiée) est utilisée par la norme DO-178B afin d'assurer qu'un logiciel aéronautique de DAL A (niveau logiciel le plus élevé de cette norme : conséquences catastrophiques en cas de dysfonctionnement) est testé de manière adéquate.
Cette méthode de test se veut exhaustive, au sens où elle impose les règles suivantes :
- Chaque décision teste toutes les sorties possibles
- Chaque condition dans une décision prend toutes les sorties possibles
- Chaque point d'entrée et de sortie est passé
- Il est démontré que chaque condition dans une décision affecte indépendamment la sortie de la décision
En pratique, on démontre ce dernier point en changeant uniquement une condition à la fois.
