ANTYCIP une offre Leader d'équipements pour la fabrication et le test de produits microélectroniques et électroniques

           FR  EN  ESP
Produits

Outils pour le développement et la validation de logiciels

X Fermer
Nos experts techniques restent à votre disposition pour répondre à vos questions par téléphone

+33 1 70 26 08 25

Accueil / Outils pour le développement et la validation de logiciels / Validation, vérification et certification de logiciels embarqués critiques / ABSINT - RuleChecker - vérification de règles de codage

ABSINT - RuleChecker - vérification de règles de codage

RECHERCHER
Par marques :
Par mots-clés :
  

ABSINT - RuleChecker - vérification de règles de codage

Descriptif complet :
RuleChecker est un nouveau produit proposé par ABSINT.

Dérivé du produit Astrée, RuleChecker vérifie efficacement des règles de codage et calcule des métriques à partir de votre code source C-99

Pourquoi utiliser RuleChecker?
Le respect de règles de codage, telles que les règles MISRA-C 2012, et la maîtrise de la complexité de votre code embarqué grâce à la mesure de métriques reconnues par l'industrie font partie des bonnes pratiques en vigueur pour l'amélioration de la qualité et de la fiabilité du code.
RuleChecker est un outil dérivé de la technologie d'analyse statique du logiciel Astrée commercialisé par ABSINT

RuleChecker vous propose une sélection très complète de règles de codage sur étagère, provenant des standards de l'industrie:
  • MISRA-C 2004
  • MISRA-C 2012, inclus Amendement 1
  • ISO/IEC TS 17961:2013
  • SEI CERT Secure C
  • MITRE Common Weakness Enumeration (CWE)
Par ailleurs, RuleChecker mesure la complexité de votre code grâce au support des métriques les plus utilisées dans l'industrie, notamment les "HIS metrics": complexité cyclomatique, densité des commentaires, nombre d'appels de fonctions, etc.

Sélection des règles à vérifier
    
L'interface graphique de RuleChecker est basée sur celle d'Astrée, et permet de  configurer l'analyse et d'en visualiser les résultats avec une grande productivité
RuleChecker peut être également exploité en mode batch, sans supplément.
  
  
RuleChecker s'intègre dans de nombreux environnements de développement tels que TargetLink, Jenkins, Eclipse...
  
RuleChecker peut être qualifié vis à vis des normes industrielles de sûreté de fonctionnement, telles que ISO-26262, DO-178B/C, IEC-61508, EN-50128
Nous sommes à votre disposition pour toute information complémentaire ou pour mettre à votre disposition une version d'évaluation


AUTRES PRODUITS DANS Outils pour le développement et la validation de logiciels

PRODUITS
CONTACT

Renseignement, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter

Mentions légales - Crédit photo - Copyright Antycip 2015 - Administration
  OK