-
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 In der Spöck 10 77656 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 Meldungen der Verifysoft Technology GmbH Für die oben stehende Pressemitteilung 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…
-
GrammaTech veröffentlicht CodeSonar 7.1 für die statische Codeanalyse
GrammaTech, führender Hersteller von Produkten für die statische Analyse von Softwaresicherheit, hat die neue Version 7.1 des Tools CodeSonar für statische Sicherheitstests (Static Application Security Testing / SAST) veröffentlicht. Code Sonar ermöglicht es Entwicklern, sichereren Code zu schreiben, ohne dass die gewohnten Arbeitsabläufe geändert werden müssen. Die statische Codeanalyse kann bereits sehr früh im Entwicklungsprozess eingesetzt werden und trägt somit dazu bei, Kosten bei der Softwareentwicklung einzusparen. Erkennung von Problemen automatisieren Die neuen Funktionen in CodeSonar 7.1 erleichtern es Entwicklern, Sicherheitsmängel zu vermeiden, indem sie die Erkennung von Problemen automatisieren. Gleichzeitig werden Verstöße gegen Best Practices in den Entwicklungsumgebungen identifiziert. Sicherheitsüberprüfungen, die in Continuous Integration- und Continuous Delivery-Prozessen (CI/CD) integriert…
-
Verifysoft Technology schließt Distributionsvereinbarung mit Gopalam Embedded Systems
Verifysoft Technology (www.verifysoft.com), Anbieter von Lösungen zur Steigerung der Softwarequalität und Spezialist für die Messung der Testabdeckung, baut die internationalen Vertriebs- und Partnerstrukturen weiter aus. In Südostasien wird der Distributor Gopalam Embedded Systems (GES) ab sofort Interessenten und Kunden rund um den Einsatz der Testwell-Tools von Verifysoft Technology betreuen. Code-Coverage-Lösungen wie beispielsweise Testwell CTC++ werden von Unternehmen weltweit zum Nachweis der Testabdeckung eingesetzt, unter anderem in sicherheitskritischen Branchen und Bereichen wie Luft- und Raumfahrt, Automotive oder Medizintechnik. Gopalam Embedded Systems (https://www.embeddedsingapore.com/…) hat seinen Hauptsitz in Singapur. Der Distributor vertreibt eine breite Palette von hochintegrierten Hardware- und Software-Embedded-Lösungen von weltweit führenden Anbietern innerhalb der gesamten ASEAN-Region. Neben der internationalen Finanzmetropole Singapur…
