Découvrez comment intégrer facilement l'analyse statique, les tests unitaires et d'autres méthodes de test de logiciels C et C++ dans votre pipeline CI/CD. Inscrivez-vous pour la démo >>

ÉTUDES DE CAS

L'Université de Pforzheim s'appuie sur une solution de test de logiciel automatisé pour son programme d'ingénierie informatique

Temps de lecture : 2 minutes

Télécharger le PDF "

L'Université de Pforzheim s'appuie sur une solution de test de logiciel automatisé pour son programme d'ingénierie informatique

RÉDUIRE

EFFORT MANUEL DE RESPECT DES NORMES

RÉDUIRE

COÛT DE CORRECTION DE BUG

AMÉLIORE-TOI

CODE QUALITÉ

À 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.

ARMÉ POUR L'AVENIR AVEC PARASOFT C/C++TEST

Depuis une rencontre en personne au salon Embedded World en 2014, HS Pforzheim utilise le Outil de test logiciel Parasoft C/C++test. L'installation initiale du serveur avec des licences pour 20 étudiants s'est déroulée sans aucun problème, grâce au support dédié de Parasoft.

Les fonctionnalités de l'outil de test incluent :

  • Génération de rapports
  • Tests préconfigurés
  • Génération de tests
  • Intégration dans la chaîne d'outils (Eclipse)

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 nombreuses industries verticales tels que l'automobile, l'aérospatiale, le ferroviaire, le médical, l'industrie, entre autres, utilisent les règles de programmation et les directives définies par ces normes pour aider à 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.

LA PROCÉDURE PRATIQUE

Les étudiants reçoivent l'installation d'une machine virtuelle qui intègre les outils Parasoft. La première étape de l'apprentissage présente aux étudiants l'outil de test C/C++. Ils peuvent effectuer des tests statiques et apporter des améliorations au code. Les tests de régression suit pour s'assurer qu'il ne reste aucune violation de code statique.

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.

ÉVALUATION

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.

MISSION ACCOMPLIE

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.

PASSER À LA PROCHAINE ÉTAPE

Intégrez la qualité dans votre processus de développement logiciel dès le début. Télécharger le Premiers pas avec l'analyse statique papier blanc.