Bestätigung der Machbarkeit des Mehrsprachen-Konzepts bei der MISRA Norm Konformität

PRQA|Programming Research meldet einen Doppelerfolg seines Werkzeugs bei der Herstellung von Konformität zur MISRA-Serie von Kodierungs-Standards für C und C++ bei einem prominenten und führenden Technologieunternehmen, das mit einer gemischten C/C++ Umgebung arbeitet.

GatsoMeter B.V. ist Weltmarktführer bei Verkehrsüberwachungsanlagen. Das Kerngeschäft des Unternehmens besteht aus der Entwicklung, Fertigung und Installation von herkömmlichen und digitalen Geschwindigkeitsmessungs- und Rotlicht-Kamerasystemen sowie Radarsystemen. GatsoMeter B.V. hat nicht nur auf dem heimischen Markt eine sehr starke Position errungen, sondern exportiert seine Verkehrsüberwachungssysteme auch in Länder auf der ganzen Welt.

Nach Angaben von Firmenchef Timo Gatsonides deckt die Softwareentwicklung des Unternehmens mehrere Technologie-Generation ab, wobei C intensiv genutzt wird und C++ vor kurzem eingeführt wurde. Mit seiner 25 Mitarbeiter starken Softwareentwicklungsgruppe sah das Unternehmen schon frühzeitig die Notwendigkeit, durch den Einsatz von MISRA C:2004 einen professionellen Kodierungsstandard in der Entwicklung einzuführen. Zur Unterstützung dieser Aktivität entschied sich die Firma für das PRQA-Werkzeug QA•C. Unter den vielen Vorteilen des Werkzeugs schätzt Gatsonides bei QA•C besonders die Fähigkeiten einer automatischen Konformitätsprüfung mit Berichterstellung und die Weiterbildung der Entwickler. Als GatsoMeter B.V. seine Entwicklungsaktivitäten auf C++ ausweitete, untersuchte das Unternehmen die entsprechende QA•C++ Lösung von PRQA in Kombination mit dem neuen MISRA C++: 2008 Kodierungsstandard. " QA•C++ bietet einen äquivalenten Betrieb zu QA•C, und ermöglicht damit ein ähnlich beeindruckendes Maß an Konformität zum MISRA Standard. Besonders angetan waren wir außerdem von der Online-Hilfe und der Unterstützung, die der Entwickler mit der QA•C++ Lösung erhält," kommentiert Gatsonides. Dank der Einführung der MISRA-Analyselösungen QA•C und QA•C++ kann GatsoMeter B.V. jetzt mit voller Sprachabsicherung in der gesamten C und C++ Softwareentwicklung arbeiten und dabei anerkannte Kodierungsstandards einhalten.

Über PRQA - THE PROGRAMMING RESEARCH GROUP
PRQA - THE PROGRAMMING RESEARCH GROUP führte die programmiersprachenbasierte Analysetechnik zur automatischen Einhaltung von Programmierungsstandards ein. Damit erhöht sich die Softwarequalität.
Das 1986 gegründete Unternehmen versteht sich als „The Coding Standard Experts“ und besteht aus Softwareentwicklern, Marktexperten und Standard-organisationen weltweit. PRQA ist führend in der Entwicklung und Implementierung ausgereifter Praktiken für die heutigen Anforderungen in Softwareentwicklungsumgebungen.
Dazu zählen die Entwicklung von Programmierstandards, die automatische Einhaltung von Programmier-standards,
die automatische Code-Durchsicht und Software-Inspektion sowie die Quellcode-Analyse. Zum Produktangebot zählen QA·C™, QA·C++™, QA·J™, QA·MISRA™, QA·JSF++™ und QA·HICPP™ (HIGH·INTEGRITY C++™).
Wo immer Softwarequalität von hoher Bedeutung ist, Programmierstandards eingehalten werden müssen,
kompakter Code entscheidend ist, die Produktivität der Entwickler Vorrang hat und Projekterfolgsraten hoch sein müssen, finden sich PRQAs Produkte. Das Unternehmen verfügt über Niederlassungen in England, USA, Indien,
Irland und den Niederlanden. Ein weltweites Distributionsnetzwerk vervollständigt die Marktpräsenz.

www.programmingresearch.com