Sehr geehrte Damen und Herren,

"Qualität ist niemals Zufall; sie ist immer das Ergebnis hoher Ziele, aufrichtiger Bemühung, intelligenter Vorgehensweise und geschickter Ausführung."

Dieses Zitat des US-Soldaten Will A. Foster könnte man als Hitex-Leitlinie übernehmen, denn es spiegelt unseren eigenen Anspruch wider: Wir möchten für unsere Kunden immer das beste Ergebnis erreichen und setzen uns selbst sehr hohe Qualitätsziele. Natürlich auch im Bereich der Software-Qualität.

Und die fängt beim richtigen Analyse-Tool an. Die Frage, ob ein statischer oder dynamischer Software-Test sinnvoll ist, will wohl überlegt sein. Nicht nur in Hinblick auf mögliche Zertifizierungen, sondern natürlich auch im Hinblick auf die Kosten und das zukünftige Einsatzgebiet der Software. Hitex bietet kompetente Software-Test-Dienstleistungen für Anwendungen in den Bereichen Industrie, Automotive, Transport und Medizintechnik. Ihre Branche ist nicht dabei? Kein Problem, durch unsere jahrzehntelange Erfahrung können wir Sie selbstverständlich bei Ihrem Vorhaben unterstützen. 

Haben Sie Fragen oder möchten sich austauschen zu diesem Thema? Dann melden Sie sich gerne bei uns.

Mit freundlichen Grüßen

Zeit und Kosten sparen Unit Test Services von Hitex ausprobieren Es werden immer mehr Tests zum Prüfen von Sicherheitsanforderungen vorgeschrieben. Hitex bietet umfangreiche Dienstleistungen im Bereich Testing an. Mit unserem Schnupper-Paketkönnen Sie unsere Unit Test Services im kleinem Rahmen testen: Enthalten sind die Analyse von 100 Code-Zeilen, Auswertungen und Reportings. Unser Pilot-Projekt bietet die Analyse von 500 Code-Zeilen, mit allem was dazu gehört. » Ich möchte mehr wissen

 

Fehler finden, Codierung prüfen, Kennzahlen berechnen Statische Code-Analyse mit ECLAIR ECLAIR ist ein leistungsfähiges Werkzeug zur statischen Codeanalyse von Programmen, die in C/C++ geschrieben wurden. ECLAIR wurde von BUGSENG entwickelt und findet kritische Fehler bereits während die Software erstellt wird, prüft die MISRA-Regeln und berechnet Metriken. Sie möchten ECLAIR unverbindlich testen? Sie haben die Möglichkeit eine kostenlose Trail-Version runterzuladen. » ECLAIR kostenlos testen

 

Automatisiert, schnell und zuverlässig Dynamische Modul- und Unit-Tests mit TESSY TESSY ist ein Werkzeug zum automatisierten Unit-/Integrations-Test von eingebetteter Software. Gleichzeitig können Sie den Grad der Code-Abdeckung bestimmen. Diese Tests werden beispielsweise bei Zertifizierungen nach den Normen DO-178, IEC 61508 oder ISO 26262 verlangt. Die aktuelle Version enthält viele praktische Eigenschaften: Beispielsweise können durch die paarweise Kombination von Klassen des Klassifikationsbaums automatisch Testfällen generiert werden. » Zu den Infos

 

Publikation von Hitex Verfikation von Software Units Für viele Medizintechnik-Hersteller ist die Verifikation von SoftwareKomponenten herausfordernd. Gründe dafür finden sich zum Teil in der Medizintechnik-Norm IEC 62304 selbst, da diese in ihren Definitionen und Anforderungen viel Spielraum lässt. Frank Büchner, Principal Engineer Software Quality bei Hitex, hat sich intensiv damit beschäftigt und einen Artikel in der Fachzeitschrift medical design veröffentlicht.

 

Donnerstag, 30. Juli, 11 Uhr. Webinar zu MISRA C/C++: Essential Type Model In diesem Webinar dreht sich alles um das Essential Type Model von MISRA C:2012. Das Webinar wird von BUGSENG, dem Hersteller des statischen Analysewerkzeugs ECLAIR, durchgeführt. Geleitet wird das Webinar von Roberto Bagnara, CTO von BUGSENG und Professor für Informatik. Die Webinarsprache ist Englisch.