logo
Verifysoft Technology GmbH
Newsletter 01/2023        Februar 2023
Verifysoft Technology GmbH
Testing Solutions for your Productivity and Software Quality
Aufgezeichnetes Webinar: Was ist neu in Testwell CTC++ Version 10?

Verifysoft hat kürzlich die neue Version 10.0 des Code Coverage Analysers Testwell CTC++ herausgebracht. Testwell CTC++ 10 legt einen Schwerpunkt auf die Report-Erzeugung: ein neues Reporting-Tool, ctcreport, ist verantwortlich für die vorlagenbasierte Erzeugung des HTML-Berichts.

Diese und weitere Neuerungen der Version 10 wie Aufbau und Funktionen des neuen HTML-Berichts, Verbesserungen für die Header-Darstellung, Umgang mit bedingt kompiliertem Code und ctclaunch für Linux für die Build-Integration sind Thema unseres aufgezeichneten Webinars.
Seminar "Requirements Engineering auf den Punkt gebracht" am 3. Mai 2023 in Memmingen

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.

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. Richtig angewandt, stellt das Anforderungs-Engineering das Handwerkszeug zur Verfügung, um Komplexität professionell zu beherrschen und die Vorgaben der Funktionalen Sicherheitsstandards ISO 26262, IEC 61508, ISO 25119, IEC 62304 zu erfüllen.

In unserem eintägigen Präsenzseminar „Requirements Engineering auf den Punkt gebracht“ vermitteln wir die notwendigen Kenntnisse, 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.

Anmeldungen für das 1-tägige Seminar mit
Dipl.-Ing. M. Heininger am 3. Mai 2023 in Memmingen sind ab sofort möglich.
Hier mehr erfahren und anmelden!

Das Seminar ist auch als als Inhouse-Seminar buchbar.
Verifysoft führt teambasierte Lizenzen für Testwell CTC++ ein

Um den Anforderungen moderner Software-Entwicklungsprozesse bzw. Umgebungen gerecht zu werden, bietet Verifysoft neben Floatinglizenzen ab sofort auch teambasierte Lizenzen an.

Für dynamische, hybride Build- und Entwicklungsumgebungen gewähren diese "Team-based Licenses" das Recht zur Nutzung des Code Coverage Analysers <Testwell CTC++ innerhalb eines bestimmten Teams mit einer festgelegten Größe. Technisch gesehen werden die Lizenzen passend zur Build-Umgebung vergeben, so dass eine teamweite Nutzung ohne technische Hürden möglich ist.
Team-Lizenzen sind zeitlich begrenzt (in der Regel ein Jahr). Der Lizenznehmer verpflichtet sich, einmal pro Jahr über die Teamgröße zu berichten damit die Lizenzierung bei Bedarf entsprechend angepasst werden kann.

Das Lizenzbedingungen sind entsprechend angepasst worden (siehe Verifysoft End-User License Agreement for Testwell-Tools).

Für weitere Informationen stehen Ihnen unsere Mitarbeiter gerne zur Verfügung.
Embedded World 2023 - Treffen Sie uns in Halle 4 Stand 423

Wir freuen uns, Sie vom 14. bis 16. März 2023 persönlich auf der Embedded World in Nürnberg treffen zu können.

Erhalten Sie hier weitere Informationen und registrieren Sie sich für Ihr kostenloses Messeticket.

Übrigens: unter allen Besuchern an unserem Messestand verlosen wir ein <2-Tages-Seminar "Testen von Embedded Software" inkl. Hotelübernachtung im Wert von 1.480 Euro.
Imagix 4D Version 10.5 mit MISRA C++ Support verfügbar

Imagix 4D Version 10.5 mit Fokus auf MISRA-C++ ist ab sofort verfügbar.

Imagix 10.5 bietet eine Checkliste für die aktuelle MISRA-C++-Version 2008, mit der alle Regeln (mit Ausnahme von Kapitel 14) umgesetzt werden. Die Imagix-Überprüfungsfunktion hilft dem Benutzer bei der Überprüfung der Regeln von MISRA-C++ und automatisiert alle Berechnungen. Bei den Regeln, die eine Dokumentation durch den Benutzer erfordern, gibt es keine automatischen Schritte, sondern die Aufforderung, die Dokumentation beizufügen. Eindeutig verifizierbare Regelverstöße werden präzise ausgewiesen, sofern das Projekt ohne Fehler analysiert wurde und der Quellcode vollständig ist. Potenzielle, nicht eindeutige Regelverstöße, die eine menschliche Überprüfung erfordern, werden ebenfalls unter Angabe der entsprechenden Stellen im Code gelistet, um dann eine abschließende, menschliche Bewertung erfahren zu können.

Die Nutzung des MISRA-C++-Features in Imagix 4D erfordert eine Lizenzerweiterung.
Imagix 10.5 bietet außerdem Unterstützung für das Laden von Daten aus Quelldateien, die sich in Verzeichnispfaden mit internationalen Zeichensätzen befinden.
Termine
Webinare:
  • Kostenfreies Webinar: “Herausforderungen beim Einsatz von KI-Systemen in sicherheitsrelevanten Systemen”
    am 30. März 2023 um 10:00 Uhr (MEZ)
  • Kostenfreies Webinar:
    “Unit- und Software Integration-Tests in sicherheitskritischen Projekten" am
    13. Juli 2023 um 15:00 Uhr (MEZ
    )
    Jetzt informieren und anmelden!
Seminare:
  • Seminar Testen von Embedded Software
    mit Dipl.-Ing. Martin Heininger
    am 26. und 27. April 2023 und am
    18. und 19. Oktober 2023
    in Offenburg.
    Jetzt informieren und anmelden!

  • Seminar Requirements Engineering auf den Punkt gebracht mit
    Dipl.-Ing. Martin Heininger
    am 3. Mai 2023 in Memmingen
    Jetzt informieren und anmelden!

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