Statische Codeanalyse: Verifysoft lädt Entwickler und Qualitätsverantwortliche zur Veranstaltungsreihe „Static Analysis Network on the Road“
Im Fokus stehen Themen wie die statische Quellcodeanalyse für C, C++ und weitere Programmiersprachen sowie die Analyse des Binärcodes auf seine Zusammensetzung, inklusive der Erstellung und Nutzung von Software-Stücklisten (SBOM / Software Bill of Materials). Ein weiterer Schwerpunkt der Veranstaltungen liegt auf der statischen Performanceanalyse, mit der sich die Performance von Anwendungen bereits sehr früh im Entwicklungsprozess und in der Testphase optimieren lässt.
Stationen von „Static Analysis Network on the Road“ sind Mannheim am 25. September 2024 und Friedrichshafen am 26. September 2024. Ein Highlight der Veranstaltung in Mannheim ist eine Tour durch das Technoseum, eines der größten Technikmuseen in Deutschland. Das Event in Friedrichshafen findet im Dornier Museum statt. Auf die Teilnehmerinnen und Teilnehmer wartet dort neben einer Pilotenführung auch ein „Flug“ im Do 27 Flugsimulator. verify
Alle Einzelheiten zu „Static Analysis Network on the Road“ sowie eine Anmeldemöglichkeit finden sich unter https://www.verifysoft.com/….
Deutlich gewachsene Anwendungsfelder
„Die Anwendungsfelder der statischen Codeanalyse sind in den letzten Jahren deutlich gewachsen“, erklärt Klaus Lambertz, Geschäftsführer der Verifysoft Technology GmbH. „So geht es beispielsweise im Rahmen der Optimierung des Energieverbrauchs verstärkt darum, „grünere“, energieeffiziente Software zu entwickeln. Bei akkubetriebenen Geräten wiederum, ob bei Smartphones oder medizinischen Devices wie etwa mobilen Infusionspumpen, gilt es, trotz begrenzter Kapazitäten möglichst lange Betriebszeiten zu erreichen. Darüber hinaus rückt zunehmend auch die Verbesserung der Software-Performance in den Fokus. Besonders wichtig kann dies bei Anwendungen sein, die zeitkritische Aufgaben erfüllen. So muss beispielsweise ein Bremsmanöver innerhalb eines engen Zeitfensters ausgeführt werden oder es muss möglich sein, auf Regelabweichungen ohne lange Totzeiten zu reagieren.“
Statische Codeanalyse
Die statische Codeanalyse überprüft und bewertet den Code, ohne die eigentliche Applikation auszuführen. Unter anderem werden dabei Fehler aufgedeckt und die Einhaltung von Programmierrichtlinien geprüft. Da eine manuelle Analyse gerade bei umfangreichem Code sehr herausfordernd sein kann, ist der Einsatz von statischen Codeanalysetools empfehlenswert. Da die Software nicht ablauffähig sein muss, können die statischen Analysen schon früh in der Projektphase eingesetzt werden. Auf einer Zeitachse des Entwicklungsprozesses wird der Testprozess nach links verschoben – man spricht daher auch von „Shift-Left“.
Komplementär dazu sind Tests zur Laufzeit (dynamische Analyse) zu betrachten, mit denen überprüft wird, ob die Software tatsächlich das tut, was sie tun soll. Dieses tatsächliche Verhalten wird mit den entsprechenden Requirements abgeglichen. Um gute und sichere Software zu erstellen, müssen zwingend beide Verfahren – die statische Analyse und die dynamischen Tests – eingesetzt werden.
Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität. Die 2003 gegründete Firma betreut über 750 Kunden in 43 Ländern. Schwerpunkt von Verifysoft ist die Messung der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft mit Testwell CTC++, Testwell CMT++ und CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Distributor für verschiedene komplementäre Tools zur Qualitätssicherung, wie der Statischen Codeanalyse.
Weitere Informationen zu Verifysoft stehen unter www.verifysoft.com bereit.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
Pressekontakt
Telefon: +49 (89) 6230-3490
E-Mail: hansel@fx-kommunikation.de
CodeSonar 8.1: Statische Codeanalyse jetzt für zehn Programmiersprachen verfügbar
Zusätzliche MISRA-Überprüfungen sichern die Einhaltung von Codierrichtlinien
CodeSonar 8.1 bietet weitere MISRA-Überprüfungen an, um die besonders im Automotive-Bereich, aber auch vielen weiteren sicherheitskritischen Branchen relevanten Codierrichtlinien der Motor Industry Software Reliability Association abdecken zu können. Mit Blick auf MISRA C 2023 bietet das Tool jetzt eine Abdeckung von 95 % (eine volle Abdeckung ist für die Version 8.2 geplant). Neu hinzugekommen ist die MISRA C++ 2023-Abdeckung. Es wurde bereits eine 65%ige Abdeckung erreicht – auch hier ist die vollständige Abdeckung für die nächste Version geplant.
Statische Analyse kann sehr früh im Entwicklungsprozess eingesetzt werden
Da es für die statische Analyse nicht erforderlich ist, die zu testende Applikation auszuführen, können Überprüfungen schon sehr früh im Entwicklungsprozess ohne Schreiben von Testfällen vorgenommen werden. Die Korrektur von Fehlern kann deshalb früher und damit kostengünstiger erfolgen. Risiken, die zum Beispiel durch gefährliche Sicherheitslücken, nichtdeterministische Nebenläufigkeitsfehler und Speicherlecks entstehen, können so minimiert werden. Zusätzlich zur Aufdeckung von Programmierfehlern überprüft CodeSonar Programmierrichtlinien und die Software-Komplexität. Hiermit können die Kosten für die Software-Wartung gesenkt werden.
Zu den Vorteilen von CodeSonar zählt eine sehr gute Fehlererkennung mit einer vergleichsweise geringen Anzahl von Fehlermeldungen (False Positives). Durch die hohe Analysegeschwindigkeit, die Nutzung auf Multicore- und Mehrprozessormaschinen sowie die Möglichkeit der verteilten Analyse auf mehreren Maschinen kann das Analysetool auch für große Codebasen eingesetzt werden.
CodeSonar ist für die Nutzung in der sicherheitskritischen Softwareentwicklung nach ISO 26262, IEC 61508 und EN 50128 zertifiziert. Bezüglich der Qualifizierung für die Luftfahrt stehen die erforderlichen Testfälle zur Verfügung.
Ein Video zu CodeSonar 8.1 steht hier bereit.
Verfügbarkeit
CodeSentry ist ein Produkt des US-amerikanischen Unternehmens CodeSecure. Vertrieb und Support erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. Kostenfreie Evaluationen sowie weitere Informationen sind über www.verifysoft.com erhältlich.
Über CodeSecure
Die Softwarelösungen von CodeSecure versetzen Unternehmen in die Lage, sicherere Software zu entwickeln, indem Sicherheitslücken, Software-Bugs und andere Schwachstellen aufgedeckt werden. Dies verringert die Fehlerrate und die Wahrscheinlichkeit für erfolgreiche Cyber-Attacken. CodeSecure CodeSonar ist in DevSecOps-Workflows integrierbar, um Bugs und Sicherheitslücken in Quellcode und Drittanbietercode aufzudecken.
CodeSonar und CodeSentry sind eingetragene Warenzeichen der CodeSecure, Inc., USA
Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität. Die 2003 gegründete Firma betreut über 750 Kunden in 43 Ländern. Schwerpunkt von Verifysoft ist die Messung der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft mit Testwell CTC++, Testwell CMT++ und CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Distributor für verschiedene komplementäre Tools zur Qualitätssicherung, wie der Statischen Codeanalyse.
Weitere Informationen zu Verifysoft stehen unter www.verifysoft.com bereit.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Pressekontakt
Telefon: +49 89 6230 3490
E-Mail: hansel@fx-kommunikation.de
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
Justifications für nicht testbaren Code: Verifysoft präsentiert Testwell CTC++ 10.1
Beim Test von sicherheitskritischer Software verlangen Normen wie ISO 26262 im Automotive-Sektor, DO-178C in der Luftfahrt, EN 50128 im Schienenverkehr und die allgemeine Sicherheitsnorm IEC 61508, dass die Software vollständig getestet wurde. Je nach Kritikalität muss Statement-, Branch- oder Modified-Condition/Decision-Coverage (MC/DC) nachgewiesen werden. Grundsätzlich wird dabei verlangt, dass 100 % des Codes gemäß der jeweiligen Coverage-Stufe getestet worden sind. Dies ist mit Code Coverage Tools nachzuweisen.
In der Praxis ist es allerdings zum Beispiel durch „defensive Programmierung“ möglich, dass der Code Teile enthält, die durch Tests nur schwer erreicht werden können. Die theoretisch geforderte „100-prozentige Code Coverage“ in der sicherheitskritischen Softwareentwicklung lässt sich in der Realität also selten vollständig erzielen.
Zwei Optionen für die Erfassung von Justifications
Für die Erfassung von Justifications bietet Testwell CTC++ 10.1 zwei Wege, um verschiedenen Bedürfnissen in den Arbeitsabläufen gerecht zu werden. Wahlweise können die Justifications in Quellcode-Kommentaren oder aber separiert vom Code in Begleitdateien gepflegt werden. Hiermit ergibt sich für Tester von sicherheitskritischer Software eine erhebliche Arbeitserleichterung. Code Coverage und Justifications für nicht getesteten Code sind transparent und können für Zertifizierungen einfach nachgewiesen werden.
Einfache Erstellung von Berichten: Beliebige textbasierte Output-Formate
Bereits seit der Version 10 basiert die Berichtserzeugung des Code Coverage Analysers Testwell CTC++ auf anpassbaren Vorlagen für strukturierte HTML-Berichte. Mit der neuen Version 10.1 können Berichte jetzt zusätzlich auch aus einfachen Vorlagen erzeugt werden, die aus einer einzelnen Textdatei bestehen. Durch das Vorlagensystem wird jedes textbasierte Format wie XML, JSON, CSV, Markdown, YAML etc. unterstützt.
Über eine einfache Vorlagensprache lassen sich bestehende Vorlagen anpassen und eigene Vorlagen erstellen. Nutzer von Testwell CTC++ können somit Reports erstellen, die exakt auf ihre Anforderungen zugeschnitten sind. Verifysoft stellt Kunden darüber hinaus etliche Vorlagen für verschiedene Anwendungsfälle zur Verfügung.
Testwell CTC++ ist ein Code Coverage Analyser, der auch höchste Ansprüche an die Messung der Testabdeckung erfüllt. Das Tool arbeitet mit sämtlichen Compilern und allen (selbst kleinsten) Embedded Targets. Testwell CTC++ ist vom TÜV Süd für die Nutzung in sicherheitskritischen Softwareprojekten nach IEC 61508, ISO 26262, EN 50128 und IEC 62304 zertifiziert. Dies vereinfacht beispielsweise den Einsatz in Bereichen und Branchen wie Automotive, Eisenbahn oder Medizinprodukte, da keine zusätzliche Qualifizierung erforderlich ist. Für die Nutzung im Luftfahrtbereich steht ein Qualification-Kit zur Verfügung.
Testwell CTC++ zählt international zu den führenden Code-Coverage-Tools und unterstützt verschiedenste, von den Normen verlangte Code-Coverage-Stufen wie Statement-, Branch- und Modified Condition/Decision Coverage (MC/DC). Zusätzlich werden Line-, Function-, Decision-, Condition- und Multicondition-Coverage angezeigt. Die Lösung wird aktuell bei über 750 Kunden in 43 Ländern erfolgreich bei der Absicherung der Softwarequalität eingesetzt.
Verifysoft Technology auf der embedded world 2024:
Halle 4, Stand 4-423
Weitere Informationen:
Testwell CTC++:
https://www.verifysoft.com/…
Was ist neu in Testwell CTC++ 10.1 (inkl. Erklärvideo):
https://www.verifysoft.com/…
Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 750 Kunden in 43 Ländern weltweit. Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene komplementäre Tools zur Qualitätssicherung von Software, wie der Statischen Codeanalyse.
Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Pressekontakt
Telefon: +49 89 6230 3490
E-Mail: hansel@fx-kommunikation.de
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
Best Practice: Neuer Praxisbericht zur Integration des Code Coverage Analysers Testwell CTC++ in die Build-Umgebung Bazel
Bazel: Plattformübergreifendes Open-Source-Tool für Softwareentwickler
Bazel ist eine von Google entwickelte Build-Umgebung. Der Fokus dieser plattformübergreifenden Open-Source-Lösung liegt vor allem auf der vollständigen Kontrolle des Build-Prozesses. Eine Integration von Tools wie beispielweise Testwell CTC++ in den Build-Prozess läuft daher weniger generisch ab, als dies zum Teil von anderen Build-Tools gewohnt ist.
„Wir haben bereits einige unserer Kunden erfolgreich bei der Integration von Testwell CTC++ in Bazel begleitet“, erklärt Dr. Sabine Poehler, Produktmanagerin Testwell-Tools bei der Verifysoft Technology GmbH. „Gleichzeitig stellt dieses Build-Tool viele unserer Anwender vor große Herausforderungen. Wir freuen uns deshalb sehr darüber, unseren Kunden mit dem aktuellen Praxisbericht der Tweag Scalable Builds Group weitere konkrete Lösungsvorschläge an die Hand geben zu können.“
Testwell CTC++ unterstützt verschiedenste Code-Coverage-Stufen
Testwell CTC++ ist ein Code Coverage Analyser, der auch höchste Ansprüche an die Messung der Testabdeckung erfüllt. Das Tool arbeitet mit sämtlichen Compilern und allen (selbst kleinsten) Embedded Targets. Testwell CTC++ ist vom TÜV Süd für die Nutzung in sicherheitskritischen Softwareprojekten nach IEC 61508, ISO 26262, EN 50128 und IEC 62304 zertifiziert. Dies vereinfacht beispielsweise den Einsatz in Bereichen und Branchen wie Automotive, Eisenbahn oder Medizinprodukte, da keine zusätzliche Qualifizierung erforderlich ist. Für die Nutzung im Luftfahrtbereich steht ein Qualification-Kit zur Verfügung.
Testwell CTC++ zählt international zu den führenden Code-Coverage-Tools und unterstützt verschiedenste, von den Normen verlangte Code-Coverage-Stufen wie Statement-, Branch- und Modified Condition/Decision Coverage (MC/DC). Zusätzlich werden Line-, Function-, Decision-, Condition- und Multicondition-Coverage angezeigt. Die Lösung wird aktuell bei über 750 Kunden in 43 Ländern erfolgreich bei der Absicherung der Softwarequalität eingesetzt.
Weitere Informationen:
Best-Practice-Bericht zur Integration: https://www.verifysoft.com/…
Testwell CTC++ https://www.verifysoft.com/…
Tweag Scalable Builds Group https://www.tweag.io/…
Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 750 Kunden in 43 Ländern weltweit. Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene komplementäre Tools zur Qualitätssicherung von Software, wie der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
Pressekontakt
Telefon: +49 (89) 6230-3490
E-Mail: hansel@fx-kommunikation.de
Anwendungen optimieren: Embedded-Spezialist Verifysoft Technology bringt Performance-Analyse-Tool Codee auf den deutschen Markt
Codee ist eine Software-Entwicklungsplattform, die auf die automatische Code-Prüfung ausgelegt ist und es ermöglicht, die Performance von Anwendungen auf Basis von C, C++ und Fortran zu optimieren. Durch einen systematischen, transparenten Ansatz sind Entwickler mit Codee in der Lage, die Performance und Effizienz ihres Quellcodes zu verbessern. Zusätzliche Unterstützung bietet hierbei auch das Know-how, das im Open Catalog of Best Practices for Performance von Codee zusammengestellt ist.
Manuel Arenaz, CEO und Mitgründer von Appentra Solutions, freut sich auf die Zusammenarbeit mit Verifysoft: „Wir sind begeistert, künftig mit einem so erfahrenen und kompetenten Team zusammenzuarbeiten. Verifysoft verfügt über ein breites Marktwissen und viele renommierte Kunden, für die wir mit Codee einen großen Mehrwert schaffen möchten.“
Codee wird sehr früh im Entwicklungsprozess und in der Testphase eingesetzt. Zu den Vorteilen des Tools zählt die Fähigkeit, Quellcode ohne Ausführung zu scannen und unmittelbar einen detaillierten Bericht für Entwickler zu erstellen, der auf die spezifische Zielumgebung (definiert durch Compiler, Hardware und Betriebssystem) zugeschnitten ist. Dieser Bericht beinhaltet nicht nur eine genaue Darstellung der Performance-Probleme im Code, sondern zeigt auch deren exakte Position und bietet Lösungen zur Behebung. So können Entwickler potenzielle Performance-Engpässe schnell identifizieren und effektive Lösungen implementieren.
„Wir haben einen großen Kundenstamm für unser Code-Coverage-Tool Testwell CTC++ und das statische Analysetool CodeSonar von CodeSecure. Das statische Analysetool von Codee zur Identifizierung von Performance-Problemen ergänzt unser Portfolio daher hervorragend. Wir freuen uns sehr, Kunden und Interessenten im deutschsprachigen Raum die innovative Technologie von Codee zur Verfügung zu stellen. Damit möchten wir ihnen gleichzeitig einen neuen Standard für Effizienz und Qualität in der Softwareentwicklung bieten“, sagt Klaus Lambertz, Geschäftsführer der Verifysoft Technology GmbH.
„Die Code-Performance ist für viele Anwendungen entscheidend. So muss beispielsweise ein Bremsmanöver innerhalb eines sehr engen Zeitfensters ausgeführt werden oder es muss möglich sein, auf Regelabweichungen ohne lange Totzeiten zu reagieren. Wir sehen einen riesigen Markt für solche Lösungen", sagt Royd Lüdtke, Direktor für statische Analysetools bei Verifysoft Technology.
Weitere Informationen zu Codee: https://www.verifysoft.com/…
Über Codee
Die Software-Entwicklungsplattform von Codee umfasst Tools zur Verbesserung der Leistung von C/C++/Fortran-Anwendungen. Der Codee Static Code Analyzer bietet einen systematischen Ansatz zur Durchsetzung von Best Practices zur Performance-Optimierung von C/C++/Fortran-Anwendungen. Darüber hinaus bietet das Tool innovative Coding Assistenz-Funktionen, die ein halbautomatisches Umschreiben des Quellcodes während des gesamten Softwareentwicklungszyklus ermöglichen. Bringen Sie Ihre CI/CD-Pipeline auf die nächste Stufe, indem Sie die Code-Performance in Ihre Shift-Left-Strategie aufnehmen. Die Lösungen von Codee unterstützen Entwickler in zahlreichen Branchen im Bereich Embedded Computing und High-Performance Computing, darunter Luft- und Raumfahrt, erneuerbare Energien, Automotive, Gesundheitswesen und HPC-Organisationen weltweit.
Weitere Information über Codee finden Sie unter www.codee.com.
Über Verifysoft
Die Verifysoft Technology GmbH ist ein führender Anbieter von Werkzeugen, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Reduzierung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut weltweit über 750 Kunden in 43 Ländern mit einem internationalen Beraterteam am Hauptsitz in Offenburg, Deutschland. Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation von Codeabdeckung und Codequalität. Zu diesem Zweck bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen eingesetzt werden. Darüber hinaus vertreibt Verifysoft Technology verschiedene komplementäre Tools für die Software-Qualitätssicherung, wie zum Beispiel die statische Code-Analyse.
Weitere Informationen über Verifysoft Technology finden Sie unter www.verifysoft.com .
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Pressekontakt
Telefon: +49 89 6230 3490
E-Mail: hansel@fx-kommunikation.de
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
20 Jahre im Zeichen sicherer Software: Test-Spezialist Verifysoft Technology feiert Jubiläum
2003 zunächst als deutscher Distributor für die Produkte des Herstellers Testwell gegründet, hat sich Verifysoft heute zu einem der führenden Anbieter für Tools, Dienstleistungen und Schulungen in den Bereichen Softwaretests und Code Coverage im Embedded-Bereich entwickelt. Über 750 Kunden in 43 Ländern nutzen Lösungen des Offenburger Unternehmens, um ihre Software sicher zu machen. Dazu zählen beispielsweise 80 der 100 weltweit führenden Technologieunternehmen, alle deutschen Automobilhersteller, zahlreiche Zulieferer, Flugzeughersteller und viele Medizintechnik-Spezialisten. Dabei agiert Verifysoft seit Beginn an bewusst eigenständig, inhabergeführt und ohne Investoren.
„Ob in Alltagsgeräten, Fahrzeugen und Verkehrsmitteln oder im Bereich kritischer Hochtechnologie: Die Bedeutung sicherer Software hat in den vergangenen Jahren kontinuierlich zugenommen. Beispielhaft seien hier nur Themenkomplexe wie autonomes Fahren oder die Vernetzung von Geräten in IoT-Anwendungsszenarien genannt. Die Absicherung der Softwarequalität hat sich hier zu einem zentralen Faktor entwickelt und die Nachfrage steigt kontinuierlich weiter“, erklärt Klaus Lambertz, Geschäftsführer der Verifysoft Technology GmbH.
Verifysoft startete im Gründungsjahr 2003 zunächst als Distributor für die Lösungen des finnischen Herstellers Testwell. 2013 wurden die Eigentumsrechte für die Testwell-Tools erworben und die Produkte werden seitdem von Verifysoft laufend weiterentwickelt. Dazu zählt beispielsweise Testwell CTC++, eines der führenden Code-Coverage-Tools zur Messung der Testabdeckung auf dem Host und auf allen (selbst kleinsten) Embedded Targets. Testwell CTC++ wurde inzwischen vom Testing Laboratory for Safety Components der TÜV SÜD Rail GmbH für die Nutzung in sicherheitskritischen Softwareentwicklungsprojekten zertifiziert. Das Tool kann dadurch ohne zusätzliche Qualifizierung für die Messung der Testabdeckung in Projekten gemäß Normen wie IEC 61508 (elektrische, elektronische und programmierbare elektronische Systeme), ISO 26262 (Automotive), EN 50128 (Eisenbahn) und IEC 62304 (Medizinprodukte) eingesetzt werden.
Ebenfalls seit dem Jahr 2013 betreut Verifysoft Vertrieb und Support für das statische Codeanalysetool CodeSonar in den deutschsprachigen Ländern. Zu den Schwerpunkten von Verifysoft zählt darüber hinaus ein umfangreiches Schulungs-, Trainings- und Seminarangebot.
Besonderen Wert legt das Unternehmen auf eine kollegiale und familiäre Arbeitsatmosphäre im Team. Werte, die 2021 in einem von den Mitarbeiterinnen und Mitarbeitern entwickelten Unternehmensleitbild festgehalten wurden.
„Als inhabergeführtes, unabhängiges Unternehmen können wir uns zum Glück den Luxus leisten, uns nicht kurzfristig auf Quartalsergebnisse konzentrieren zu müssen, sondern im Rahmen einer langfristig ausgerichteten Strategie die Zufriedenheit unserer Kunden in den Mittelpunkt zu stellen“, sagt Lambertz. „Dies ist aus meiner Sicht auch ein entscheidender Erfolgsfaktor der vergangenen 20 Jahre, was durch ein stetiges Umsatzwachstum unterstrichen wird.“
Über Verifysoft Technology
Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 750 Kunden in 43 Ländern weltweit. Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene komplementäre Tools zur Qualitätssicherung von Software, wie der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Pressekontakt
Telefon: +49 89 6230 3490
E-Mail: hansel@fx-kommunikation.de
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
Code Coverage Analyser Testwell CTC++ von Verifysoft Technology erhält TÜV-Zertifizierung
Testwell CTC++ kann somit für die Messung der Testabdeckung in Projekten gemäß Normen wie IEC 61508 (elektrische, elektronische und programmierbare elektronische Systeme), ISO 26262 (Automotive), EN 50128 (Eisenbahn) und IEC 62304 (Medizinprodukte) ohne zusätzliche Qualifizierung eingesetzt werden. Dies vereinfacht die entsprechenden Prozesse deutlich und sorgt gleichzeitig für zuverlässige Ergebnisse bei sicherheitskritischer Software.
Bei der Zertifizierung durch die TÜV Süd Rail GmbH wurden sowohl der Coverage Analyser selbst als auch der Entwicklungsprozess bei Verifysoft Technology überprüft. Die Zertifizierung gilt für sämtliche Sicherheitsstufen der jeweiligen Normen. Sie deckt zudem alle Bestandteile von Testwell CTC++ für alle verfügbaren Plattformen (Windows, Linux und MacOS) ab.
Testwell CTC++ 10
Anfang des Jahres hat Verifysoft Technology die neue Version 10 von Testwell CTC++ veröffentlicht. Das Major Release bietet unter anderem komplett überarbeitete, modern gestaltete HTML-Berichte, die individuell anpassbar sind und für noch mehr Überblick und Nachvollziehbarkeit sorgen. Darüber hinaus lassen sich die Berichte auch einfacher und performanter erzeugen. Weitere Neuerungen in Testwell CTC++ umfassen beispielsweise die Integration von Build-Management-Tools und eine erleichterte Coverage-Messung für unterschiedlich präprozessierte Header-Varianten und bedingt kompilierten Code.
Testwell CTC++ zählt zu den führenden Code-Coverage-Tools zur Messung der Testabdeckung auf dem Host und auf allen (selbst kleinsten) Embedded Targets. Unterstützt werden verschiedenste, von den Normen verlangte Code-Coverage-Stufen wie Statement-, Branch- und Modified Condition/Decision Coverage (MC/DC). Zusätzlich zeigt die Lösung Line-, Function-, Decision-, Condition- und Multicondition-Coverage an. Testwell CTC++ wird aktuell bei über 700 Kunden in 43 Ländern erfolgreich bei der Absicherung der Qualität eingesetzt.
Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 700 Kunden in 43 Ländern weltweit. Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene komplementäre Tools zur Qualitätssicherung von Software, wie der Statischen Codeanalyse.
Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Pressekontakt
Telefon: +49 89 6230 3490
E-Mail: hansel@fx-kommunikation.de
Geschäftsführer, Direktor Marketing und Vertrieb
Telefon: +49 (781) 6392027
Fax: +49 (781) 6392029
E-Mail: lambertz@verifysoft.com
Kostenfreies Webinar: Herausforderungen beim Einsatz von KI-Systemen in sicherheitsrelevanten Systemen (mit Dipl.-Ing. Martin Heininger)
Verifysoft Technology GmbH, gegründet 2003 im Technologiepark Offenburg und bis heute dort ansässig, bietet neben Softwaretesttools auch Webinare, Trainings und Seminare zu den Themen Softwaretesting, Code Coverage und Softwarequalität an. So auch am Donnerstag, 04.05.2023 um 10:00 Uhr MEZ das kostenfreie Webinar zum Thema „Herausforderungen beim Einsatz von KI-Systemen in sicherheitsrelevanten Systemen“ (mit Dipl.-Ing. Martin Heininger)
Melden Sie sich jetzt zu unserem kostenlosen Webinar am Do., 04.05.2023 um 10:00 Uhr MEZ an und erfahren Sie mehr zu folgenden Themen:
– Definition von künstlicher Intelligenz
– Stand der Normung
– Gegenüberstellung von KI-Algorithmen und klassischer Software
– Requirements Engineering für KI
– System- und Validierungstests
– Coverage-Messungen
Nutzen Sie folgenden Link zur Anmeldung: https://www.verifysoft.com/de_AI_algorithms_webinar.html
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Telefon: +49 (781) 1278118-6
E-Mail: handzhiyska@verifysoft.com
Seminar „Testen von Embedded Software“ (2-tägiges Präsenz-Seminar) am 26. und 27. April 2023 mit Dipl.-Ing. M. Heininger in Offenburg
Sie wollen sich auf den neuesten Stand bzgl. Qualitätsmaßnahmen und Softwaretestaktivitäten bringen?
Ihre Firma plant Aktivitäten im Bereich Softwarequalität aufzusetzen oder auszuweiten?
Ihre Mitarbeiter sollen geschult werden, um unsere Softwaretest- und -Analyse Tools in kürzester Zeit produktiv einsetzen zu können?
Wir unterstützen Sie bei der Lösung dieser Ziele.
Profitieren Sie von unserem Seminar und erwerben Sie die notwendigen Kenntnisse, um Embedded Software effizient und sicher entwickeln und testen zu können.
Ausführliche Informationen zum Inhalt sowie die Anmeldung zum Seminar, welches am 26. + 27.04.2023 in Offenburg stattfinden wird, finden sie auf unserer Homepage http://verifysoft.de/de_seminar_testen_von_embedded_systems.html
Die in Offenburg ansässige Verifysoft Technology GmbH ist Entwicklungspartner und Distributor für hochqualitative Softwaretest- und -analysetools für die Automatisierung der Tests von C/C++, Java und Webanwendungen.
Der 2003 gegründete Softwaretestspezialist hat Kunden in mehr als zehn europäischen Ländern, darunter Firmen wie Alcatel, Philips, Siemens, T-Systems und Volkswagen.
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Telefon: +49 (781) 1278118-6
E-Mail: handzhiyska@verifysoft.com
Schnelleinstieg in RTOS mit FreeRTOS Kompakt-Seminar mit Professor Dr.-Ing. Daniel Fischer
Sie wollen Ihre zukünftigen Projekte basierend auf einem Echtzeitbetriebssystem (Real Time Operating System – RTOS) deutlich effizienter und stabiler umsetzen?
Bei Ihnen steht ein Refactoring von Bare-Metal-Architekturen an?
Neue Mitarbeiter sollen zügig geschult werden?
Buchen Sie jetzt unser Kompaktseminar "Schnelleinstieg in RTOS mit FreeRTOS" und erhalten Sie die notwendigen theoretischen und praktischen Kenntnisse.
Integrierte praktische Übungen in C mit FreeRTOS und einem STM32F429I-DISC1 Evaluationsboard vertiefen die Lehrinhalte und können später einfach in eigenen Projekten wiederverwendet werden.
Mehr Informationen und die Möglichkeit zur Anmeldung unter: https://www.verifysoft.com/de_seminar_free_RTOS.html
Verifysoft Technology GmbH
In der Spöck 10
77656 Offenburg
Telefon: +49 (781) 1278118-0
Telefax: +49 (781) 6392029
http://www.verifysoft.com
Telefon: +49 (781) 1278118-6
E-Mail: handzhiyska@verifysoft.com
