Améliorez vos tests unitaires

TBextremePLUS : Venez visionner la vidéo, de LDRA, qui montre comment les fonctionnalités de cet outil peuvent améliorer les tests unitaires.

La génération automatique de cas de test consiste à générer des cas de test pour une fonction logicielle, un fichier ou une application en fonction de paramètres et d'une configuration de test minimaux spécifiés par l'utilisateur. Dans certains cas, des méthodes formelles peuvent être utilisées pour caractériser le logiciel testé (SUT) et réduire la quantité de données spécifiées par l'utilisateur ainsi que le nombre de cas de test qui produisent une couverture structurelle qui se chevauche. La génération automatique de cas de test ne remplace pas les tests basés sur les exigences, mais les complète. De plus, les cas de test générés automatiquement peuvent être utiles pour évaluer la robustesse du logiciel et découvrir les faiblesses et les vulnérabilités en matière de cybersécurité .

TBextremePLUS est un module optionnel de la suite d'outils LDRA qui automatise les tests RBT ainsi que les tests de robustesse. Il peut être utilisé pour accélérer la création d'un ensemble initial de tests RBT et pour créer des tests dans le but d'augmenter la couverture structurelle . Les fonctionnalités telles que BVT et ECT sont essentielles pour les tests de robustesse conformes aux normes DO-178C , ISO 26262 et IEC 61508 , ainsi que pour le fuzzing, essentiel à la cybersécurité . Avec les cas de test créés manuellement, les cas de test générés par TBextremePLUS peuvent être inclus dans l'ensemble complet de cas de test utilisés pour vérifier les logiciels et effectuer des tests de régression. L'exploitation de ces fonctionnalités au sein de la suite d'outils LDRA améliore la qualité du logiciel tout en satisfaisant aux exigences de sécurité et de sûreté fonctionnelles, ce qui se traduit par une efficacité, une prévisibilité et une fiabilité améliorées.

Les avantages de l’utilisation de TBextremePLUS incluent :

• La génération automatisée de tests basés sur les exigences réduit les coûts et les efforts
• La génération optimisée de cas de test maximise la couverture tout en minimisant le nombre de cas de test
• Améliore la robustesse, la qualité et la cybersécurité des applications
• Contribue à la conformité aux normes DO-178C, ISO 26262 et IEC 61508
• TBextremePLUS s'appuie sur la suite d'outils LDRA éprouvée utilisée dans des milliers de certifications