Empfohlenes Webinar: MISRA C++ 2023: Alles, was Sie wissen müssen | Zum Video

Lesezeit: 5 Minuten

Überblick

Die University of Hull im Vereinigten Königreich ist ein Ort, um sich persönlich, sozial und akademisch weiterzuentwickeln. Die Universität hat mehr als 16,000 Studierende und rund 2,500 Beschäftigte, darunter mehr als 1,000 wissenschaftliche Mitarbeiter. Die Informatikforschung wurde in der letzten nationalen Bewertung in Bezug auf die Auswirkungen im Vereinigten Königreich an fünfter Stelle rangiert. Zu den Spezialgebieten gehören Computational Science, Computer Gamification, zuverlässige intelligente Systeme, Robotik und KI sowie Simulation und Visualisierung.

An der University of Hull hat die Fakultät für Informatik den Ruf, graduierte Softwareentwickler hervorzubringen, die schnell die Lücke zwischen Wissenschaft und Arbeitsplatz schließen können. Sie leisten sofortige und effektive Beiträge, was kein Zufall ist.

Die Strategie & Ziel

Der Senior Lecturer Warren Viant wandte sich an den europäischen Vertriebsleiter von Parasoft bezüglich der Verwendung von Parasoft C / C ++ test in grundständigen und postgradualen Lehrlaboren. Ziel war es, sicherzustellen, dass die Studenten mit den Best Practices der Softwareentwicklung abschließen, die von Unternehmen verwendet werden, die heutige Software herstellen.

Das war vor fast einem Jahrzehnt. Die University of Hull verwendet auch heute noch Parasoft C/C++test. Die Testlösung für die C/C++-Softwareentwicklung bietet Unit-Tests, strukturelle CodeabdeckungUnd andere Programmiertest Best Practices.

An der University of Hull bietet Parasoft C/C++test Studenten die Möglichkeit, ihre C- und C++-Anwendungen umfassend mit Industriestandards wie MISRA, AUTOSAR C ++ 14, CERT, und andere. Luft- und Raumfahrt, Automobil, Bahn, Medizin, Industrie und viele andere Branchen verwenden die in diesen Standards definierten Codierungsregeln und -richtlinien, um robusten Code zu erstellen. Das bedeutet sicheren, sicheren und zuverlässigen Code.

Mr. Warren Viant persönlich schätzt Parasoft C/C++test am meisten wegen seiner integrierten Unterstützung aller Regeln, die in drei seiner Lieblingsbücher definiert sind:

Die Bücher behandeln Regeln und Best Practices, die in der Softwarebranche in den letzten 20 bis 30 Jahren C++-Softwareentwicklung identifiziert wurden, die von Parasoft C/C++test unterstützt werden.

Alle Regeln und Richtlinien, die Parasoft unterstützt, sind führende Industriestandards, die eine Kumulation von Benutzererfahrungen und Best Practices von führenden Softwareentwicklungsunternehmen, Komponentenlieferanten, Ingenieurbüros und Hochschulen auf der ganzen Welt über viele Jahrzehnte hinweg darstellen.

Ansatz

Zu den Studenten der University of Hull, die Parasoft C/C++test verwenden, gehören:

  • Zweites Jahr mit einem Bachelor of Science (BSc) für Softwareentwicklung.
  • Diejenigen, die eine fortgeschrittene Software-Engineering-Ausbildung im Master of Science in Engineering (MSc/MEng) anstreben.

Es gibt drei Softwareentwicklungsthemen oder Bildungszweige an der University of Hull:

  • Robotik (der neueste Zweig)
  • Entwickler von branchenüblicher Software
  • Spieleentwickler

Herr Warren Viant unterrichtet die allgemeine Klasse in allen drei Domänen und verwendet Parasoft C/C++test als Teil der Einführung in die Softwareentwicklung in C++.

Einführung in den Wert der statischen Codeanalyse

Einer der Gründe, warum der Lehrplan Parasoft C/C++test enthält, ist der Wert, den die statische Codeanalyse seinen Schülern bringt. Das statische C/C++test-Codeanalysetool bietet anpassbare Regeln in Verbindung mit einer professionell geschriebenen Erklärung jeder Regel und entscheidenden Beispielen für fehlerhaften und korrigierten Code.

Ein handverlesener Kodierungsregelsatz stimmt mit dem Lehrplan überein und jeder Schüler verwendet während der gesamten Entwicklungsphase Parasoft C/C++test, um seine Aufgaben zu erledigen. Das Feedback, das Parasoft C/C++test liefert, ist für Schüler, die C++ lernen, von entscheidender Bedeutung. Sie erhalten Informationen, die genau erklären, warum der Code schlecht geschrieben ist, und Beispiele, wie man ihn korrigieren kann.

Aus Sicht der Schüler bietet Parasoft C/C++test eine automatisierte personalisierte Kritik ihres Codes – wann und so oft sie es benötigen. Wenn ihr Code einen Test nicht besteht, können sie eine detaillierte Erklärung anzeigen, warum sie fehlgeschlagen ist und wie sie mit einem einzigen Klick behoben werden kann. Wichtig für Bildungszwecke, die Fehler werden nicht automatisch behoben. Stattdessen sind die Schüler gezwungen, die Gründe für jeden Codierungsfehler zu erfahren. Es bringt ihnen Best Practices für die Codierung bei, damit sie die Fehler nicht noch einmal machen, wenn sie in der Arbeitswelt sind.

Robusten Code erstellen

Ein weiterer interessanter Lernaspekt für Studenten, die danach streben, robusten Code zu erstellen, ist die Fähigkeit, die aufgewendete Zeit auszugleichen Verbesserung der Codequalität gegenüber dem Zeitaufwand für das Hinzufügen zusätzlicher Funktionen. Letztendlich bereiten Mr. Warren Viant und die University of Hull professionelle Softwareentwickler mit dem Bewusstsein vor, dass Zeit Geld ist, und ihre Zeit effizient zu nutzen.

Das Ziel der University of Hull ist es, Absolventen hervorzubringen, die als Softwareentwickler einen effektiven und unmittelbaren Beitrag zum Arbeitsplatz leisten können. Je mehr er die Studenten über die Korrektheit von Code aufklären und sie professionellen Toolsets wie Parasoft C/C++test aussetzen kann, desto besser für die zukünftigen Arbeitgeber, Arbeitnehmer und Nutznießer der riesigen Produkte und Softwaresysteme, die weltweit eingesetzt werden .

Alles in allem schätzt Herr Warren Viant die Verwendung von Parasoft C/C++test und seinen statischen Codeanalysefunktionen als Lehrmittel hoch ein und empfiehlt sie ernsthaft. Er ermutigt andere Universitäten auf der ganzen Welt, Parasoft C/C++test zu übernehmen und in ihre Entwicklungsmodule zu integrieren. Vor allem, wenn sie das Testtool so verwenden, wie es an der University of Hull eingesetzt wird.

Fordert Parasoft C/C++-Testadressen heraus

Vor COVID 19 unterrichtete Herr Warren Viant 150 bis 200 Studenten im Grundstudium in Laboren, die in zwei Blöcke mit jeweils fast 100 Studenten aufgeteilt waren. Darüber hinaus gingen zwei Mitarbeiter und mehrere postgraduale Demonstranten durch die Labore, um Hilfe zu leisten.

Selbst mit einer Kohorte ist es unmöglich, fast 100 Softwareentwicklungsstudenten große Mengen an individuellem Feedback zu geben, wenn ihre Arbeit mit Coding-Verstößen gekennzeichnet wird. Im Vergleich zu einem Compiler ist es besonders hilfreich, dass Parasoft C/C++test Vorschläge zur Behebung von Codierungsverletzungen bietet. Diese Funktion entlastet viele der routinemäßigen Fragen zur Korrektheit des Codes. Es gibt Herrn Warren Viant Zeit, um Anleitungen zu kniffligeren Bereichen des Lehrplans zu geben.

Die Ergebnisse

Herr Warren Viant dankt Parasoft für ihre Großzügigkeit und ihren Beitrag zur Wissenschaft und der Softwareindustrie. Sie bieten ein echtes Arbeitsplatztool, um unsere zukünftigen Softwareentwickler auszubilden und darauf vorzubereiten, einen Unterschied in der Welt zu machen.

Absolventen nehmen Jobmöglichkeiten in allen Branchen wahr, in denen Code von hoher Qualität sein muss: Spiele, Robotik, Automobil, Luft- und Raumfahrt, Verteidigung, Medizin, Eisenbahn und mehr. Die Verwendung von Parasoft C/C++-Test zusammen mit unserem Lehrplan hilft dem Department of Computer Science der University of Hull weiterhin, seinen Ruf als Hersteller einiger der besten und klügsten Softwareentwickler aufrechtzuerhalten.

MACH DEN NÄCHSTEN SCHRITT

Beginnen Sie mit der statischen Analyse, um Qualität, Zuverlässigkeit und Sicherheit von Anfang an in Ihren Softwareentwicklungsprozess zu integrieren.

„MISRA“, „MISRA C“ und das Dreieckslogo sind eingetragene Marken von The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Alle Rechte vorbehalten.

  • Industrie: Bildungswesen
  • Standort: Hull, Vereinigtes Königreich
  • Lösung: C / C ++ - Test