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
Requirements Engineering auf den Punkt gebracht: 1-tägiges Seminar mit Dipl.-Ing. M. Heininger am 03.05.2023 in Memmingen
Die Komplexität von mechatronischen Systemen nimmt seit Jahren immer weiter zu. Mehr und mehr solcher Systeme werden auch in sicherheitskritischen Umgebungen eingesetzt. Diese Tendenzen erfordern verbesserte und neue Methoden bei der Entwicklung solcher Systeme.
Das Requirements Engineering ist eine dieser Methoden. Richtig angewandt, stellt es das Handwerkszeug zur Verfügung um Komplexität professionell zu beherrschen. Gleichzeitig werden Forderungen der Funktionalen Sicherheitsstandards ISO 26262, IEC 61508, ISO 25119, IEC 62304 etc. erfüllt.
Durch das Seminar werden Sie in der Lage sein, selbst gute Requirements zu schreiben. Sie lernen, warum und wie die Komplexität von Systemen mit Requirements beherrschbar bleibt und erhalten eine über lange Jahre praxiserprobte Checkliste. Damit sind Sie in der Lage effiziente Requirementsreviews durchzuführen und gleichzeitig die Forderungen der Funktionalen Sicherheitsstandards zu erfüllen. Viele Übungen zum Formulieren von Requirements runden das Seminar ab.
Zielgruppe: Requirement Ingenieure, Systemarchitekten, Software- und Hardwareentwickler, Projektleiter, Funktionale Sicherheitsbeauftragte, Entwicklungsleiter
Unter folgendem Link können Sie sich für das Seminar, welches am 03.05.2023 von 09:00 bis 17:00 Uhr in Memmingen stattfinden wird, verbindlich anmelden: https://www.verifysoft.com/de_seminar_requirements_engineering.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
Kostenfreies Webinar: Unit- und Software Integration-Tests in sicherheitskritischen Projekten (Dipl.-Ing. Martin Heininger)
– Die Rolle der statischen Analyse
– MISRA-Prüfungen
– Laufzeit-Fehleranalyse
– Die Rolle des Requirements Engineering in Bezug auf das Testen
– Software-Integration-Tests versus Software-Unit-Tests
– Methoden zur Ableitung von Normalbereichs- und Robustheitstestfällen
– Messung der strukturellen Abdeckung
– Die Aussagekraft von Überprüfungen des Tests
Nutzen Sie folgenden Link zur Anmeldung: https://www.verifysoft.com/de_integration_tests_webinar.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
