> SoArM ® : Outil de modélisation d’architecture logicielle
- Importation de spécifications
- Modélisation d’architecture logicielle
- Visualisation des flux de données entre spécifications
- Représentation de la force des flux entre spécifications
- Analyse de cohérence de spécifications
- Analyse des caractéristiques des flux (min ,max, résolution…)
- Représentation de l’interconnexion des spécifications |
 |
> Génération automatique de plan et de rapport de validation
- Définition de librairies de tests
- Réalisation automatique de plan de validation sur les librairies de test
- Définition des propriétés du projet
- Définition de la séquence des stimuli
- Définition des réponses attendues du système
- Renseignement des attendus pour chaque stimulus
- Calcul des attendus à partir d’un modèle
- Pilotage du banc HIL pour dérouler le plan de validation
- Extraction des résultats et génération automatique du rapport de validation |
 |
|
Activités 
