Reactis V2023.2

Reactive Systems a le plaisir d'annoncer la disponibilité de Reactis® for Simulink® V2023.2 et Reactis for C V2023.

Plusieurs des nouvelles fonctionnalités de cette version s'appliquent à la fois à Reactis for Simulink et à Reactis for C. 

Lien entre le modèle Simulink et le code source C
Reactis for Simulink V2023.2 et Reactis for C V2023 peuvent être connectés pour permettre l'exploration et la co-simulation d'un modèle Simulink et du code source C généré à partir de celui-ci. En cliquant sur un bloc Simulink, un état Stateflow ou une transition dans Reactis for Simulink, l'élément de modèle est mis en surbrillance avec la ou les lignes de code correspondantes dans Reactis for C. De même, en cliquant sur une ligne de code, cette ligne est mise en surbrillance avec le ou les éléments de modèle correspondants. Dans Reactis Simulator, la définition d'un point d'arrêt dans le code entraîne la définition d'un point d'arrêt dans le modèle, de sorte que le code et le modèle peuvent être exécutés en parallèle. La couverture et les valeurs des variables peuvent être inspectées simultanément dans le code et le modèle. Actuellement, la liaison prend en charge le code généré par Embedded Coder® de MathWorks.

Filtrer les éléments d'une liste dans un certain nombre de boîtes de dialogue
Reactis comprend de nombreuses boîtes de dialogue qui affichent une liste d'éléments. Par exemple, l'éditeur de fichiers d'information Reactis comprend des panneaux avec des listes d'entrées, de sorties et de variables de configuration. La version 2023.2 introduit une fonction de recherche facile à utiliser pour ces listes. Une boîte de filtre au-dessus de chaque liste vous permet d'entrer un terme de recherche pour n'afficher que le sous-ensemble d'éléments de la liste correspondant à ce terme.

Visualisation des fichiers d'en-tête C
Le plugin Reactis for C permet de tester en boîte blanche les parties de code C d'un modèle (S-Functions, C Caller Blocks, Stateflow Custom Code) et Reactis for C (version standalone) permet de tester le code C non contenu dans un modèle. Lorsque vous utilisez l'une ou l'autre des versions de Reactis for C, Reactis Tester vise à exercer les cibles de couverture dans le code C et Reactis Simulator vous permet d'entrer dans le code C pour le débogage et la visualisation des informations de couverture. V2023.2 étend chaque version de Reactis for C pour supporter l'affichage des fichiers d'en-tête (en plus de l'affichage déjà supporté des fichiers source .c).

Autres améliorations

• La section sur le nombre d'appels de fonctions dans le rapport d'exécution des tests est maintenant optionnelle.
• Amélioration de l'affichage et de la recherche de la documentation

Mises à jour de Reactis for Simulink

En plus des mises à jour communes listées ci-dessus, la version 2023.2 inclut les mises à jour suivantes spécifiques à Reactis for Simulink.

• Fonctionnalités Simulink nouvellement prises en charge

- MATLAB R2023b.
- Références au bloc Data Store Memory.

• Mises à jour de Reactis for EML Plugin

Le plugin Reactis for EML prend en charge les tests en boîte blanche des parties MATLAB® embarquées d'un modèle (blocs de fonction MATLAB et langage d'action EML dans Stateflow). Lors de l'utilisation du plugin, Reactis Tester vise à exercer les cibles de couverture dans le code EML et Reactis Simulator vous permet d'entrer dans le code EML pour le débogage et la visualisation des informations de couverture. V2023.2 ajoute la prise en charge de la couverture de conditions multiples (MCC) dans l'EML, et prend en charge un certain nombre de nouveaux aspects du langage Embedded MATLAB® :

- Dans MATLAB, l'indexation vectorielle vous permet d'extraire une colonne ou une ligne entière d'une matrice en utilisant deux points ( :) dans la composante ligne ou colonne d'une expression d'indexation matricielle. Par exemple, si X est une matrice, X( :,i) extrait la colonne i et X(j, :) extrait la ligne j. La version 2023.2 étend la prise en charge de l'indexation vectorielle dans Reactis pour inclure l'accès à une ligne ou à une colonne d'une matrice qui est un élément d'une structure. Si un modèle contient un code EML utilisant une structure A avec un champ de matrice B, Reactis supporte maintenant l'expression A.B( :,i) pour extraire une colonne et A.B(j, :) pour extraire une ligne.
- Les opérateurs relationnels avec des arguments matriciels, y compris l'expansion scalaire (si un opérateur relationnel a un argument matriciel et un argument scalaire, l'expansion scalaire est appliquée à l'argument scalaire).
- Le troisième argument de la fonction bitshift pour spécifier un type supposé pour le premier argument.
- Les arguments entiers de la fonction sign.
- L'utilisation des valeurs de retour des fonctions à valeurs de retour multiples pour mettre à jour les éléments des structures et des tableaux, par exemple [x(1), y.z] = twoReturnVals() ;.
- fonctions diff et cumsum.
- Les mots-clés nan et NaN pour représenter la valeur double Not a Number (pas un nombre).
- Ignorer les directives Embedded Coder de la forme coder.directive( argument).

• Autres améliorations

- Pour l'import/export CSV, spécifier la base d'index (0 ou 1) pour les vecteurs, les matrices et les tableaux de bus.
- Option pour garder MATLAB ouvert entre les invocations de Reactis

Mises à jour de Reactis for C

En plus des mises à jour communes listées ci-dessus, la V2023 inclut les mises à jour suivantes spécifiques à Reactis for C.

- Prise en charge de l'API pour l'activation et la désactivation du suivi de la couverture au niveau du fichier.