Requirements Toolbox

 

Requirements Toolbox

Créer, lier et valider des exigences pour vos designs et vos tests

Créer et organiser des exigences

Définissez vos exigences avec du texte enrichi, des attributs personnalisés et des mots-clés. Organisez vos exigences en hiérarchies pour définir les fonctionnalités au niveau système ou au niveau inférieur.

Intégrer des outils tiers de gestion des exigences

Importez et visualisez des exigences provenant d'autres sources, comme IBM® DOORS®, IBM DOORS Next, Microsoft® Word ou Microsoft Excel®. Utilisez le Requirements Interchange Format (ReqIF™) pour échanger des exigences avec des outils supportant ce format, comme Siemens Polarion® ALM™ ou encore Jama Connect™.

Tracer les exigences dans les designs, le code et les tests

Créez un lien numérique qui relie les exigences, les éléments du modèle, le code MATLAB, les dictionnaires de données, les cas de test et les harnais de test. Tracez-les exigences dans les outils de gestion externes. Intégrez des liens dans les rapports de génération de code depuis Embedded Coder.

Modéliser des exigences formelles

Définissez des exigences formelles en utilisant des expressions logiques avec le bloc Requirements Table (3:53) dans Simulink. Utilisez la simulation pour les valider et effectuez une analyse de leur justesse, cohérence et exhaustivité. Liez-les aux modèles de design pour vérifier leur conformité. Générez des tests liés aux exigences correspondantes avec Simulink Design Verifier.

Travailler simultanément avec les exigences et le design

Utilisez Requirements Perspective pour afficher, créer et organiser vos exigences directement dans les éditeurs de Simulink, System Composer ou Stateflow. Créez des liens par glisser-déposer sans modifier le modèle, utilisez des badges pour localiser les liens dans le modèle et annotez les diagrammes avec des exigences.

Analyser la couverture des exigences

Identifiez les lacunes dans l'implémentation et les tests, les exigences manquantes et les erreurs de design. Utilisez la matrice de traçabilité pour examiner les liens créés entre de grands ensembles d'exigences, des modèles et des tests, puis combler les lacunes par l'ajout de nouveaux liens.

Identifier l'impact des modifications

Découvrez l'impact des modifications dans les exigences et les cas de test de Simulink Test en examinant les éléments liés mis en surbrillance. Créez un diagramme de traçabilité pour visualiser et accéder aux éléments liés.

Générer des rapports sur les exigences

Créez des rapports configurables comprenant les liens, les informations sur les modifications, ainsi que l'état d'implémentation et de vérification. Utilisez ces rapports pour vos revues de design ou votre documentation.

Tracer les exigences dans le code et les tests MATLAB

Créez, gérez et parcourez des liens de traçabilité entre les lignes de votre code MATLAB, les informations sur les exigences contenues dans des documents externes et les cas de test dans MATLAB Test. Mettez en surbrillance la traçabilité dans l'éditeur MATLAB pour identifier les lacunes dans l'implémentation et les tests.

« Dans nos projets précédents, l'analyse de la couverture des exigences était effectuée manuellement et se fondait sur une évaluation subjective. Simulink, Simulink Coverage et Requirements Toolbox nous ont permis d'automatiser cette analyse et nous ont proposé des mesures objectives de couverture, ce qui nous a aidé à réduire d'environ 30 % nos délais de revue des exigences pour la certification »

Massimiliano Campagnoli, Alenia Aermacchi

Demander une version d’essai gratuite

Profitez de 30 jours pour tester.


Prêt à acheter ?

Découvrez les tarifs et les produits.

Vous êtes étudiant ?

Votre établissement propose peut-être déjà un accès à MATLAB, Simulink et d'autres produits complémentaires via la licence Campus-Wide.