Générer des cas de test pour un modèle

Dans Simulink^® Design Verifier™, un cas de test est un ensemble de valeurs d’entrée et de sorties attendues correspondantes, utilisé pour vérifier qu’un modèle se comporte comme prévu dans des conditions spécifiées. Simulink Design Verifier vous permet de générer des cas de test pour la couverture du modèle, ainsi que des objectifs personnalisés. Vous pouvez également mesurer la couverture des cas de test existants basés sur les exigences et étendre ces cas de test afin d’augmenter la couverture ou d’obtenir une couverture complète.

Avant de débuter une analyse, vérifiez la compatibilité de votre modèle. Simulink Design Verifier n’analyse le modèle que s’il est compatible avec l’analyse. Une fois la compatibilité confirmée, spécifiez les réglages de génération des cas de test sur le modèle et exécutez l’analyse. Une fois l’analyse de génération des tests terminée, examinez les résultats.

Il existe différents moyens d’examiner les résultats de l’analyse :

• Examiner les résultats de l’analyse en un coup d’œil en les mettant en surbrillance sur le modèle.

• Créer un modèle de harnais de test pour simuler les cas de test ou débugger des contre-exemples.

• Générer un rapport sur la couverture du modèle.

• Afficher les tests générés dans le Simulation Data Inspector.

• Générer un rapport au format HTML ou PDF contenant des informations détaillées concernant les résultats de l’analyse.

Exemple de modèle

Ce tutoriel utilise un modèle simplifié de régulation de la vitesse sldvexCruiseControl qui ajuste le papillon des gaz du moteur pour maintenir la vitesse spécifiée. Vous générez des cas de test qui satisfont aux objectifs de couverture des conditions et des décisions du modèle, puis vous simulez ces cas de test pour générer le rapport concernant la couverture du modèle.

Ce modèle de régulation de la vitesse sldvexCruiseControl satisfait aux exigences suivantes :

• Le système de contrôle est activé lorsque les signaux engage et enable sont true. Cette condition est définie par le bloc AND.

• Lorsque le système est activé, le bloc Switch transmet set speed au contrôleur PI. Le contrôleur PI calcule throttle en intégrant le terme d’erreur défini par la différence set speed - current speed.

• throttle continue d’augmenter ou de diminuer jusqu’à ce que set speed soit supérieur à current speed ou inférieur à current speed, respectivement.

• Lorsque le système n’est pas activé, le bloc Discrete-Time Integrator se réinitialise. Le terme d’erreur est nul. Autrement dit, le throttle est en position de réinitialisation.

Lorsque vous procédez à une analyse de génération de tests, Simulink Design Verifier génère des cas de test pour les objectifs de couverture du modèle associés à chaque élément du modèle. La table répertorie les objectifs de couverture des conditions et des décisions pour les blocs du modèle associés.

Blocs	Objectif de couverture du modèle	Description du cas de test généré
AND	Condition	Chaque valeur d’entrée est définie sur vrai ou faux de manière indépendante.
NOT	Condition	L’entrée est définie sur vrai ou faux de manière indépendante.
Switch	Décision	Le cas de test démontre que le Switch transmet les deux signaux d’entrée à la sortie.
Discrete-Time Integrator	Décision	Le cas de test démontre le comportement de saturation de l’intégrateur. Satisfait aux conditions de réinitialisation externe.

Dans ce tutoriel, vous effectuez une analyse de génération de tests sur le modèle sldvexCruiseControl. L’analyse génère des cas de test qui satisfont aux objectifs de couverture des conditions et des décisions du modèle.

Découvrez comment :

1. Configurer les réglages du modèle pour une analyse Simulink Design Verifier.

2. Vérifier la compatibilité d’un modèle pour l’analyse de génération de tests.

3. Configurer le modèle pour générer des tests et effectuer l’analyse.

4. Afficher les résultats de l’analyse de génération de tests.

5. Créer un modèle de harnais et générer un rapport de couverture.

Pour débuter le tutoriel, consultez Préparer le modèle à l’analyse de génération de tests.