Modules additionels pour VectorCAST/C++
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.
Le gestionnaire de la traçabilité des exigences VectorCAST
Le gestionnaire de la traçabilité des exigences VectorCAST permet la communication entre un gestionnaire d'exigences logicielles et les outils de test VectorCAST. Grâce à une interface simple et intuitive, les ingénieurs informatiques peuvent lier les exigences aux jeux de test qui les vérifient de manière rapide et facile. Une fois les jeux de test exécutés, les informations de traçabilité peuvent être visualisées depuis VectorCAST ou depuis le gestionnaire des exigences. Les utilisateurs peuvent également choisir exactement les attributs VectorCAST qui sont retransmis à la base de données des exigences. Des données comme le nom du test, le résultat du test (réussi, échoué, ou nul) et le pourcentage du code sous test couvert peuvent être liés aux attributs de leur choix au sein de la base de données.
