MC/DC

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 disfonctionnement) 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.

• Portail de l’aéronautique