Vérification & Validation de vos logiciels

La vérification et la validation des logiciels sont aussi critiques que coûteuses en temps. En effet, les ingénieurs passent des heures à contrôler la fiabilité de leurs calculs manuellement.  De ce fait, la validation automatique en amont d’un logiciel critique est plus que rentable. Avec Numalis la validation numérique est faite automatiquement, vous permettant d'économiser beaucoup de temps tout en tout en gagnant en sureté et fiabilité. 
La gamme Spoat analyse votre code dès le début et vous en donne une vue complète. Ceci est rendu possible grâce à notre suite d’outils complets et totalement scriptables conçus pour des programmeurs non-experts qui gèrent la conception de systèmes de calculs complexes. 
La gamme actuelle de Spoat est composée de Spoat-Vulnerability qui détecte automatiquement les vulnérabilités numériques, et de Spoat-Trust qui construit des plans de tests fiables de fonctions numériques.  
Pour une description plus facile à partager merci de vous référer à notre brochure en ligne.

Spécifications fonctionnelles de Spoat-Vulnerability

Le but de Spoat-Vulnerability est de découvrir toutes les vulnérabilités numériques sur les variables, blocs, fonctions, modules de votre code. Les vulnérabilités peuvent être des dérives numériques, des codes instables, des casts risqués, etc. Pour ce faire Spoat-Vulnerability s’appuie sur des analyses dynamiques, statiques et statistiques (en combinaison avec Spoat-Trust). L’analyse dynamique permet de découvrir :
  • La dérive numérique sur toutes les variables
  • Les tests instables (flot d’exécution divergent)
  • Les casts incorrects
L’analyse statique vous permet :
  • D’extraire les domaines de valeurs représentatifs
  • Découvrir le maximum d’erreurs possible
  • Mesurer la sensibilité aux entrées
L’analyse statistique vous permet (en combinaison avec Spoat-Trust) de :
  • Enrichir l’analyse statique pour qu’elle se fasse dans les mêmes conditions qu’un hardware spécifique
  • Faire de la cross-validation de résultats
  • Obtenir des sous-approximations sûres

Spécifications fonctionnelles de Spoat-Trust

L’objectif de Spoat-Trust est de caractériser le comportement numérique de librairies externes (sans accès au code source) ou de hardware spécifique. En particulier l’analyse statistique permet de :
  • Mesurer la précision de n’importe quel opérateur ou petites fonctions
  • Déterminer des benchmarks minimaux tout en garantissant la reproductibilité des résultats de l’analyse de précision numérique
  • Construire automatiquement ces benchmarks

Spécifications techniques de la gamme Spoat

Les versions actuelles des outils de la gamme Spoat ont les spécifications techniques suivantes :
  • Compatibles pour les langages C/C++/Ada2012
  • Fonctionnent sur des plateformes Linux (version actuelle de Debian stable et autres)
  • Interface scriptable
  • Affichage des résultats à travers une GUI, optionnelle, simple d’usage
  • Conçus pour fonctionner sur des postes de travail classiques (architecture multi-cœurs avec moins de 12 Go de RAM)
Si vous utilisez des langages ou librairies spécifiques ou des langages réalisés vous-même, nos outils peuvent s’interfacer avec. Merci de prendre contact avec notre équipe via notre email support@numalis.com pour que nous puissions étudier comment rajouter le support nécessaire.

Services disponibles en plus des licences de nos logiciels

En plus de nos licences nous fournissons les services suivants afin de faciliter l’utilisation au maximum par vos ingénieurs de nos outils. En particulier nous fournissons les services de :
  • Formation (sur devis)
  • Support (abonnement)
  • Maintenance d’urgence (abonnement)
  • Maintenance préventive (abonnement)
  • Amélioration continue (abonnement)
  • Déploiement opérationnel (sur devis)
Pour toutes questions concernant ces services merci de nous écrire via la page contact.