-
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…
-
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…
-
Requirements Engineering auf den Punkt gebracht: 1-tägiges Seminar mit Dipl.-Ing. M. Heininger am 03.05.2023 in Memmingen
Verifysoft Technology GmbH, gegründet 2003 im Technologiepark Offenburg und bis heute dort ansässig, bietet neben Softwaretesttools auch Webinare und Seminare zu den Themen Softwaretesting, Code Coverage und Softwarequalität an. So auch am 03.05.2023 in Memmingen das Seminar mit unserem Experten Dipl.-Ing. Martin Heininger zum Thema „Requirements Engineering auf den Punkt gebracht“ 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…
-
Kostenfreies Webinar: Unit- und Software Integration-Tests in sicherheitskritischen Projekten (Dipl.-Ing. Martin Heininger)
Melden Sie sich jetzt zu unserem kostenlosen Webinar am Do., 13.07.2023 um 15:00 Uhr MEZ an und erfahren Sie mehr zu folgenden Themen: – 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 Über die Verifysoft Technology GmbH 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…
-
Free Webinar: Challenges in the use of AI systems in safety-relevant systems (with Dipl.-Ing. Martin Heininger)
Register now to our free webinar on March 30th at 15:00 p.m. CET and learn more about the following topics: – Definition of artificial intelligence – Status of standardisation – Comparison of AI algorithms and classical software – Requirements engineering for AI – System and validation tests – Coverage measurements Firmenkontakt und Herausgeber der Meldung: Verifysoft Technology GmbH Am Alten Schlachthof 14 77652 Offenburg Telefon: +49 (781) 1278118-0 Telefax: +49 (781) 6392029 http://www.verifysoft.com Ansprechpartner: Polina Handzhiyska Telefon: +49 (781) 1278118-6 E-Mail: handzhiyska@verifysoft.com Weiterführende Links Originalmeldung der Verifysoft Technology GmbH Alle Stories der Verifysoft Technology GmbH Für die oben stehende Story ist allein der jeweils angegebene Herausgeber (siehe Firmenkontakt oben) verantwortlich.…
-
Verifysoft Technology auf der embedded world 2023: Neue Lösungen für Code Coverage und statische Codeanalyse sowie ein umfangreiches Seminarprogramm
Verifysoft Technology präsentiert auf der embedded world (Halle 4, Stand 423) neue Entwicklungen und Schulungsangebote rund um die Steigerung der Softwarequalität und die Senkung der Entwicklungskosten. Der Spezialist für Embedded Code Coverage und statische Codeanalyse (https://www.verifysoft.com) legt den Fokus beim diesjährigen Messeauftritt vor allem auf das neue Seminarangebot sowie die konsequente Weiterentwicklung und Optimierung der angebotenen Lösungen. Umfangreiches Seminarprogramm für Softwareentwickler und Embedded-Spezialisten Das Seminarprogramm für 2023 beinhaltet beispielsweise Schulungen zu den Schwerpunkten „Testen von Embedded Software“, „Requirements Engineering“ und einen „Schnelleinstieg in Echtzeitbetriebssysteme (RTOS)“. Softwareentwickler, Embedded-Projektleiter und funktionale Sicherheitsbeauftragte haben dadurch die Möglichkeit, sich über neue Trends beim Testen von Software zu informieren, die zum Beispiel durch den Einsatz…
-
Testen von Embedded Software, die richtige Vorgehensweise beim Requirements Engineering und ein Schnelleinstieg in das Thema Echtzeitbetriebssysteme
Verifysoft Technology (https://www.verifysoft.com), einer der führenden Spezialisten in den Bereichen Embedded Code Coverage und statische Codeanalyse, bietet auch 2023 wieder Seminare zu den Themen Softwaretest und Softwarequalität an. Das diesjährige Seminarprogramm umfasst unter anderem Veranstaltungen zu den Schwerpunkten „Testen von Embedded Software“ und „Requirements Engineering“ sowie einen „Schnelleinstieg in Echtzeitbetriebssysteme (RTOS)“. Die Seminare richten sich an Zielgruppen wie Software-Entwickler und -Architekten, Embedded-Projektleiter, funktionale Sicherheitsbeauftragte, Entwicklungsleiter und Entscheider. Kosten und Risiken beim Testen von Embedded Software senken Im zweitägigen Seminar „Testen von Embedded Software“ wird gezeigt, wie Kosten und Risiken bei Entwicklung und Test von Embedded Software verringert werden können. Im Seminar werden die erforderlichen Kenntnisse vermittelt, um qualitativ hochwertige und…
-
Requirements Engineering auf den Punkt gebracht: 1-tägiges Seminar mit Dipl.-Ing. M. Heininger (Seminar | Memmingen)
Verifysoft Technology GmbH, gegründet 2003 im Technologiepark Offenburg und bis heute dort ansässig, bietet neben Softwaretesttools auch Webinare und Seminare zu den Themen Softwaretesting, Code Coverage und Softwarequalität an. So auch am 03.05.2023 in Memmingen das Seminar mit unserem Experten Dipl.-Ing. Martin Heininger zum Thema „Requirements Engineering auf den Punkt gebracht“ 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…
-
Verifysoft Technology veröffentlicht Version 10 des Code Coverage Analysers Testwell CTC++
Verifysoft Technology (www.verifysoft.com) präsentiert mit der Version 10 des Code Coverage Analysers Testwell CTC++ ein Major Release mit komplett überarbeiteten HTML-Reports. Die neuen HTML-Berichte in moderner Gestaltung erleichtern Nutzern die Navigation und sorgen durch einen kompakten Aufbau für einen schnellen Überblick. Fehlende Coverage ist dadurch noch klarer und besser nachvollziehbar. Gleichzeitig lassen sich die Berichte durch individuell konfigurierbare Layouts an unterschiedlich strukturierte Projekte anpassen. Dabei können etwa die Detailstufen je nach Bedarf festgelegt werden. Einfachere Erzeugung der Berichte Weiter optimiert wurde in Testwell CTC++ 10 auch die Erzeugung der Berichte, die jetzt noch einfacher und performanter erfolgt. So entfällt beispielsweise der bisherige Zwischenschritt über einen reinen Text-Report. Mit der Version…
-
CodeSentry 4.1: Sicherheitslücken in der Softwareentwicklung erkennen
GrammaTech (http://www.grammatech.com/), ein führender Anbieter von Lösungen für die Analyse und das Testen der Softwaresicherheit, hat die neue Version 4.1 seiner Plattform CodeSentry vorgestellt. Als Binärcode-Analysetool erhöht CodeSentry die Sicherheit innerhalb der Software-Lieferkette und ermöglicht es Unternehmen, Sicherheitsschwachstellen im Code von Drittanbietern zu erkennen. CodeSentry setzt dabei auf die Analyse der Softwarezusammensetzung (Binary Software Composition Analysis / BSCA). Dadurch lassen sich bekannte Bedrohungen (CVE) sowie Schwachstellen (Common Weakness Enumeration / CWE) in extern entwickelten Softwarekomponenten auch ohne Zugriff auf den Quellcode identifizieren. In der neuen Version 4.1 können mehr als 4.700 neue Sicherheitslücken von CodeSentry gemeldet werden. Weiter verbessert wurde die Komponentenerkennung für PE- und COFF-Binaries, ebenso wie die Unterstützung…
