Découvrez GoogleTest certifié TÜV avec Agentic AI pour les tests C/C++ !
Plus de détails »
ÉTUDE DE CAS
Réduction des efforts manuels de conformité MISRA, AUTOSAR et CERT.
Réduction des coûts de correction des bugs.
Amélioration de la qualité du code C/C++.
Temps de lecture : 2 minutes
À l'Université de Pforzheim, School of Engineering, le programme d'études en génie informatique explique les principes de base des mathématiques, de la physique et du génie électrique. Il permet une solide formation en informatique et en technologie numérique car une connaissance approfondie des logiciels et du matériel est indispensable au développement des systèmes informatiques modernes.
Le programme d'études dure au total sept semestres. Au programme du troisième semestre, la conception passe à la construction et à l'intégration du logiciel. L'implémentation s'effectue en langage C++.
Le programme comprend les concepts et activités essentiels du développement de logiciels modernes, en particulier les tests.
Depuis une rencontre en personne au salon Embedded World en 2014, le lycée de Pforzheim utilise l' outil de test logiciel Parasoft C/C++test . L'installation initiale du serveur, avec des licences pour 20 élèves, s'est déroulée sans le moindre problème grâce au soutien attentif de Parasoft.
Les fonctionnalités de l'outil de test incluent :
Grâce à cette solution de test de développement logiciel, les étudiants peuvent tester de manière exhaustive leurs applications C et C++ avec les principales normes de l'industrie, notamment MISRA, AUTOSAR et CERT.
De nombreux secteurs d'activité, tels que l'automobile, l'aérospatiale, le ferroviaire, le médical et l'industrie, entre autres, utilisent les règles et directives de programmation définies par ces normes pour produire un code robuste qui doit fonctionner de manière sûre, sécurisée et fiable.
Ce qui le rend spécial, c'est ceci : les étudiants travaillent avec de vrais outils utilisés par l'industrie, apprenant ainsi les meilleures pratiques de développement de logiciels. Même si de nombreuses opportunités ne peuvent être exploitées en raison du temps limité disponible, ce lien étroit entre théorie et pratique crée des effets de synergie positifs pour une entrée ultérieure dans la carrière, l'un des avantages de l'Université de Pforzheim.
Les étudiants reçoivent l'installation d'une machine virtuelle intégrant les outils Parasoft. La première étape de la formation leur présente l'outil de test C/C++. Ils peuvent ainsi effectuer des tests statiques et améliorer leur code. Des tests de régression sont ensuite réalisés afin de garantir l'absence de violations statiques.
Ensuite, les étudiants conçoivent, implémentent et réalisent des tests unitaires simples, y compris le partitionnement des classes d'équivalence et les tests de valeurs limites. Ensuite, ils examinent divers aspects de l'implémentation du code. Un aspect est la complexité du code et un autre est l'estimation de l'effort.
Plus tard, les étudiants révisent les tests du point de vue de la testabilité du code, entre autres, et les tests sont adaptés en conséquence.
Actuellement, Parasoft C/C++test est la solution de test de développement logiciel la plus complète du secteur pour tester le code critique pour la sécurité en langage C/C++. En obligeant les organisations à utiliser un seul outil pour les meilleures pratiques de test de développement, la conformité en matière de sécurité et de sûreté, ainsi que la documentation et les rapports de conformité, cela réduit considérablement la charge de travail manuelle pour la conformité aux normes de programmation. En utilisant l'IA et l'apprentissage automatique, il réduit la charge des équipes et garantit que les problèmes de conception graves sont résolus en premier, au moment le plus rentable.
Les étudiants peuvent utiliser Parasoft C/C++test pour obtenir une critique personnalisée automatisée de leur code quand et aussi souvent qu'ils le souhaitent. Si leur code échoue à un test, ils peuvent accéder et afficher une explication détaillée de la raison de l'échec et comment y remédier, le tout en un seul clic.
Il est également important pour la formation que les erreurs ne soient pas automatiquement corrigées afin que les étudiants soient obligés de comprendre les raisons de chaque erreur de programmation. C'est ainsi qu'ils apprennent le codage sans erreur pour le monde du travail réel.
Avec le programme d'études en génie logiciel, l'Université de Pforzheim jette les bases permettant aux diplômés d'apporter une contribution efficace et immédiate à leur futur lieu de travail en tant que développeurs de logiciels qualifiés.
À cette fin, il éduque les étudiants sur l'exactitude du code et les familiarise avec des outils professionnels comme Parasoft C/C++test, qui est largement utilisé dans l'industrie.
Commencez par l'analyse statique pour intégrer la qualité à votre processus de développement logiciel dès le départ.
Secteur : Éducation
Lieu : Pforzheim, Allemagne
Solution : Test C/C++
