REFLEX Verification

REFLEX Verification permet de vérifier formellement la qualité et l'intégrité des composants et des applications de contrôle-commande développées avec REFLEX Studio.

 

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).