L'Université de Hull forme les étudiants au développement de logiciels à l'aide du test Parasoft C / C ++

La stratégie et l'objectif

Le conférencier principal, Warren Viant, a approché le directeur des ventes Europe de Parasoft au sujet de l'utilisation Parasoft C / C ++test dans les laboratoires d'enseignement de premier cycle et de troisième cycle. L'objectif était de s'assurer que les étudiants obtiennent leur diplôme avec les meilleures pratiques de développement logiciel utilisées par les entreprises produisant les logiciels d'aujourd'hui.

C'était il y a près d'une décennie. L'Université de Hull continue d'utiliser le test Parasoft C/C++ aujourd'hui. La solution de test pour le développement logiciel C/C++ propose des tests unitaires, couverture du code structurel, Et d'autres essai de programmation les meilleures pratiques.

À l'Université de Hull, Parasoft C/C++test donne aux étudiants la possibilité de tester de manière exhaustive leurs applications C et C++ avec les normes de l'industrie telles que MISRA, AUTOSAR C ++ 14, CERT, et d'autres. L'aérospatiale, l'automobile, le ferroviaire, le médical, l'industrie et de nombreuses autres industries utilisent les règles et directives de codage définies par ces normes pour aider à produire un code robuste. Cela signifie un code sûr, sécurisé et fiable.

M. Warren Viant apprécie personnellement le plus Parasoft C/C++test pour sa prise en charge intégrée de toutes les règles définies dans trois de ses livres préférés :

• C ++ efficace
• C++ plus efficace
• Directives de base C ++

Les livres couvrent les règles et les meilleures pratiques identifiées dans l'industrie du logiciel au cours des 20 à 30 dernières années de développement de logiciels C++, que Parasoft C/C++test prend en charge.

Toutes les règles et directives prises en charge par Parasoft sont des normes de pointe de l'industrie, qui sont un cumul des expériences utilisateur et des meilleures pratiques des principales sociétés de développement de logiciels, fournisseurs de composants, bureaux d'études et universités du monde entier, sur plusieurs décennies.

Approche

Les étudiants de l'Université de Hull qui utilisent le test Parasoft C/C++ incluent :

• Deuxième années poursuivant un baccalauréat ès sciences (BSc) pour le développement de logiciels.
• Ceux qui poursuivent une formation avancée en génie logiciel dans le programme Master of Science in Engineering (MSc / MEng).

Il existe trois thèmes de développement de logiciels ou branches d'enseignement à l'Université de Hull :

• Robotique (la branche la plus récente)
• Développeur de logiciels standards pour l'industrie
• Développeur de jeux

M. Warren Viant enseigne la classe générale dans les trois domaines et utilise le test Parasoft C/C++ dans le cadre de l'introduction au développement de logiciels en C++.

Présentation de la valeur de l'analyse de code statique

L'une des raisons pour lesquelles le programme inclut le test Parasoft C/C++ est la valeur que l'analyse de code statique apporte à ses étudiants. L'outil d'analyse de code statique C/C++test propose des règles personnalisables associées à une explication professionnelle de chaque règle et à des exemples cruciaux de code défaillant et corrigé.

Un ensemble de règles de codage triées sur le volet s'aligne sur le programme et chaque étudiant utilise le test Parasoft C/C++ tout au long de la période de développement pour terminer ses devoirs. Les commentaires fournis par Parasoft C/C++test sont essentiels pour les étudiants qui apprennent le C++. Ils reçoivent des informations expliquant exactement pourquoi le code est mal écrit et des exemples de comment le corriger.

Du point de vue des étudiants, Parasoft C/C++test fournit 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 voir une explication détaillée des raisons de l'échec et comment le corriger en un seul clic. Important à des fins pédagogiques, les erreurs ne sont pas automatiquement corrigées. Au lieu de cela, les étudiants sont obligés d'apprendre les raisons pour lesquelles chaque erreur de codage existe. Il leur enseigne les meilleures pratiques de codage afin qu'ils ne commettent plus d'erreurs lorsqu'ils sont dans le monde du travail.

Créer un code robuste

Un autre aspect d'apprentissage intéressant pour les étudiants qui s'efforcent de créer un code robuste est la capacité d'équilibrer le temps passé amélioration de la qualité du code par rapport au temps passé à ajouter des fonctionnalités supplémentaires. En fin de compte, M. Warren Viant et l'Université de Hull préparent les développeurs de logiciels professionnels à prendre conscience que le temps c'est de l'argent et à utiliser leur temps efficacement.

L'objectif de l'Université de Hull est de former des diplômés capables d'apporter une contribution efficace et immédiate au milieu de travail en tant que développeurs de logiciels. Plus il peut éduquer les étudiants sur l'exactitude du code et les exposer à des ensembles d'outils professionnels, comme Parasoft C/C++test, mieux c'est pour les futurs employeurs, employés et bénéficiaires des vastes produits et systèmes logiciels déployés dans le monde. .

Dans l'ensemble, M. Warren Viant évalue fortement et recommande sérieusement l'utilisation de Parasoft C/C++test et ses capacités d'analyse de code statique comme outil pédagogique. Il encourage d'autres universités à travers le monde à adopter le test Parasoft C/C++ et à l'intégrer dans leurs modules de développement. Surtout s'ils utilisent l'outil de test de la manière déployée à l'Université de Hull.

Défis Parasoft C/C++test Adresses

Avant COVID 19, M. Warren Viant enseignait à 150 à 200 étudiants de premier cycle dans des laboratoires divisés en deux blocs avec près de 100 étudiants dans chacun. De plus, deux membres du personnel et plusieurs démonstrateurs de troisième cycle se sont promenés dans les laboratoires pour apporter leur aide.

Même avec une cohorte, il est impossible d'offrir à près de 100 étudiants en développement de logiciels de grandes quantités de commentaires individuels lorsque leur travail est signalé avec des violations de codage. Par rapport à un compilateur, il est particulièrement utile que Parasoft C/C++test propose des suggestions sur la façon de corriger les violations de codage. Cette capacité soulage de nombreuses questions de routine concernant l'exactitude du code. Cela laisse du temps à M. Warren Viant pour donner des conseils sur des domaines plus délicats du programme d'études.

Résultats

M. Warren Viant remercie Parasoft pour sa générosité et sa contribution au monde universitaire et à l'industrie du logiciel. Ils constituent un véritable outil de travail pour éduquer et préparer nos futurs développeurs de logiciels à faire la différence dans le monde.

Les diplômés acceptent des opportunités d'emploi dans tous les secteurs où le code doit être de haute qualité : jeux, robotique, automobile, aérospatiale, défense, médical, ferroviaire, etc. L'utilisation du test Parasoft C/C ++ avec notre programme continue d'aider le département d'informatique de l'Université de Hull à maintenir sa réputation de produire certains des développeurs de logiciels les meilleurs et les plus brillants.

« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Tous droits réservés.