Static Analysis Network ... on the road!

(Offenburg, 29. Mai 2024)

Verifysoft veranstaltet dieses Jahr ein einzigartiges Event rund um statische Codeanalyse. Entdecken Sie die Vorteile der statischen Codeanalyse und erfahren Sie, wie Sie Ihre Softwarequalität und -sicherheit verbessern können. Unsere Static Analysis Network Tage bieten Ihnen spannende Vorträge, Live-Tool-Präsentationen, fachlichen Austausch und exklusive Rahmenprogramme an drei verschiedenen Standorten.
Termine:
Mannheim – 25. September 2024
Friedrichshafen – 26. September 2024
München – 27. September 2024
Zu weiteren Informationen und Anmeldung geht es hier.

Charity-Hike vom Nordkap ans Kap Finisterre für den guten Zweck

(Nordkap, Norwegen / Offenburg, Deutschland, 01. Juni 2024)

STARTSCHUSS für ein großartiges Wanderprojekt von Wanderführer Sven Hardt aus dem Schwarzwald. Der Triberger wird ab dem 01.06.2024 mehr als 8000km vom Nordkap (Norwegen) bis ans Kap Finisterre (Spanien) wandern. Dies wird er als Charity-Hike (Spenden-Wanderung) für die Rehaklinik Katharinenhöhe mit Sitz Schönwald umsetzen. Alle im Rahmen des Charity-Hikes gesammelten Beträge werden eins zu eins an die Rehaklinik gespendet. Verifysoft plant, im Rahmen eines Team-Events, Sven einige Kilometer auf seiner Wanderung zu begleiten, sobald er die südwestdeutsche Region und somit den Sitz von Verifysoft kreuzt. Dies wird voraussichtlich Ende 2024/Anfang 2025 sein. Für den guten Zweck soll für jeden gewanderten Kilometer eines Verifysoft-Teammitglieds ein Beitrag zum Charity-Hike geleistet werden. Verifysoft fördert somit Teamspirit sowie gesundheitliche Aspekte der Mitarbeiter und verbindet gleichzeitig Präsenz für soziales Engagement auf regionaler Ebene im Sinne der Wohltätigkeit für schwerstkranke Kinder/Jugendliche und deren Familien. Das Projekt darf gerne geteilt werden. Sven Hardt freut sich über jedes weitere Engagement von Presse, Privatpersonen und/oder Firmen.
Weitere Informationen finden Sie hier.

Code Coverage Day 2024

(Offenburg, 21. Mai 2024)

Verifysoft veranstaltet zum ersten Mal einen Tag rund um Testwell CTC++ und das Thema Code Coverage. Treffen Sie das Team hinter Testwell CTC++ und tauschen Sie sich mit anderen Anwendern, Interessenten und mit Partnern von Verifysoft aus. Über den Tag verteilt wechseln sich Vorträge im Plenum mit parallel stattfindenden Sessions ab, in denen speziellere Themen an einzelnen Stationen diskutiert werden.
Termin:
Dienstag, 24. September 2024 in Mannheim

Zu weiteren Informationen und Anmeldung geht es hier.

Codee Version 2024.2 verfügbar

(A Coruña, Spanien / Offenburg, Deutschland, 21. Mai 2024)

APPENTRA SOLUTIONS S.L hat die Version 2024.2 des Software Performance Tools Codee herausgegeben.
Diese Version bringt erhebliche Verbesserungen, insbesondere für Fortran-Entwickler, mit einem starken Fokus auf die Modernisierung bestehender Codebasen. Neue Berichte, wie der Technical Debt Report und der ROI Report, quantifizieren den Modernisierungsaufwand und unterstreichen die Vorteile von Codee für die Entwicklungsprozesse. Zusätzlich bietet die neue Version erweiterte Plattformunterstützung und Verbesserungen für C++ sowie spezifische Compiler.
Weitere Informationen finden Sie hier.

CodeSentry 6.0 mit wichtigen neuen Funktionen und Verbesserungen verfügbar

(Bethesda/USA, Offenburg/Deutschland, 22. April 2024)

Die Version 6,0 des Binary Software Composition Analysis Tools CodeSentry ist ab sofort verfügbar. Das Update bietet neue Arbeitsabläufe, die es den Kunden ermöglichen, ihre entdeckten Komponenten und Schwachstellen zu verwalten und SBOMs sowie Schwachstellenberichte von höchster Qualität zu erstellen.
Die neue Version enthält unter anderem die folgenden neuen Funktionen und Updates:

• Der neue Workflow für Schwachstellenanmerkungen ermöglicht die Änderung einzelner CVSS-Scores für Schwachstellen, den Ausschluss von Schwachstellen, und die Zuweisung von Zuständen wie "Fixed" oder "Not Affected".
• CodeSentry unterstützt jetzt die Analyse von ISO-Artefakten bis zu einer Größe von 40 GB, was die Analyse der kompletten Software Images für medizinische, industrielle und andere Geräte ermöglicht
• Das CodeSentry Instance Dashboard ist jetzt interaktiv! Wenn Sie auf einen der grafischen Diagramm- oder Tabellenabschnitte klicken, springen Sie zur zugehörigen Liste der Komponenten oder Schwachstellen
• CodeSentry 6.0 kann über 10.400 neue Schwachstellenmeldungen und 4.500 neue Produkte detektieren
• Neue Filter auf der Registerkarte "N-Day Findings and Components" erleichtern die Suche nach den kritischsten Schwachstellen und Komponenten.

Embedded World 2024: Verifysoft präsentierte neue Software-Test-Tools

(Nürnberg, 11. April 2024)

Verifysoft und unser Partner Codee informierte auf der Embedded World über erstklassige Werkzeuge zur Verbesserung der Qualität, Produktivität und Sicherheit von eingebetteter Software.
Ein Team von 14 Personen präsentierte in Nürnberg die neuesten Versionen des Code Coverage Analyzers Testwell CTC++, sowie die statischen Analysewerkzeuge Imagix 4D und CodeSonar.
Neu auf der Messe: Codee, eine innovative Lösung zur Optimierung der Performance von Software bei gleichzeitiger Reduzierung des Energieverbrauchs und der Speichernutzung.
Erfahren Sie mehr über unsere "Highlights" in unserem Messevideo und unserem Messerückblick.

CodeSonar 8.1 verfügbar: All-In-One SAST-Platform mit Unterstützung neuer Programmiersprachen

(Bethesda/USA, Offenburg/Deutschland, 4. April 2024)

CodeSecure hat CodeSonar 8.1 herausgegeben. Der Schwerpunkt der neuen Version liegt auf der Verbesserung der Abdeckung von Coding-Standards, einer Aktualisierung der Benutzeroberfläche und der Unterstützung sechs weiterer Sprachen. Neben den bisherigen Sprachen C, C++, Java und C# werden jetzt auch Kotlin, Python, Go, Rust, JavaScript und TypeScript analysiert.
Die neue Version bietet weitere MISRA-Überprüfungen an. Bei MISRA C 2023 gibt es jetzt eine Abdeckung von 95% (eine volle Abdeckung ist für die Version 8.2 geplant). Neu ist die MISRA C++ 2023-Abdeckung. Es wurde bereits eine 65%ige Abdeckung erreicht - auch hier sind 100% für die nächste Version geplant.
Die Hub-Benutzeroberfläche hat jetzt ein moderneres Erscheinungsbild.
Alle neuen Funktionen sind Bestandteil des CodeSonar Standardlizenzmodells. Kunden mit CodeSonar-Lizenz können kostenlose auf die Version 8.1 upgraden.
Jetzt im Video mehr über den Multi-Language-Support erfahren.

Neue Firmen- und Produktbroschüre

(Offenburg, 3. April 2024)

Unsere Tools werden ständig weiterentwickelt - unser Angebot mit neuen Tools und Seminaren ergänzt.
Die Firmen- und Produktbroschüre wurde daher aktualisiert und erweitert.
Es sind jetzt folgende neuen Features und Tools berücksichtigt:

• Testwell CTC++ mit Justications für fehlende Coverage und neuem Reportformat
• Aktualisierungen bei den Tools CodeSonar, Imagix 4D und CodeSentry
• Codee: neues statisches Code-Analysetool für Prüfung und Verbesserung der Software-Performance
• Firmenphilosophie
• und noch mehr Kunden ...

Mehr erfahren: Firmen- und Produktbroschüre 2024

MIGTEC wird Distributor für Testwell-Tools in Australien und Neuseeland

(Offenburg/Deutschland, Sydney/Australien, 22. März 2024)

Verifysoft hat MIGTEC PTY LTD aus Sydney als Distributor für den Code Coverage Analyzer Testwell CTC++ und die Komplexitätsmesstools Testwell CMT++ und CMTJava in Australien und Neuseeland ernannt.
MIGTEC ist ein 1999 gegründeter unabhängiger Dienstleister, der sich auf die Bereitstellung technischer IT-Lösungen für weltweit führende Unternehmen spezialisiert hat. Die Firma bietet spezialisierte Lösungen und Beratung in den Bereichen QS-Tests, Anforderungsmanagement und Softwareentwicklung an.
Mehr erfahren: MIGTEC-Webseite

Halbleiterhersteller Winbond vertraut auf Testwell CTC++ zur Coverage-Messung

(Herzliya/Israel, 12. März 2024)

Winbond ist ein taiwanischer Halbleiterhersteller mit Niederlassungen in den USA, Japan, Israel und China. Das Unternehmen produziert mit 2.800 Mitarbeitern hauptsächlich Integrierte Schaltungen, Mikrocontroller, Speicher, Chipsätze für PCs sowie Schnittstellencontroller. Winbond ist aktiv an der Entwicklung neuer Sicherheitsvorschriften und -standards in Industrieunternehmen beteiligt.
Die Firma hat Testwell CTC++ zur Messung der Code Coverage in ihrer sicherheitskritischen Software-Entwicklung ausgewählt. Testwell CTC++ deckt alle Anforderungen von Winbond ab, generiert klare und informative Coverage-Berichte und ermöglicht kommandozeilenbasierte Analysen, was innerhalb eines CI-Prozesses extrem hilfreich ist.
Lesen Sie hier das komplette User-Testimonial.

Girls'Day 2024: wir bieten Einsicht in unsere Arbeit

Am 25. April 2024 bieten wir im Rahmen des Mädchen-Zukunftstages / Girls'Day zwei Mädchen die Möglichkeit einen Einblick in unsere tägliche Arbeit in der Entwicklung von Software-Testtools und unseren Kundensupport zu geben. Zusätzlich könnt ihr auch kurz in die Bereiche Vertrieb und Marketing schnuppern.
Wir wollen euch unsere Arbeitsumgebung zeigen und darauf eingehen, wie man eigentlich Softwareentwicklerin wird oder was Mitarbeiterinnen im technischen Support erwartet (für den Support haben wir übrigens ein kleines Video für euch in dem ihr schon einige Kolleginnen und Kollegen kennenlernen könnt).
Vorkenntnisse oder einen eigenen Computer braucht ihr nicht. Sabine und ihr Team freut sich auf einen gemeinsamen Tag mit euch. Ihr wollt mehr erfahren? Einfach Jessica unter 0781 127 8118-12 anrufen.
Unser Team freut sich auf einen gemeinsamen Tag mit euch.

MedConf 2024 - Konferenz zu Software- und Geräteentwicklung in der Medizintechnik jetzt noch zum Frühbucherpreis buchen

Vom 16. bis 18. April 2024 findet in Unterhaching bei München die MedConf 2024 - 17. Konferenz zu Software- und Geräteentwicklung in der Medizintechnik statt.
Themen sind unter anderem Normen und Richtlinien, Software-Entwicklung, Risikomanagement sowie Qualitätssicherung, Geräteentwicklung und -vernetzung, so wie Safety und Security. Alle Vorträge erhalten Sie im Programmheft.
Verifysoft ist als Aussteller bei der Konferenz vertreten. Für Interessenten können wir noch bis zum 15. April 2024 Konferenztickets zum Frühbucherpreis zur Verfügung stellen. Kontaktieren Sie uns, erhalten Sie Ihren Promocode und buchen Sie die MedConf zu Sonderkonditionen. Wir freuen uns auf Gespräche mit Ihnen an unserem Messestand.
Weitere Informationen.

Verifysoft auf der VECS 2024 : Fahrzeugelektronik & vernetzte Dienste

Die VECS 2024-Konferenz befasst sich ausschließlich mit den neuesten Entwicklungen in den Bereichen eingebettete Elektronik, vernetzte Fahrzeuge, Autonomie und Elektromobilität.
Besuchen Sie Verifysoft Technology am 14. und 15. Mai 2024 auf der VECS 2024 in Göteborg (Schweden) am Stand C00:05.
Mit unserem Gutscheincode Verifysoft20 können Sie auf der folgenden Seite 20% Rabatt auf Ihr Ticket erhalten:
Jetzt den Gutschein einlösen
(Dies gilt nicht für bereits angemeldete Teilnehmer und kann nicht mit anderen Angeboten für diese Veranstaltung kombiniert werden)

Imagix 4D Version 10.5.3 verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 4. März 2024)

Imagix hat Version 10.5.3 von Imagix 4D herausgegeben.
In der neuen Version ist die Leistung des Datei-Editors sowie die Unterstützung für gcc-basierten Code verbessert. Zudem wurden einige GUI-Fehler im Datenquellen-Dialog korrigiert.

Testwell CTC++ 10.1 mit Justifications für fehlende Coverage herausgegeben

(Offenburg, 1. März 2024)

Mit der Testwell CTC++ 10.1 steht jetzt ein neues Feature Justifications zur Verfügung. Damit lässt sich fehlende Coverage erklären. Justifications sind im Coverage-Report dokumentiert und ergebniswirksam. Der Einfluss der Justifications auf das Coverage-Ergebnis ist im Report dokumentiert – Tester erhalten sowohl den Coverage-Wert mit als auch ohne die Justifications. Die Justifications können wahlweise im Quellcode selbst als Kommentare hinterlegt werden oder (falls Änderungen im Quellcode nicht erwünscht bzw. nicht möglich sind) in Begleitdateien gespeichert werden. Mehr dazu in unserem YouTube-Video.
Eine Übersicht über weitere Neuerungen finden Sie in den Release-Notes.

Erfolgreiche Embedded Testing-Konferenz 2024 - "See you again 2025!"

(Unterhaching/München, 28. Februar 2024)

Zufriedene Teilnehmer bei der Embedded Testing-Konferenz Ende Februar in Unterhaching bei München.
Verifysoft konnte am Messestand zahlreiche Interessenten begrüßen und über das Angebot von Statischen Analysetools und Code Coverage informieren.
Ausschnitte unserer Vorträge sind jetzt auf unserem YouTube-Kanal online
Anmeldungen zur Embedded Testing 2025 am 25. und 26. Februar 2025 sind ab sofort möglich: Weitere Informationen und Anmeldung.

Codee gibt "Best Practices for Performance" heraus

(A Coruña, Spanien / Offenburg, Deutschland, 9. Februar 2024)

Codee, ein führender Spezialist für die Performance-Verbesserung von Software, hat einen Katalog der Best Practices for Performance veröffentlicht. Dieser Katalog ist ein gemeinschaftliches Projekt, um das kollektive Wissen von Performance-Experten über die besten Praktiken für Performance zusammenzuführen. Die "Best Practices" bestehen aus einem Glossar und einer Liste von Prüfungen für die Programmiersprachen C, C++ und Fortran.
Jetzt auf github.com mehr erfahren.

Imagix 4D Version 10.5.2 verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 22. Dezember 2023)

Imagix hat Version 10.5.2 des Reverse-Engineer- und Quellcodeanalysetools Imagix 4D herausgegeben.
Die neue Version beschleunigt die Erstellung von Html-Dokumenten, indem sie alternativ einen Concurrent-Modus (Multithreading) anbietet.

CodeSentry 5.2 verfügbar: Checks für über 3.500 neue Sicherheitslücken

(Bethesda/USA, Offenburg/Deutschland, 18. Dezember 2023)

CodeSentry Version 5.2 ist ab sofort verfügbar. Die neue Version enthält unter anderem die folgenden neuen Funktionen und Updates:

• CodeSentry 5.2 kann über 3.500 neue Sicherheitslücken und 1.600 neue Produkte detektieren
• mit einer neuen Registerkarte "License Findings" werden gefundene Komponenten nach dem zugehörigen Lizenztyp geordnet angezeigt Hiermit können schnell Komponenten identifiziert werden, die nicht konforme Lizenzen verwenden
• Neue Steuerelemente für Lizenzanmerkungen unterstützen einen Workflow zur Lizenzgenehmigung - Lizenzen können als ‘Approved’ oder ‘Not Approved’ markiert werden
• Detailinformationen zur Komponentenübereinstimmung zeigen jetzt Datenelemente an, die zur Erkennung von Open-Source-Komponenten in der Ziel-Binärdatei verwendet wurden
• der CSV-Export von Schwachstellen enthält jetzt den Angriffsvektor-String als Teil des Datenexports
• die Bewertung von Zero-Day-Schwachstellen wurde aktualisiert, um die 2023 "Top 25 Most Dangerous Software Weaknesses" von MITRE zu berücksichtigen.

Testwell CTC++ für Leserwahl zum Produkt des Jahres nominiert

(München, Offenburg, 15. Dezember 2023)

Testwell CTC++ wurde von der "Elektronik" für die Leserwahl zum "Produkt des Jahres 2024" nominiert.
Hier geht es zur Abstimmung!. Stimmen Sie hier bis zum 31. Januar 2024 ab und nehmen Sie an der Verlosung attraktiver Preise teil.

Statische Codeanalyse: Ihr nächster Karriereschritt als Pre-Sales und Support-Engineer

(Offenburg, 5. Dezember 2023)

Mit den Tools CodeSecure, Imagix 4D und Codee unterstützt Verifysoft bei zahlreichen Kunden die statische Codeanalyse in der Softwareentwicklung. In einem stark wachsenden Markt sorgen unsere Analysetools für sichere und performante Software und tragen somit für mehr Sicherheit im täglichen Leben bei.
Für die technische Unterstützung unserer Kunden, die Begleitung der Evaluationsphase und die Betreuung von Supportfällen suchen wir ab sofort Mitarbeiter (m/w/d) mit fundierten Programmierkenntnissen in C und C++ für den Presales und Support statischer Codeanalysetools. Jetzt im Stellenangebot mehr erfahren.

Weitere Informationen in unseren YouTube-Videos: Statische Code-Analyse: Ein „Must-have“-Verfahren
Was macht ein Support-Engineer bei Verifysoft?

Verifysoft unterschreibt Distributionsvertrag mit APPENTRA SOLUTIONS für neues Softwaretool Codee

(Offenburg, Deutschland / A Coruña, Spanien, 30. November 2023)

Verifysoft Technology hat einen Distributionsvertrag mit APPENTRA SOLUTIONS S.L. für deren innovative Software Codee unterschrieben.
Codee ist eine bahnbrechende Software-Entwicklungsplattform, die sich auf die automatische Code-Inspektion spezialisiert hat und eine maßgeschneiderte Lösung zur Optimierung der Performance von C/C++/Fortran-Anwendungen bietet.
Mehr erfahren: Pressemitteilung

Statische Code-Analyse: CodeSonar 8.0 verfügbar

(Bethesda/USA, Offenburg/Deutschland, 22. November 2023)

CodeSecure hat Version 8.0 des statischen Codeanalysetools CodeSonar herausgegeben. Der Schwerpunkt der neuen Version liegt in der Verbesserung der Abdeckung von Coding-Standards sowie der Erweiterung der Integrationsmöglichkeiten verschiedener Werkzeuge von Drittanbietern.

Die wichtigen neuen Funktionen sind unten aufgeführt. Details finden Sie wie immer in den im zugehörigen Benutzerhandbuch aufgeführten Release Notes.

• Integrationen: Jira Server, Gerrit (beta, die vollständige Integration wird in Version 8.1 verfügbar sein)
• 50% Coverage des neuen MISRA C 2023 Standards (100% Coverage wird in Version 8.1 verfügbar sein)
• Unterstützung von SANS 25 2023
• Das CodeSonar Release 8.0 hat eine Verbesserung des Single Sign-on erfahren. So werden die neuesten Versionen der Browser Chrome, Edge, Firefox und Safari unterstützt. Geschützt durch die Single Sign-on Infrastruktur des Unternehmens, können auf CodeSonars Warnungen von jedem Browser und unter jedem Betriebssystem zugegriffen werden.
• Zertifizierung für die Nutzung in ISO 26262 ASIL D, IEC 61508 SIL4 und EN 50128 SIL4 Projekten
• Zu den Verbesserungen hinsichtlich SaaS gehören eine überarbeitete Unterstützung für den AWS Load Balancer und ein robusteres Verhalten, wenn Worker-Tasks ins Stocken geraten. Die Zuverlässigkeit der Hybrid-SaaS-Lösung hat sich damit erhöht.

Verifysoft: mit einem einzigen Testtool zum Weltmarktführer

(Offenburg, 8. November 2023)

Das Offenburger Unternehmen Verifysoft Technology hat sich mit seiner sicherheitsrelevanten Software "Testwell CTC++" weltweit einen Namen gemacht. Mit einem kleinen Team bedient es selbst Airbus und die Nasa.
Mit einem einzigen Testtool wurde das Offenburger Unternehmen Verifysoft Technology zu einem Weltmarktführer. Die Bodenhaftung hat Geschäftsführer Klaus Lambertz dennoch nicht verloren. Grund: Ihm ist der Mensch wichtiger als der Gewinn.
Hier mehr erfahren: Presseartikel aus der Mittelbadischen Presse
Verifysoft Technology - Global Player aus Offenburg: Mit Sicherheit weltweit unterwegs
Software ist vorwiegend Dienstleistung
(Links zu baden online)

Testwell CTC++ mit Bazel integriert

(Offenburg, 19. Oktober 2023)

Testwell CTC++ bietet mehrere generische Möglichkeiten zur Integration der Abdeckungsmessung in verschiedene Build-Systeme. Bazel ist eine bekannte Herausforderung für die Interaktion mit Tools von Drittanbietern.
Johan Herland und Mark Karpov, die beide für Tweag, a Modus Create company arbeiten, beschreiben ihre Aktivitäten für die stabilie Integration von Testwell CTC++ mit Bazel für einen Kunden von Tweags Scalable Builds Group.
Lesen Sie hier den kompletten Bericht.

Seminar Testen von Embedded Software: Zusatztermin im November

Für das Seminar "Testen von Embedded Software" mit Dipl.-Ing. Martin Heininger gibt es jetzt einen zusätzlichen Termin am Mittwoch/Donnerstag, 22. und 23. November 2023 im Technologiepark Offenburg.
Im zweitägigen Praxisseminar erfahren die Teilnehmer, wie man Risiken bei der Entwicklungs von Embedded Software vermeidet und durch effiziente Tests Kosten spart. 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.
Hier informieren und anmelden

CodeSentry 5.1 mit Checks für über 8.400 neue Sicherheitslücken verfügbar

(Bethesda/USA, Offenburg/Deutschland, 4. Oktober 2023)

CodeSecure gibt die Verfügbarkeit der Version 5.1 des Code-Komponenten-Analysetools CodeSentry 5.1 bekannt. Die neue Version enthält unter anderem die folgenden neuen Funktionen und Updates:

• Live-N-Day-Updates für SaaS- und mit dem Internet verbundene On-Premises-Instanzen machen es einfach, neue Schwachstellen und Exploits zu entdecken, die Ihre gescannten Anwendungen betreffen, ohne dass ein erneuter Scan erforderlich ist
• über 8.400 neue Sicherheitslücken und 3.900 neue Produkte aus
• Kompatibilität mit FIPS-kompatiblen Systemen für Vor-Ort-Installationen

Weitere Features und nähere Informationen entnehmen Sie bitte den Release-Notes.

Verifysoft: seit über 20 Jahren höchste Softwarequalität

(Offenburg, 30. September 2023)

Im Sommer 2003 beginnt die Geschichte von Verifysoft mit zwei Mitarbeitern im Technologiepark Offenburg. Die Firma, deren erste Büromöbel vom Sperrmüll kommen, übernimmt Support und Vertrieb für die Testsoftware der finnischen Firma Testwell.
Heute ist Verifysoft Eigentümer des weltweit führenden Code Coverage Analyzers und gehört mit über 750 Kunden auf allen Kontinenten zu den führenden Anbietern von Test- und Analysesoftware. Kunden- und Mitarbeiterzufriedenheit stehen dabei immer im Mittelpunkt. Hier mehr erfahren

Contromax vertraut auf Testwell CTC++ bei der Entwicklung von Servos für die Luftfahrt

(Daejeon/Südkorea, 21. September 2023)

Contromax ist ein in Daejeon (Südkorea) ansässiger Hersteller von Servos für die Luftfahrt. Bei den Produkten des Unternehmens handelt es sich ausschließlich um sicherheits- und flugkritische Komponenten, deren Software nach den DO-178-Sicherheitsstandards getestet werden muss.
Für die Messung der Code Coverage in der sicherheitskritischen Software-Entwicklung hat Contromax Testwell CTC++ gewählt. Thomas Chae, Teamleiter Aircraft Server bei Contromax, erklärt, dass Testwell CTC++ effizienter als andere ausgefallene und komplizierte GUI-basierte Tools ist. Er lobt des Weiteren die kundenorientierte Einstellung und die hohe Kompetenz des Verifysoft-Teams.
Contromax stellte Testwell CTC++ einem Flugzeughersteller vor, der von den Möglichkeiten und dem Preis des Tools fasziniert war.
Lesen Sie hier den vollständigen Kundenbericht

Adventure Team Event 2023

(Offenburg, 12. September 2023)

Unser diesjähriger Firmenausflug führte unser Team in die Pfalz zur Südpfalz-Draisinenbahn. 24 Kilometer auf den "Schienenfahrrädern" sorgten für viel Spaß beim Team und nebenher auch noch für sportliche Betätigung.
Interesse unser Team zu verstärken? Hier sind unsere offenen Stellen.

User-Testimonial: Broadcom nutzt Testwell CTC++ zur Analyse der Codeabdeckung

(San Jose/USA, Bangalore/Indien, 5. September 2023)

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 Entscheidungen, Zeilen und Mehrfachbedingungen wie gewünscht erreichen. ... Das Testwell CTC++ Entwicklungsteam hat besonderen Wert auf die Benutzerfreundlichkeit des Tools und vor allem auf die Lesbarkeit der Berichte gelegt. 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.

Battery Ventures kauft die Sicherheits-Software-Sparte von GrammaTech

(Bethesda/USA, 5. September 2023)

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.

Shift Left: Vorteile der Code Coverage - Studie eines führenden Fortune-100-Unternehmens

(Boston/USA, Offenburg/Deutschland, 17. August 2023)

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.

Statische Analyse: GrammaTech CodeSonar 7.4 verfügbar

(Ithaca/USA, Offenburg/Deutschland, 28. Juli 2023)

GrammaTech 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.

GrammaTech CodeSentry 5.0 überprüft 9.700 neue Sicherheitslücken und 3.700 neue Komponenten

(Ithaca/USA, Offenburg/Deutschland, 3. Juli 2023)

GrammaTech 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.

Verifysoft mit 1.946 Kilometern beim Stadtradeln

(Offenburg, 28. Mai 2023)

Viele Verifysoft-Kollegen kommen bereits seit Jahren mit dem Rad zur Arbeit ("old school" ausschließlich mit Muskelkraft). Selbstverständlich waren wir daher beim Stadtradeln vom 8. bis zum 28. Mai in Offenburg dabei.
Übereinstimmendes Fazit der Radler: "Man fühlt sich besser und ist leistungsfähiger wenn man den Tag aktiv beginnt." Das "Kilometersammeln" beim Stadtradeln ist nochmal eine zusätzliche Motivation, um etwas für die Gesundheit zu tun und dabei die Umwelt zu schonen. Wie viel Spaß das macht, ist in unserem Video von 2022 zu sehen.
Mit sieben Teilnehmern haben wir innerhalb der drei Wochen 1.946 Kilometer geschafft - inklusive Teamfoto im Offenblatt.

Verifysoft bietet Safety-Package für den Code Coverage Analyzer Testwell CTC++ an

(Offenburg, 25. Mai 2023)

Verifysoft bietet ab sofort ein Safety-Package für den Code Coverage Analyzer Testwell CTC++ an. Zusätzlich zum TÜV-Zertifikat erhalten Testwell CTC++-Kunden mit dem Safety-Package ergänzende Dokumente wie ein Safety Manual und Zugriff auf die Known-Bugs-Liste. Über ein Abonnement wird der Kunde über Aktualisierungen der enthaltenen Dokumente aktiv informiert.
Mit dem Safety-Package kann Testwell CTC++ ohne weitere Qualifizierungs-Maßnahmen für alle Sicherheitsstufen der Normen IEC 61508, ISO 26262, EN 50128 und IEC 62304 in der sicherheitskritischen Software-Entwicklung eingesetzt werden. Jetzt mehr erfahren.

Imagix 4D Version 10.5.1 Available

(San Luis Obispo/USA, Offenburg/Germany, 23 May 2023)

Imagix has released version 10.5.1 of Imagix 4D. The focus of this release is AUTOSAR-C++ 2014.
Imagix 10.5.1 provides a checklist for AUTOSAR-C++ 2014 which specifies coding guidelines for the usage of the C++14 language as defined by ISO/IEC 14882:2014, in the safety-related and critical systems. The main application sector is automotive, but it can be used in other embedded application sectors. The Imagix checklist includes all rules defined by AUTOSAR.
Using the Imagix review feature guides the user in checking the rules and automates most computations. The rules requiring documentation by the user have no automated steps but ask to attach the documentation. Automated rules list all violations accurately as long as the project was analyzed without any errors and the code was complete. Rules that are partially or non-automated might still enumerate any potential locations and require human review to decide on concerns and violations. Check out the complete list of rules and their automation level.
Using AUTOSAR-C++ in Imagix requires the MISRA license extension.
Imagix 10.5.1 adds support for running some operations of the Review Tool through batch mode commands.
The new version also adds the ability to load source code into the tool through the Microsoft Visual Studio Build logfiles.
Imagix 4D 10.5.1 completes support for C++ 2022 and provides also some bugs fixes.

Testwell CTC++ Präsentation auf der "Future Mobility Asia 2023" in Bangkok

(Bangkok/Thailand, Offenburg/Deutschland, 19. Mai 2023)

Unser Code Coverage Analyzer Testwell CTC++ fand auf der Messe "Future Mobility Asia 2023", die vom 17. bis 19. Mai 2023 in Bangkok/Thailand stattgefunden hat, großes Interesse.
Das Tool wurde von unserem südostasiatien Distributor GOPALAM EMBEDDED SYSTEMS präsentiert. Testwell CTC++ ist das führende Werkzeug zur Messung der Testabdeckung bei embedded Software. Es analysiert Quellcode auf alle von den Sicherheitsnormen geforderten Testabdeckungsstufen. Testwell CTC++ ist vom TÜV Süd für den Einsatz in der sicherheitskritischen Softwareentwicklung zertifiziert.

Verifysoft Technology und Heicon Global Engineering beim Offenburger Stadtlauf / badenova Lauftag

(Offenburg, 7. Mai 2023)

Mit viel Elan und jeder Menge Spaß waren die Teams von Verifysoft Technology und unseren Freunden von HEICON Global Engineering aus Schwendi bei Ulm und Memmingen am 7. Mai beim Offenburger Stadtlauf / badenova Lauftag dabei. Die 3 x 1 km-Staffel führte vom historischen Rathaus durch die Offenburger Innenstadt. Hier unser Lauf im Video.

Testwell CTC++ mit verbesserter IAR Integration

(Offenburg, 28. April 2023)

Verifysofts Code Coverage Analyzer Testwell CTC++ enthält im Standard bereits zahlreiche Integrationen, Konfigurationen und Konverter für verschiedenste Kundenumgebungen. Mit der Version 6.12 ist nun ein Update der seit Jahren bewährten Integration zur IAR Embedded Workbench erschienen. Weiterhin werden damit auch Vorgängerversionen von Testwell CTC++ wie auch von IAR unterstützt. Neben der vollständigen Unterstützung des neuen HTML-Berichtsgenerators von Testwell CTC++, enthält das Update auch zahlreiche Verbesserungen in Verbindung mit den neuesten IAR Versionen.

GrammaTech hat CodeSonar 7.3 veröffentlicht

(Ithaca/USA, Offenburg/Deutschland, 11. April 2023)

Der Schwerpunkt dieser Version lag auf der Erweiterung der Abdeckung von Codierungsstandards. CodeSonar deckt nun 100% der MISRA C 2012 Regeln ab. Wir haben unsere Anweisungen für die Integration von CodeSonar mit GitHub oder GitLab verbessert und vereinfacht, was unseren Kunden die Einführung von CodeSonar erleichtern wird. Verbesserungen bei den Compiler-Modellen, Unterstützung für das .NET7-Framework und die neuesten Versionen von C und C++ sowie Verbesserungen bei Hybrid Cloud runden die Highlights der Version ab.
CodeSonar für Binärdateien wurde ebenfalls aufgefrischt. Die Möglichkeit, Fehler in einem Programm zu finden, ohne sich den Code ansehen zu müssen, mit dem es erstellt wurde.

Testwell CTC++ Version 10.0.1 verfügbar

(Offenburg, 11. April 2023)

Verifysoft hat Version 10.0.1 des Code Coverage Analysers Testwell CTC++ herausgegeben.
Es handelt sich um ein reines Bug Fix Release.
Weitere Informationen finden Sie in der Änderungsdokumentation.

Bei Verifysoft läuft’s …

(Freiburg, Offenburg, 26. März 2023)

Erfolgreicher 10-km-Lauf für das Verifysoft-Laufteam im Rahmen des Freiburg-Marathons Ende März.
Der nächste Termin für unsere Sportler steht bereits fest: wir freuen uns am 7. Mai im Rahmen des von der Stadt Offenburg gemeinsam mit der LG Offenburg organisierten 27. Badenova-Lauftags gemeinsam mit unserem Freunden von HEICON Global Engineering aus Schwendi bei Ulm an der 3 x 1 km-Staffel teilzunehmen.

Girls'Day 2023: wir bieten Einsicht in unsere Arbeit

Am 27. April 2023 bieten wir im Rahmen des Mädchen-Zukunftstages / Girls'Day drei Mädchen die Möglichkeit einen Einblick in unsere tägliche Arbeit in der Entwicklung von Software-Testtools und unseren Kundensupport zu geben. Zusätzlich könnt ihr auch kurz in die Bereiche Vertrieb und Marketing schnuppern.
Wir wollen euch unsere Arbeitsumgebung zeigen und darauf eingehen, wie man eigentlich Softwareentwicklerin wird oder was Mitarbeiterinnen im technischen Support erwartet (für den Support haben wir übrigens ein kleines Video für euch in dem ihr schon einige Kolleginnen und Kollegen kennenlernen könnt).
Vorkenntnisse oder einen eigenen Computer braucht ihr nicht. Sabine und ihr Team freut sich auf einen gemeinsamen Tag mit euch. Ihr wollt mehr erfahren? Einfach Jessica unter 0781 127 8118-12 anrufen.
Unser Team freut sich auf einen gemeinsamen Tag mit euch.

Embedded World Nürnberg: Highlights bei Verifysoft

(Nürnberg, Offenburg, 22. März 2023)

Verifysoft war im März 2023 mit einem 10-köpfigen Team auf der Embedded World in Nürnberg und zeigte erstklassige Tools zur Steigerung und Absicherung der Softwarequalität für Embedded Software.
Wir bedanken uns bei den zahlreichen Besuchern für die interessanten Gespräche.
Einen Überblick über das Messegeschehen und die Highlights an unserem Stand erhalten Sie in unserem Messevideo und auf unserem Messerückblick.

Verifysoft-Interview auf Easy Engineering

(Bukarest/Rumänien, Offenburg/Deutschland, 20. März 2023)

Easy Engineering hat ein Interview mit Verifysoft veröffentlicht.
Geschäftsführer Klaus Lambertz berichtet hierin über Anwendungsbereiche von Softwaretest-Tools, Neuigkeiten unserer Produkte, Markttrends und Zukunftseinschätzungen.
Lesen Sie hier das komplette Interview.

TÜV Süd Zertifikat für Testwell CTC++

(München, Offenburg, 9. März 2023)

Das Testing Laboratory for Safety Components der TÜV SÜD Rail GmbH hat zertifiziert, dass Testwell CTC++

• "suitable" für die Nutzung in der safety-related Entwicklung gemäß IEC 61508:2010 (für alle SIL),
• "qualified" für die Nutzung in "standard-compliant" Entwicklungsprozessen gemäß ISO 26262:2018 (für alle ASIL),
• "suitable" für die Nutzung in der safety-related Entwicklung gemäß EN 50128:2011/A2:2020 (für alle SIL),
• und "suitable" für die Nutzung in der safety-related Entwicklung gemäß IEC 62304:2006+A1:2015 (für alle "software safety classes") ist.

Zertifikat.
Für weitere Informationen zur Nutzung von Testwell CTC++ in der sicherheitskritischen Softwareentwicklung kontaktieren Sie uns.

Seminar "Requirements Engineering auf den Punkt gebracht" am 3. Mai 2023 in Memmingen

Mehr und mehr komplexe Systeme werden in sicherheitskritischen Umgebungen eingesetzt und erfordern ein gutes Requirements-Engineering. 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.
Unser Seminar in Memmingen versetzt Sie in die Lage, 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.
Übrigens können Sie sich noch Plätze für unsere Seminare Schnelleinstieg in RTOS mit FreeRTOS und Testen von Embedded Software sichern.
Weitere Informationen zu unserem Seminarprogramm.

GrammaTech CodeSentry 4.2 überprüft über 2.300 neue Sicherheitslücken und 3.800 neue Komponenten

(Ithaca/USA, Offenburg/Deutschland, 20. Februar 2023)

GrammaTech gibt die Verfügbarkeit von CodeSentry 4.2 bekannt.
Zu den Highlights der neuen Version gehören:

• CodeSentry 4.2 erleichtert mit der neuen Funktion Komponentensuche die Suche nach verwundbaren Open-Source-Paketen in Ihrem Softwarebestand
• das neue CodeSentry-Dashboard bietet einen Überblick über Artefakt-Scans und Ergebnisse in der gesamten CodeSentry-Instanz in einem einzigen Fenster
• eine SBOM Edition ist jetzt verfügbar und bietet SBOM-Generierung, Komponentenlizenz, Inventarisierung und Suchfunktionen
• die Security Edition beinhaltet Erkennung von N-Day-Schwachstellen und die Meldung von Sicherheitsmerkmalen
• die Advanced Security Edition erweitert die Schwachstellen-Aufdeckung mit 0-Day-Schwachstellen
• Checks für über 2.300 neue Schwachstellen und 3.800 neue Komponenten sind in der neuen Version verfügbar
• die Analysen können jetzt von CodeSentry im Industriestandard-Format VEX (Vulnerability Exploitability Exchange) exportiert werden

Imagix 4D Version 10.5 mit MISRA C++ Support verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 1. Februar 2023)

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.

Testwell CTC++ jetzt auch ATS Automation & Testing Suite integriert

(Offenburg, 27. Januar 2023)

Der Code Coverage Analyzer Testwell CTC++ ist jetzt auch in ATS (Automation & Testing Suite) der Schleissheimer GmbH integriert. ATS unterstützt alle wichtigen Bereiche des Testprozesses, wie Test-Management, Testmodellierung, Testdurchführung, Testauswertung und Testdokumentation. Eine Vielzahl von möglichen Tests kann ohne Hardware durchgeführt werden.
ATS (Automation & Testing Suite) arbeitet mit Testwell CTC++ zusammen, um die erreichte Code Coverage (wie MC/DC-, Function-, Statement- und Decision/Branch-Coverage) anzuzeigen.
Testwell CTC++ ist in eine Vielzahl von Werkzeugketten, Testumgebungen und Software-Qualitäts-Tools wie ATS, CATIA Systems - AUTOSAR Builder, Cygwin, dSpace SystemDesk und TargetLink, Imagix 4D, Jenkins, Lauterbach, MATLAB Simulin, PikeTec TPT, Silver Virtual ECU und TestWeaver sowie in SonarQube integriert.

Aufgezeichnetes Webinar: Was ist neu in Testwell CTC++ Version 10?

(Offenburg, 11. Januar 2023)

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 .

Verifysoft führt teambasierte Lizenzen für Testwell CTC++ ein

(Offenburg, 2. Januar 2023)

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.