-
Statische Codeanalyse: Verifysoft lädt Entwickler und Qualitätsverantwortliche zur Veranstaltungsreihe „Static Analysis Network on the Road“
Die statische Codeanalyse ist eine wesentliche Grundlage, um die Sicherheit und Qualität von Software zu gewährleisten. Mit der Veranstaltungsreihe „Static Analysis Network on the Road“ bietet Verifysoft Technology Softwareentwicklern, Testern sowie Projekt- und Qualitätsverantwortlichen im September die Gelegenheit, sich über die neuesten Tools und Entwicklungen zu informieren. Interessante Locations und ein attraktives Programm mit praxisnahen Live-Demos schaffen dabei den Rahmen für den Austausch mit internationalen Experten im Bereich der Codeanalyse. Zu den Referenten zählen Rob Daulton (CodeSecure, USA), Manuel Arenaz (Appentra Solutions, Spanien) und Royd Lüdtke (Verifysoft Technology). Im Fokus stehen Themen wie die statische Quellcodeanalyse für C, C++ und weitere Programmiersprachen sowie die Analyse des Binärcodes auf seine Zusammensetzung,…
-
CodeSonar 8.1: Statische Codeanalyse jetzt für zehn Programmiersprachen verfügbar
CodeSecure, führender Hersteller von Lösungen für die statische Analyse von Softwaresicherheit, gibt die Verfügbarkeit von CodeSonar 8.1 bekannt. Die Schwerpunkte der neuen Version liegen auf der Verbesserung der Abdeckung von Coding-Standards und der Aktualisierung der Benutzeroberfläche. Das statische Codeanalysetool unterstützt darüber hinaus nun sechs weitere Programmiersprachen. Neben den bisherigen Sprachen C, C++, Java und C# werden jetzt auch Kotlin, Python, Go, Rust, JavaScript und TypeScript analysiert. Vertrieb und Support von CodeSonar erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. 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…
-
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,…
-
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…
-
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…
-
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,…
-
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…
-
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…
-
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…
-
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…
