Modules additionels pour VectorCAST/Cover
MC/DC
Notre module de couverture de conditions/décisions modifiées (MC/DC) fournit deux types de vérification pour les expressions conditionnelles. Le premier type (appelé MC/DC Branches) évalue chaque sous-condition d'une expression donnée afin de vérifier si chacune de celles-ci ont été dûment testées avec une valeur vraie et une valeur fausse. Le deuxième type de vérification (appelé Equivalence Pairs) vérifie si chaque sous-condition peut indépendamment affecter la valeur de la condition. Pour ce faire, une table de vérité est produite pour l'expression. Des pairs de rangées qui donnent un résultat différent quand une seule sous-condition est modifiée tout en ne modifiant pas les autres sont identifiées. Si, durant l'exécution, une paire par sous-condition a été exécutée par les jeux de test, alors le test en son ensemble démontre qu'en changeant qu'une seule valeur de test, le résultat de la condition s'en trouve changée.
