NSCvCC de Jeda Technologies
Cet outil de vérification des modèles assure la mesure de la qualité des blocs d’IP et la détection du code pas entièrement testé.
Couverture des décisions/conditions
Couverture des conditions multiples
Couverture fonctionnelle du code
Support des langages C/C+ et SystemC
Rens. : www.jedatechnologies.net
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.