0
0 notes
Logiciel REFLEX Verification
Édité par la société
Artics
Toutes les captures d'écran
Communauté / région
Cible
Secteurs d'activité
Description
REFLEX Verification est un outil très efficace en phase de tests unitaires et tests d'intégration d'une application, et contribue à développer des logiciels sûrs.
L'outil permet d'abord de définir des propriétés (contrats) à imposer au niveau des composants et des applications ainsi que des règles de programmation (règles d'architecture, règles de nommage, etc...).
L'outil réalise ensuite une analyse mathématique des programmes et, par un mécanisme de preuves déductives, se charge de détecter les erreurs (non respect des propriétés et des règles).
REFLEX Verification est un outil très efficace en phase de tests unitaires et tests d'intégration d'une application, et contribue à développer des logiciels sûrs.
L'outil permet d'abord de définir des propriétés (contrats) à imposer au niveau des composants et des applications ainsi que des règles de programmation (règles d'architecture, règles de nommage, etc...).
L'outil réalise ensuite une analyse mathématique des programmes et, par un mécanisme de preuves déductives, se charge de détecter les erreurs (non respect des propriétés et des règles).
Fonctionnalités principales
Aucune fonctionnalité à présenter
Informations
Langues disponibles
Modes d'acquisition
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement
Langues disponibles
Modes d'acquisition
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement