Outsourcing von Testdienstleistungen liefert schnellere und bessere Ergebnisse als die Inanspruchnahme firmeninterner Ressourcen - so die Erwartung. In der Realität ist dies möglich, aber keinesfalls immer der Fall. Unter welchen Voraussetzungen ist Outsourcing von Test- und anderen qualitätssichernden Dienstleistungen im agilen Umfeld möglich?

radCASE und das QP/QM-Framework sind zwei Werkzeuge für modellbasiertes Software-Engineering (MBSE), die oberflächlich viele Gemeinsamkeiten haben, die sich aber durch ihre Eigenheiten und Features signifikant unterscheiden. Was ist der grundlegende Unterschied zwischen den Tools – und wann sollte man was bevorzugen?

Das Waiblinger Software-Unternehmen QA Systems, Anbieter von Unit- und Integrationstesttools, eröffnet ein Büro in Vietnam, um das anhaltende Wachstum in der Region zu unterstützen.

Wenn es um Safety-Zertifizierung geht, können ursprünglich für andere Projekte entwickelte Standardelemente nicht so einfach in neuen Code implementiert werden. ISO 26262 spricht hierbei von „Safety Elements out of Context“ (SEooC). Wobei handelt es sich hier genau, und was gibt es bei der Implementierung solcher Elemente zu beachten?

Gerade in kritischen Systemen ist es essentiell, dass deren Software alle Funktionalitäten korrekt implementiert und keine Fehler enthält. Formelle Methoden lösen dabei traditionelle Tests mehr und mehr ab.

Gängige Bedrohungsszenarien zur Künstlichen Intelligenz warnen vor ihren vermeintlich überlegenen Fähigkeiten. Die wahre Gefahr liege aber eher in ihrer Überschätzung und im blinden Vertrauen in die ihre nur scheinbare Objektivität, meinen Chemnitzer Professoren. Sie plädieren: KI muss nachvollziehbar sein!

Ob Safety- oder Security-Richtlinien wie MISRA:C oder einheitliche Guidelines für hauseigenen Programmcode: Es gibt viele Gründe, warum Firmen von ihren Softwareentwicklern verlangen, sich an Programmierrichtlinien zu halten. Aber ist das auch immer sinnvoll?

NewTec erweitert seine Geschäftsführung: Ab dem 1. Januar 2019 ist Frank Haberbosch auf Geschäftsführungsebene verantwortlich für Organisation. Matthias Wolbert rückt in die Zuständigkeit für Vertrieb und Marketing auf.

SYSGO hat für seinen PikeOS Hypervisor die Zertifizierung nach Common Criteria EAL 3+ erhalten. Gegenstand der Zertifizierung durch das Bundesamt für Sicherheit in der Informationstechnik (BSI) ist der Separation Kernel in PikeOS, der durch räumliche und zeitliche Partitionierung eine strikte Trennung von Anwendungen gewährleistet, die auf derselben Hardware laufen.

Die Einführung der Standards C++11/14/17 hat C++ merklich modernisiert. Nebst Sprachfeatures wie smart-pointers, move semantics und varaidic templates gibt es auch noch eine ganze Menge an kleineren Erweiterungen, die oftmals unter dem Radar fliegen. Aber gerade diese Features können helfen, C++ Code merklich zu vereinfachen und wartbarer zu machen.