Test de régression
Vérifiez que rien n’a changé après toute mise à jour du modèle, du code ou de la version d’un outil.
Une chaîne d’outils mise à niveau ou un modèle restructuré peuvent modifier le comportement sans que cela soit détecté.
Lorsque les équipes mettent à niveau leur chaîne d’outils de génération de code ou restructurent un modèle ou son code de production, il n’existe aucun moyen fiable de confirmer que le comportement n’a pas changé, à moins de tout tester à nouveau à la main.
Un test back-to-back appliqué à deux versions.
Les tests de régression appliquent le même mécanisme de test back-to-back à deux versions de la même implémentation, au lieu de deux implémentations différentes : la version précédente comme référence, la version actuelle comme comparaison. Les mêmes vecteurs de stimuli, les deux mêmes moteurs et les mêmes types de rapports s’appliquent.
Régression logicielle ou qualification des outils.
Régression logicielle
Cette vérification est particulièrement importante après une optimisation ou une restructuration du code, lorsque le comportement doit rester identique : un test de régression en apporte la preuve.
Qualification des outils
Lorsque les équipes mettent à niveau leur chaîne d’outils de génération de code, cette comparaison fournit un élément de preuve formel attestant que le comportement du code généré n’a pas changé. Elle remplace ainsi une nouvelle revue manuelle par une comparaison automatisée et traçable.
Vecteurs de stimuli, exécutés sur les deux versions.
Les vecteurs de stimuli sont générés automatiquement pour atteindre les objectifs de couverture structurelle et de robustesse, à l’aide d’un moteur heuristique rapide (ATG) et d’un moteur formel de vérification de modèles (CV), capable de démontrer mathématiquement qu’un objectif est inatteignable. Les mêmes vecteurs sont exécutés sur les deux versions ; tout écart est automatiquement signalé et localisé.
Découvrir le mécanisme complet du test back-to-backGère les grands modèles et les pipelines fortement sollicités.
Approche de test hiérarchique
Sur les modèles de grande taille, les tests de régression deviennent difficiles si l’analyse se limite au niveau supérieur. BTC TestStack peut analyser les sous-périmètres indépendamment avant d’agréger les résultats au périmètre de niveau supérieur, afin que la génération reste maîtrisable à mesure que la complexité augmente.
En savoir plus sur l’approche hiérarchiqueAutomatisation des tests et CI/CD
Le module complémentaire d’automatisation des tests exécute les flux de travail de régression sans intervention. Ils peuvent être déclenchés par un script ou par Jenkins et produisent, une fois terminés, un rapport HTML complet. Une REST API et une image de conteneur Linux permettent de les exécuter sur vos propres serveurs ou dans le cloud.
En savoir plus sur l’intégration CI/CDDes éléments de preuve conçus pour le dossier de qualification.
Chaque exécution de régression produit les mêmes rapports de test back-to-back, d’analyse du code et de couverture du modèle que ceux utilisés dans BTC TestStack. Ils sont versionnés comme éléments du profil et peuvent être exportés pour les dossiers de qualification des outils ou la documentation client.
BTC TestStack
est certifié ISO 26262
Le certificat porte sur des normes de sécurité fonctionnelle dans plusieurs secteurs :
Pour ISO 26262, BTC TestStack est certifié selon le niveau de confiance dans l’outil (TCL) le plus élevé, valable pour tous les niveaux ASIL, y compris ASIL D. Sur demande, nous fournissons gratuitement le certificat et le rapport aux clients, ce qui supprime l’essentiel de leur effort de qualification des outils.
Découvrir le reste de la suite.
Test back-to-back
Les tests back-to-back entre modèle et code sont fortement recommandés par la norme ISO 26262.
Test de migration
Assurez-vous que les nouvelles versions d’outils n’introduisent pas de changements involontaires dans le comportement de votre logiciel !
Intégration continue et cloud
Exécutez les tests unitaires et d’intégration dans votre pipeline CI/CD et détectez les problèmes de qualité au plus tôt, à chaque commit.
Échangez avec notre équipe d’ingénierie.
Expliquez-nous où se situe réellement votre difficulté d’ingénierie. Nous vous indiquerons si la prochaine étape la plus pertinente est une licence d’évaluation, un atelier ou un échange.