Reactis version 2018.2
La vision de Reactive Systems est que pour améliorer la qualité, la fiabilité, la sécurité et réduire les coûts, l’industrie des logiciels embarqués va accentuer l’utilisation de technologies de test et de validation rigoureuses et automatisées. Dans un monde où aujourd’hui une partie de code provient d’outils de modélisation mathématique et une autre de langages de programmation natifs tel que le C, la mission de Reactive Systems est de fournir aux ingénieurs de développement des outils de test et de validation automatisés pour les modèles Simulink & Stateflow ainsi que pour le C. Avec sa version Reactis V2018.2 de ses plateformes Reactis for Simulink & Reactis for C, Reactive Systems augmente à nouveau les capacités de simulation et de test de ses solutions
Simulation assistée améliorée
Dans cette nouvelle version V2018.2, le mode de simulation guidé par l'utilisateur du module « Reactis Simulator » permet de spécifier les entrées de niveau supérieur du modèle lors de son exécution. Ce type de pas à pas est utile pour déboguer le modèle ainsi que pour construire des tests de manière interactive. Comme le montre la Figure 1 ci-dessous, la version V2018.2 offre une boîte de dialogue améliorée pour contrôler ce pas à pas.
Les boutons de contrôle du pas à pas sont maintenant disponibles directement dans la boîte de dialogue. La sélection des signaux d’entrées peut être faite par un sous-ensemble de toutes les entrées ainsi que les sorties, des points de test ou des variables de configuration. Les variables de configuration ne peuvent être mises à jour qu'au début d'un test et les sorties et les points de test sont uniquement observés, non modifiés. Les plages de valeurs peuvent être facilement ouvertes pour tout sous-ensemble de signaux dans la boîte de dialogue.
Pour spécifier la valeur suivante qu'une entrée doit prendre, cela peut être fait soit en donnant une valeur concrète (précédemment prise en charge) ou via une expression pouvant faire référence aux valeurs précédentes des entrées ou à l'heure de la simulation. Ceci offre un moyen pratique de générer divers types de signaux. Par exemple, pour générer une rampe pour l'entrée X, il suffit simplement de spécifier pre (X) + 1. Dans cet exemple, pre (X) désigne la valeur que X avait lors de l'étape de simulation précédente. Pour générer une onde sinusoïdale, spécifiez simplement sin (t) (t est le temps de simulation).
Visualisation des plages de valeur via le Browser
Pour une visualisation plus facile des données de test, elles peuvent être maintenant directement affichées dans le navigateur de la suite de tests pour tous les signaux (entrées, sorties, points de test) contenus dans une suite de tests.
Commentaires associés à des cibles de couverture exclues
La version Reactis V2015 avait introduit la possibilité d’exclure des cibles de couverture individuelles du suivi de test. Lorsqu’une cible est exclue, le module « Reactis Tester » n'essaye pas de l'exercer lorsqu'elle génère des tests et la cible ne sera pas prise en compte dans le suivi et la création de rapports sur la couverture. La V2018.2 améliore cette fonctionnalité en permettant d'inclure des commentaires pour toute cible exclue.
Suivi de la couverture cumulative des sous-systèmes et modèles référencés
Il est typique d'implémenter des fonctionnalités utilisées plusieurs fois dans un modèle dans une bibliothèque Simulink ou un modèle référencé. Auparavant, si un modèle faisait référence plusieurs fois à un sous-système de bibliothèque ou à un modèle, chaque instance disposait de son propre ensemble de cibles de couverture. La V2018.2 permet le suivi de couverture cumulative, et toutes les instances d'un élément référencé peuvent être suivies ensemble.
Ainsi, une nouvelle copie de l'élément référencé apparaît dans une section sur les systèmes suivis de manière cumulative :
Dès lors toutes les interactions spécifiques aux données (survol, variables surveillées) auront toujours lieu au même endroit qu'avant (les instances de l'élément référencé), mais la couverture sera affichée de manière cumulative dans la nouvelle section des systèmes suivis de manière cumulative.
Information des versions des fichiers dans les fichiers « .rsi »
Le fichier .rsi est l'emplacement où Reactis stocke les contraintes de port d'entrée et les paramètres spécifiques du modèle pour un modèle. Avec la V2018.2, Reactis gère désormais les informations de version pour les fichiers .rsi.
API
Les fonctions suivantes ont été ajoutées à l’API de Reactis :
Nouvelles fonctionnalités Simulink® prises en charge
Conclusion
La gamme de produits Reactis® fournit une plateforme de test et de validation automatisée aux constructeurs de logiciels embarqués. En améliorant la productivité des ingénieurs et en permettant les tests dès la conception des modèles, Reactis permet de réduire de manière importante, les coûts de développement et d’améliorer la qualité et la sécurité des applications déployées.
Information des versions des fichiers dans les fichiers « .rsi »
Le fichier .rsi est l'emplacement où Reactis stocke les contraintes de port d'entrée et les paramètres spécifiques du modèle pour un modèle. Avec la V2018.2, Reactis gère désormais les informations de version pour les fichiers .rsi.
· Numéro de révision auto-incrémenté pour le fichier .rsi
· Nom de l'utilisateur ayant effectué la dernière modification du fichier
· Date de la dernière modification.
API
Les fonctions suivantes ont été ajoutées à l’API de Reactis :
- sRsiSetCumulativeCoverage : Active/Désactive le suivi de la couverture cumulative pour un modèle référencé ou un sous-système de bibliothèque
- RsRsiIsCumulativeCoverage : Vérifie l'état de suivi de la couverture cumulative d'un modèle ou d'un sous-système de bibliothèque référencé
- rsRsiGetCumulativeCoverage : Interroge tous les systèmes/modèles pour lesquels le suivi de couverture cumulative est activé
- Support MATLAB® R2018a/R2018b
- Lookup Table Block : Certaines restrictions sur les combinaisons de paramètres de type différents ont été assouplies. Plus précisément, la V2018.2 supporte la prise en charge des blocs de table de consultation dans lesquels le type de sortie ne correspond pas au type intermédiaire.
- Dans le plugin Embedded MATLAB, prise en charge de l’opérateur ~ pour ignorer une ou plusieurs valeurs de retour d’une fonction.
- Support des Signaux à 2 dimensions et plus (Simulink et Stateflow®)
- Support du réglage du port d’entrées pour la condition initiale du bloc « Delay »
- Support de Matrices comme condition initiale dans le bloc « Delay »
- Plugin Embedded MATLAB :
o Support arguments de type zéro, un et fonctions « eye »
o Support des expansions scalaires dans l’opérateur .^
Conclusion
La gamme de produits Reactis® fournit une plateforme de test et de validation automatisée aux constructeurs de logiciels embarqués. En améliorant la productivité des ingénieurs et en permettant les tests dès la conception des modèles, Reactis permet de réduire de manière importante, les coûts de développement et d’améliorer la qualité et la sécurité des applications déployées.
Contact Produit :
Fréderic MARAVAL – Responsable Produits Systèmes embarqués et Qualité logicielle – fmaraval@isit.fr