Anzeige

Automatisierte Code-Prüfung

Durch die Digitalisierung steigt der Software-Anteil in Geräten und Maschinen aller Art. Während Sicherheit und Effizienz zu den zentralen Faktoren gehören, die nahezu jede Software-Entwicklung heute erfüllen muss, stellen viele Branchen individuelle Anforderungen an das jeweilige Projekt. Um diese umfassend abzudecken, hat Perforce Software 2019 die US-Firma Rogue Wave Software übernommen. Mit deren Lösung Klocwork hat der Spezialist für Versionskontrolle und Enterprise-DevOps nun zwei Lösungen zur statischen Code-Analyse im Portfolio – neben Klocwork auch seine Lösung Helix QAC. Beide Lösungen sind für unterschiedliche Szenarien optimiert, wodurch sie sich für den Einsatz in verschiedensten Kontexten eignen.

Programmiercode mit Matrix, Computer und abstraktem technischen Hintergrund in blau (Bild: Perforce Software UK Ltd.)

(Bild: ©Eisenhans/fotolia.com)

Ein geeignetes Tool zur statischen Codeanalyse muss in der Lage sein, sich leicht an die jeweiligen Projektanforderungen anzupassen und die bestehenden Herausforderungen zu bewältigen. Aus diesem Grund hat Perforce nun zwei separate Produkte in seinem Portfolio für die statische Codeanalyse: Helix QAC und Klocwork. Die Kernfunktionalitäten der statischen Code-Analyse sind beiden Lösungen gemein: Sowohl Helix QAC als auch Klocwork prüfen Software-Code bereits während der Eingabe und identifizieren so Fehler oder riskante Code-Abschnitte. Dazu erzeugen sie ein akkurates Verhaltensmodell der entsprechenden Software und verfolgen jede der Variablen mit den Werten nach, die sie zur Laufzeit erhalten würden. Da kritische Stellen so bereits frühzeitig im Entwicklungsprozess entdeckt werden, lassen sich Aufwand und Kosten für die Fehlerbehebung deutlich reduzieren. Gleichzeitig unterscheiden sich beide Lösungen durch ihren Fokus und spezialisierte Funktionen:

1 Helix QAC unterstützt die Programmiersprachen C und C++ und eignet sich besonders dann, wenn eine strikte Compliance mit Sicherheitsstandards erreicht werden muss. Entsprechend empfiehlt sich Helix QAC für sicherheitskritische Anwendungen, in denen eine höchstmögliche funktionale bzw. softwarebezogene Sicherheit unerlässlich ist.
2 Klocwork unterstützt C, C++, Java und C# und lässt sich vor allem dazu nutzen, die Qualität großer Codebasen im Enterprise-Maßstab sicherzustellen. So eignet sich Klocwork für Software-Entwicklungsteams, die umfangreiche Code-Mengen z.B. in einer Continuous-Integration-Pipeline effizient und automatisiert prüfen müssen.
Entsprechend sind beide Lösungen in unterschiedlichen Marktsegmenten verbreitet: Während Helix QAC zu den führenden Tools zur statischen Code-Analyse in der Automobilindustrie zählt, kommt Klocwork vorrangig in Embedded-Branchen wie z.B. der Medizintechnik zum Einsatz. Durch die Kombination beider Tools in seinem Portfolio bietet Perforce nun umfassende Erfahrung bei der Realisierung dynamischer, qualitativ hochwertiger statischer Code-Analyse für unterschiedlichste Szenarien, unabhängig davon, in welcher Branche das jeweilige Entwicklungsteam tätig ist und mit welchen Entwicklungsprozessen dieses arbeitet.

Empfehlungen der Redaktion

Das könnte Sie auch interessieren

Segger hat seinen Compiler für ARM und Cortex-M zum bereits bestehenden IDE Embedded Studio hinzugefügt. Dieser ist auf die Generierung von Thumb-2 Code für den Einsatz in modernen Cortex-A- und Cortex-M-Prozessoren optimiert. Die Leistung des Compilers überzeugt durch die Reduzierungen der Größe des generierten Codes und dessen Ausführungsgeschwindigkeit. ‣ weiterlesen

Anzeige

Der SAP Cloudhersteller BecomeCloud aus Karlsruhe und EDNC – Eugen Dojan Consulting aus Bünde fusionierten zum 01. Januar 2020. EDNC wird zukünftig ausschließlich unter dem Namen der BecomeCloud auftreten. ‣ weiterlesen

Harting und Expleo haben eine Kooperationsvereinbarung geschlossen. Vorstandsvorsitzender Philip Harting und Peter Seidenschwang, Head of Industry bei Expleo Germany, unterzeichneten die Vereinbarung, mit der beide Parteien die langfristige Zusammenarbeit im Bereich datengesteuerter Dienste und IoT-Lösungen für Industriekunden bekräftigen. ‣ weiterlesen

Anzeige

Asus stellt mit dem Mini-PC PN61T eine AIoT-Lösung für Edge-Computing-Anwendungen vor. Der Mini-PC mit geprüfter 24/7-Zuverlässigkeit arbeitet mit einem Intel Core i7-Prozessor und integrierter Google Edge TPU sowie mit einem Machine-Learning-Beschleuniger, der die Verarbeitungseffizienz erhöht, den Energiebedarf senkt und den Aufbau vernetzter Geräte und intelligenter Anwendungen erleichtert. ‣ weiterlesen

Das European Technical Center bietet Kundensupport durch spezialisierte FAEs, die die Kunden von der Produktauswahl, der Beantwortung technischer Fragestellungen bis hin zum Design-Support auf Systemebene unterstützen. ‣ weiterlesen

Hy-Line Computer Components hat im Rahmen seiner Qualitätsoffensive, hin zum Hersteller, einen wichtigen Schritt gemacht und einen gesonderten Raum unter ESD-Schutzmaßnahmen in das neue Mess- und Prüflabor eingerichtet. ‣ weiterlesen

Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige