Standards zur Entwicklung von sicherheitskritischer Software fordern die Einhaltung eines Programmierstils. Solche Programmierstile sind oft proprietär und die Prüfung ihrer Einhaltung ist meist aufwendig. Die frei verfügbaren BARR-Vorgaben versprechen Abhilfe.

Der Mensch kann sich an fast alle Gegebenheiten anpassen, neue Wege finden und Ideen umsetzen. Das hat auch diese Krise gezeigt. Roland Bickel sieht sein Unternehmen durch die Krisensituation gestärkt und freut sich auf die Zukunft.

Bei Bedenken hinsichtlich der Qualität Ihrer Testfälle könnten Mutationstests Abhilfe schaffen. Für Software, die in C/C++ geschrieben ist, geht dies erstmals sogar auf Knopfdruck.

Das statische Codeanalysewerkzeug Eclair unterstützt jetzt den Kodierstandard BARR-C:2018 für in C geschriebene Software.

Über die Ermittlung und den Nutzen von Code-Coverage sind zahlreiche Halbwahrheiten und Irrtümer verbreitet. Der folgende Beitrag klärt über die häufigsten Fehlannahmen auf.

Hitex wurde vom TÜV SÜD erfolgreich nach ISO/IEC 27001:2013 zertifiziert. Die Zertifizierung bestätigt, dass Hitex die Anforderungen an die international anerkannte Norm hinsichtlich Informationssicherheit und Datenschutz erfüllt.

Auch ein „gutaussehender“ Satz von Testfällen, der zudem 100% Code-Überdeckung erreicht, kann Defekte in der Software übersehen. Nur „gute” Testfälle decken Fehler auf. Aber wie findet man solche Testfälle?

TESSY, das bei Hitex erhältliche Werkzeug zum automatisierten Unit-Test von eingebetteter Software, wurde in der Version 4.1 zusätzlich für die Normen IEC 62304:2015 für „Medical Device Software“ und für EN 50128:2011 (Bahnanwendungen) zertifiziert.

Mit der aktuellen Version V4.0.22 von TESSY, dem Werkzeug zum automatisierten Modul-, Unit- und Integrations-Test von eingebetteter Software, ist jetzt die Unterstützung von ARMs DS-5 Entwicklungsumgebung verfügbar.

Hitex und Willert haben gemeinsam die Codegenerierung des Modellierungs-Werkzeuges IBM Rational Rhapsody an die AURIX-Multicore-Architektur von Infineon angepasst und so optimiert, dass aus UML-Modellen direkt Production Code generiert werden kann.