logo

Verifysoft Technology GmbH
Newsletter 04/2023         September 2023
Verifysoft Technology GmbH
Testing Solutions for your Productivity and Software Quality
User-Testimonial: Broadcom nutzt Testwell CTC++ zur Analyse der Codeabdeckung

Broadcom Corporation ist einer der weltweit führenden Anbieter von Infrastrukturtechnologien, der auf dem reichen technischen Erbe von AT&T/Bell Labs, Lucent und Hewlett-Packard/Agilent aufbaut.
Die Broadcom Corporation setzt seit langem auf Testwell CTC++ zur Messung der Codeabdeckung.
" ... Mit Testwell CTC++ konnten wir die Abdeckung von Decision, Line und Multicondition wie gewünscht erreichen. ... Unser Entwicklungsteam legt besonderen Wert auf die Benutzerfreundlichkeit des Tools und vor allem auf die Lesbarkeit der Berichte. Die neue Darstellung der Modified Condition/Decision Coverage gibt zusätzliche Informationen bzgl. der True-False Pair-Coverage für automare Bedingungen in Boolean Expressions und ist eine hervorragende Ergänzung zu den Testmetriken, die wir zur Validierung unserer Entwürfe verwenden", sagt Bharadwaj Sreenivasan, R&D Engineer, bei Broadcom Corporation.

Lesen Sie hier das vollständige User-Testimonial.
Seminare "Schnelleinstieg in RTOS mit FreeRTOS" und "Testen von Embedded Software"

Verifysoft bietet am 17. Oktober 2023 wieder ein Seminar mit Professor Dr.-Ing. Daniel Fischer von der Hochschule Offenburg an.

Im Kompaktseminar "Schnelleinstieg in RTOS mit FreeRTOS" werden notwendige theoretische und praktische Kenntnisse vermittelt, um Projekte basierend auf einem Echtzeitbetriebssystem deutlich effizienter und stabiler umzusetzen und ein Refactoring von Bare-Metal-Architekturen durchzuführen. 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.

Jetzt informieren und anmelden.

Aus der Praxis - für die Praxis. Das ist die Devise für die Seminare mit Dipl.-Ing. Martin Heininger von HEICON Global Engineering, einem anerkannten Spezialisten für den Test und Zertifizierung von (sicherheitskritischer) embedded Software.

In unserem zweitägigen Präsenzseminar "Testen von Embedded Software" vermitteln wir die notwendigen Kenntnisse, um qualitativ hochwertige und zuverlässige Embedded Systeme effizient und effektiv testen zu können. Neben dem Testmanagement werden praxisorientierte Techniken und Vorgehensweisen erklärt. Durch Übungen und Beispiele aus der Praxis erlernen die Teilnehmer die Seminarinhalte in eigenen Projekten umzusetzen.

Nächster Termin: 18. und 19. Oktober 2023

Hier mehr erfahren und anmelden!

Beide Seminare sind übrigens auch als Inhouse-Seminar buchbar.
Das Whitepaper "Code Coverage Best Practices"

Code Coverage ist ein vielversprechendes Maß für die Effektivität von Tests. Die Ergebnisse verschiedener Unternehmen zeigen, dass eine höhere Codeabdeckung die Anzahl der feldbezogenen Fehler verringert und das Vertrauen in die Qualität des Codes erhöht. Das Whitepaper "Code Coverage Best Practices" beschreibt, wie einer der weltweit führenden Konsumgüterriesen Testwell CTC++ erfolgreich einsetzt, um Unit-Tests und Code Coverage zu einem Teil seines Continuous Integration Flow zu machen. Laden Sie das Whitepaper unseres Partners Lexington Soft herunter.
Battery Ventures kauft die Sicherheits-Software-Sparte von GrammaTech

Unser Partner GrammaTech hat seine Sicherheits-Software-Sparte mit den Tools CodeSonar und CodeSentry an Battery Ventures verkauft. Durch die Transaktion wird ein neues, unabhängiges Unternehmen gegründet, das unter dem Namen CodeSecure, Inc. firmiert und seinen Sitz in Bethesda (Maryland) hat.

Die Research-Sparte von GrammaTech bleibt bestehen und wird weiterhin Forschungs- und Entwicklungsdienstleistungen im Bereich der Cybersicherheit für die US-Regierung anbieten.
Weitere Informationen: CodeSecure Webseite.
Statische Analyse: CodeSonar 7.4 verfügbar

CodeSecure hat Version 7.4 von CodeSonar herausgegeben. Die neue Version deckt weitere Kodierungsstandards ab, die insbesondere für Kunden aus der Luft- und Raumfahrt wichtig sind. CodeSonar unterstützt jetzt den JSF++ Standard. Darüber hinaus wurde die Regelabdeckung in unserem Functional Safety (FUSA) Kit erweitert. Verbesserungen am Hybrid-SaaS-Installationsprogramm ermöglichen, dass Kunden SaaS-Instanzen selbst verwalten können.

Hier weitere Einzelheiten zu den Verbesserungen:
  • JSF++ Support
  • Erweiterte Unterstützung im Functional Safety (FUSA) Kit
  • Support von Bazel
  • weitere Regeln für den MISRA C 2023
  • Support für Android 13
  • die C# und Java-Analysen werden nun voll im Hybrid SaaS-Modus unterstützt
  • selbstverwaltete hybride SaaS-Bereitstellungsoption für Kunden.
  • CodeSonar for Binaries wurde überarbeitet, um Fehler in einem Programm zu finden, ohne dass der Code, der zur Erstellung des Programms verwendet wurde, eingesehen werden muss.
CodeSentry 5.0 überprüft 9.700 neue Sicherheitslücken und 3.700 neue Komponenten

CodeSecure gibt die Verfügbarkeit von CodeSentry 5.0 bekannt.

Zu den Highlights der neuen Version gehören:
  • mit der neuen Funktion "Component Annotation" können Komponenten aus einer SBOM ausgeschlossen werden, wobei ein entsprechender Prüfpfad erstellt wird, um möglichst genaue SBOMs und Schwachstellenberichte zu erstellen,
  • die CodeSentry-Benutzeroberfläche enthält jetzt eine instanzweite Schwachstellensuche, mit der Benutzer schnell und einfach feststellen können, welche analysierten Dateien für bestimmte CVEs anfällig sind,
  • die CodeSentry-Binäranalyse kann jetzt über Shared Library-Abhängigkeiten berichten, auf welche die Ziel-Binärdateien verweisen - diese Ergebnisse sind über die CodeSentry-API zugänglich,
  • CycloneDX SBOM exportiert jetzt include Open Source License Information,
  • Erweiterung der Prüfung auf über 9.700 neue Sicherheitslücken und 3.700 neue Komponenten.
Termine
Webinar:
  • Kostenfreies Webinar:
    “Unit- und Software Integration-Tests in sicherheitskritischen Projekten" am
    16. November 2023 um 10:00 Uhr (MEZ
    )
    Jetzt informieren und anmelden!
Seminare:

Messen:




Mit freundlichen Grüßen
Klaus Lambertz
Geschäftsführer
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg
Twitter
LinkedIn
YouTube

Newsletter-Anmeldung / Newsletter-Archiv


Newsletter-Archiv

Hier zum Newsletter anmelden