• Software

    Justifications für nicht testbaren Code: Verifysoft präsentiert Testwell CTC++ 10.1

    Verifysoft Technology präsentiert im Rahmen der embedded world (Stand 4-423) die neue Version 10.1 des Code Coverage Analysers Testwell CTC++. Das Tool zur Messung der Testabdeckung bietet jetzt die Möglichkeit, Erklärungen für fehlende Coverage strukturiert zu erfassen und nachzuhalten. Wichtig ist dies für nicht oder schwierig zu testenden Code. Die Erklärungen – sogenannte Justifications – wirken sich in den Coverage-Berichten auf alle Coverage-Maße aus. Dabei bleibt immer transparent und nachvollziehbar dokumentiert, welche Teile des Codes tatsächlich getestet und welche rein über Justifications abgedeckt wurden. 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,…

    Kommentare deaktiviert für Justifications für nicht testbaren Code: Verifysoft präsentiert Testwell CTC++ 10.1
  • Software

    Best Practice: Neuer Praxisbericht zur Integration des Code Coverage Analysers Testwell CTC++ in die Build-Umgebung Bazel

    Verifysoft Technology, Spezialist für Embedded Code Coverage und statische Codeanalyse, stellt einen neuen Best-Practice-Bericht zur Integration des Code Coverage Analysers Testwell CTC++ in die Build- und Test-Umgebung Bazel vor. Die Integration wurde von der Tweag Scalable Builds Group im Rahmen eines Großkundenprojekts realisiert. Der Bericht bietet einen Überblick über die gelösten Herausforderungen und liefert konkrete Ansätze zur Umsetzung einer eigenen Integration. 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…

    Kommentare deaktiviert für Best Practice: Neuer Praxisbericht zur Integration des Code Coverage Analysers Testwell CTC++ in die Build-Umgebung Bazel
  • Software

    Anwendungen optimieren: Embedded-Spezialist Verifysoft Technology bringt Performance-Analyse-Tool Codee auf den deutschen Markt

    Die Verifysoft Technology GmbH hat eine Vertriebsvereinbarung mit Appentra Solutions S.L. für das innovative Produkt Codee unterzeichnet. Verifysoft Technology, Spezialist für Lösungen zur Steigerung der Softwarequalität und für die Messung der Testabdeckung, wird Codee ab sofort in der DACH-Region vertreiben. Erstmals steht das Tool des spanischen Herstellers damit auch Unternehmen und Entwicklern im deutschsprachigen Raum zur Verfügung. 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…

    Kommentare deaktiviert für Anwendungen optimieren: Embedded-Spezialist Verifysoft Technology bringt Performance-Analyse-Tool Codee auf den deutschen Markt
  • Software

    20 Jahre im Zeichen sicherer Software: Test-Spezialist Verifysoft Technology feiert Jubiläum

    Die Verifysoft Technology GmbH, Spezialist für Lösungen zur Steigerung der Softwarequalität und für die Messung der Testabdeckung, feiert in diesem Jahr ihr 20. 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,…

    Kommentare deaktiviert für 20 Jahre im Zeichen sicherer Software: Test-Spezialist Verifysoft Technology feiert Jubiläum
  • Sicherheit

    Code Coverage Analyser Testwell CTC++ von Verifysoft Technology erhält TÜV-Zertifizierung

    Verifysoft Technology (https://www.verifysoft.com), Spezialist für Lösungen zur Steigerung der Softwarequalität und für die Messung der Testabdeckung, gibt die TÜV-Zertifizierung des Code Coverage Analysers Testwell CTC++ bekannt. Das Tool ist vom Testing Laboratory for Safety Components der TÜV SÜD Rail GmbH für die Nutzung in sicherheitskritischen Softwareentwicklungsprojekten zertifiziert worden. 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…

    Kommentare deaktiviert für Code Coverage Analyser Testwell CTC++ von Verifysoft Technology erhält TÜV-Zertifizierung
  • Software

    Free Webinar: Challenges in the use of AI systems in safety-relevant systems (with Dipl.-Ing. Martin Heininger)

    Main application fields of Verifysoft‘s tools are automotive and transport, aerospace and defense, railway, industrial automation, medical and healthcare, IT / ICT services and consulting, mission critical software development, as well as research and education. In worst case insufficient software quality can result in injuries and even death of humans. Effective software quality assurance measures are required in order to increase safety and security. To reduce the factors of failures and errors in the software developing process, Verifysoft offers different Tools (as mentioned above) and trainings, seminars and free webinars with a big variety of topics On Thursday, May 04th 2023 at 3 p.m. CET Verifysoft Technology offers a free webinar about Challenges in the use of AI…

    Kommentare deaktiviert für Free Webinar: Challenges in the use of AI systems in safety-relevant systems (with Dipl.-Ing. Martin Heininger)
  • Software

    Kostenfreies Webinar: Herausforderungen beim Einsatz von KI-Systemen in sicherheitsrelevanten Systemen (mit Dipl.-Ing. Martin Heininger)

    Am Donnerstag, 04.05.2023 um 10:00 Uhr MEZ bietet Verifysoft Technology ein kostenfreies Webinar zum Thema Herausforderungen beim Einsatz von KI-Systemen in sicherheitsrelevanten Systemen an. 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…

    Kommentare deaktiviert für Kostenfreies Webinar: Herausforderungen beim Einsatz von KI-Systemen in sicherheitsrelevanten Systemen (mit Dipl.-Ing. Martin Heininger)
  • Software

    Seminar „Testen von Embedded Software“ (2-tägiges Präsenz-Seminar) am 26. und 27. April 2023 mit Dipl.-Ing. M. Heininger in Offenburg

    Auch in Zukunft entscheiden Software und deren Qualität über den wirtschaftlichen Erfolg eines Unternehmens. Firmen mit guten eingeführten Prozessen und Strukturen zur Sicherung der Softwarequalität werden ihre Marktposition behaupten und erfolgreich ausbauen können. 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…

    Kommentare deaktiviert für Seminar „Testen von Embedded Software“ (2-tägiges Präsenz-Seminar) am 26. und 27. April 2023 mit Dipl.-Ing. M. Heininger in Offenburg
  • Software

    Free Webinar: Unit and software integration testing in safety-critical projects (with Dipl.-Ing. Martin Heininger)

    Verifysoft Technology is a worldwide leading software distribution company founded 2003 in Offenburg, Black Forest (Germany). It is owner of the Code Coverage Analyser Testwell CTC++, and the Code Complextity Measurement Tools Testwell CMT++ and CMTJava Verifysoft Technology offers seminars, trainings and free webinars about software development and software quality. Register now to our free webinar with Dipl.-Ing. Martin Heininger on July 13th 2023 at 10 a.m. CET and learn more about the following topics: – The role of Static analysis – MISRA checks – Run-Time-Error Analysis – The role of requirement engineering with respect to testing – Software Integration Testing versus Software Unittesting – Methods to derive normal range and robustness…

    Kommentare deaktiviert für Free Webinar: Unit and software integration testing in safety-critical projects (with Dipl.-Ing. Martin Heininger)
  • Software

    Schnelleinstieg in RTOS mit FreeRTOS Kompakt-Seminar mit Professor Dr.-Ing. Daniel Fischer

    Am Dienstag, den 25.04.2023 veranstaltet Verifysoft Technology GmbH in ihren Räumlichkeiten im Technologiepark in Offenburg das Kompakt-Seminar zum Thema „Schnelleinstieg in RTOS mit FreeRTOS“ mit Prof. 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…

    Kommentare deaktiviert für Schnelleinstieg in RTOS mit FreeRTOS Kompakt-Seminar mit Professor Dr.-Ing. Daniel Fischer