Static Analysis Network ... on the road!

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

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

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

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 Version 6.0 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 Version 8.1 verfügbar

(Bethesda/USA, Offenburg/Deutschland, 04. 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, 03. 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, 04. 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++ Version 10.1 verfügbar

(Offenburg, 01. 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, 09. 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 Version 5.2 verfügbar

(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, 05. 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

CodeSonar Version 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

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 Version 5.1 verfügbar

(Bethesda/USA, Offenburg/Deutschland, 04. 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, 05. 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, 05. 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.

CodeSonar Version 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.

CodeSentry Version 5.0 verfügbar

(Ithaca/USA, Offenburg/Deutschland, 03. 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.

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, 07. 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.

CodeSonar Version 7.3 verfügbar

(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 Analyzers 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.

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, 09. 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 03. 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 verfügbar

(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 verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 01. 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 Analyzers 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, 02. 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 Analyzers 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.

Seminare 2023: "Testen von Embedded Software" und "Schnelleinstieg in RTOS mit FreeRTOS"

(Offenburg, 14. Dezember 2022)

Verifysoft bietet am 25. April 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.
Anmeldungen für die Seminare am 26. und 27. April 2023 und am 18. und 19. Oktober 2023 sind ab sofort möglich.
Hier mehr erfahren und anmelden!
Beide Seminare sind übrigens auch als Inhouse-Seminar erhältlich.

Praxiserprobter Verifikationsprozess der gleichzeitig die Normen IEC 61508, DIN EN 50128, EN 50567 und ISO 25119 erfüllt - Webinar jetzt online

(Offenburg, 22. November 2022)

Unser Webinar "Praxiserprobter Verifikationsprozess der gleichzeitig die Normen IEC 61508, DIN EN 50128, EN 50567 und ISO 25119 erfüllt" mit Dipl.-Ing. Martin Heininger von HEICON Global Engineering ist jetzt online auf unserem YouTube-Channel verfügbar.
Bei der Verifikations sicherheitskritischer Software machen viele Firmen entweder zu viel oder zu wenig. Erfahren Sie im aufgezeichnetes Webinar wie ein praxiserprobter Verifikationsprozess aussehen kann.
Unter anderem bekommen Sie Antworten auf folgende Fragen:
-   Wann setzt man statische Tests ein?
-   Ist ein Walkthrough effizienter und effektiver als eine Inspektion?
-   Warum verhindert nur eine integrierte Teststrategie eine Kostenexplosion?
-   Wann bietet die strukturelle Coverage Messung einen echten Mehrwert?
Hier das aufgezeichnete Webinar ansehen. Alle unsere Webniare finden Sie übrigens auf unserer Webseite.

"Testen von Embedded Software" Seminartermine für 2023 stehen fest - jetzt Frühbucherpreis sichern!

(Offenburg, 13. Oktober 2022)

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.
Wie üblich hat unser Seminar "Testen von Embedded Software" vom 12. und 13.10.2022 wieder Bestnoten bekommen. Bei allen Teilnehmern wurden die Erwartungen übertroffen bzw. sogar deutlich übertroffen. 100% der Teilnehmer würden das Seminar weiterempfehlen. Von besonderem Wert waren für die Teilnehmer u.a. der Praxisbezug bzw. die Praxisbeispiele, konkrete Handlungsempfehlungen für den Arbeitsalltag und das direkte Eingehen auf Fragen. Ein Teilnehmer schreibt sogar "Bestes bisher besuchtes Seminar! Top!".
Nach unserem erfolgreichen Seminar im Oktober stehen jetzt die kommenden Seminartermine fest: MI 26. und DO 27. April 2023 bzw. MI 18. und DO 19. Oktober 2023.
Anmeldungen sind ab sofort möglich. Dieses Seminar kann auch als Inhouse-Seminar in Ihrer Firma gebucht werden. Hier mehr erfahren und anmelden!

ISO 26262: Praxisbasierte Auswahl von Verfahren und Maßnahmen der Software Entwicklung - Webinar jetzt online

(Offenburg, 4. Oktober 2022)

Unser Webinar "ISO 26262: Praxisbasierte Auswahl von Verfahren und Maßnahmen der Software Entwicklung" mit Dipl.-Ing. Martin Heininger von HEICON Global Engineering ist jetzt online auf unserem YouTube-Channel verfügbar.
Martin Heininger verfügt über 15 Jahre Erfahrung im Bereich von Methoden und Prozessen für die Entwicklung von sicherheitskritischen Embedded Systemen. Im Webinar referiert er über informale, semi-formale und formale Notations-Prinzipien, Prinzipien der Sicherheitsarchitektur, Behandlung von Programmierrichtlinien, Review - Statische Analyse sowie Unit-, Integrations- und Systemtests.
Hier das aufgezeichnete Webinar ansehen. Alle unsere Webniare finden Sie übrigens auf unserer Webseite.

Embedded World: zahlreiche Interessenten am Verifysoft-Stand

(Nürnberg, 23. Juni 2022)

Verifysoft konnte vom 21. bis zum 23. Juni 2022 wieder zahlreiche Kunden und Interessenten am Messestand auf der Embedded World in Nürnberg über Test- und Analysetools sowie unser Seminar Testen von Embedded Software informieren.
Nach der "Corona-Pause" haben wir uns sehr über das "Business as usual" gefreut.
Erfahren Sie mehr auf unserer Webseite und in umserem Embedded-World Video

SAEC-Days München: Verifysoft mit Stand und Vorträgen

Die SAEC Days (Safety & Security / Agile Testing / Embedded Testing / Clean Code Days) finden vom 28.-30. Juni 2022 hybrid statt, also sowohl vor Ort in München als auch online über Zoom.
Treffen Sie uns in München und registrieren Sie sich jetzt zu unseren Vorträgen:
Einstieg in die Code-Coverage-Messung (Dr. Sabine Poehler, Produktmanagerin)
Wie kann die statische Codeanalyse die Softwareentwicklung unterstützen?
Aufdecken von 0-Day- und N-Day-Sicherheitsschwachstellen durch statische Codeanalyse (Royd Lüdtke, Leiter Statische Analysetools)
Erfahren Sie hier mehr über die SAEC Days und sichern Sie sich Ihr Ticket!

Seminartermine "Testen von Embedded Software" für 2022 stehen fest - jetzt Frühbucherpreis sichern!

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.
Nach unserem erfolgreichen Seminar im Oktober stehen jetzt die kommenden Seminartermine fest: MI 6. und DO 7. April 2022 bzw. MI 12. und DO 13. Oktober 2022.
Anmeldungen sind ab sofort möglich. Dieses Seminar kann auch als Inhouse-Seminar in Ihrer Firma gebucht werden. Hier mehr erfahren und anmelden!

Imagix 4D Version 10.4 verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 8. März 2022)

Imagix 4D Version 10.4 ist jetzt verfügbar. MISRA-C 2012 steht im Fokus der neuen Version: Imagix 4D 10.4 bietet eine Checkliste mit allen Richtlinien und Regeln von MISRA-C 2012.
Darüber hinaus gibt es folgende weitere Verbesserungen:
- Zusätzliche Anzeigeoption 'By Origin' für Überprüfungen ist standardmäßig eingestellt,
- Anzeige von Probes mit Einträgen aus verschiedenen Dateien im der selben Ansicht,
- die Erstellung eines Aufrufdiagramms aus der Architektur umfasst Informationen aus ausgewählten oder sichtbaren Subsystemen.
Weitere Informationen sind in den Release-Notes verfügbar.
Kunden mit gültiger Softwarewartung können die neue Version über die Imagix-Website herunterladen.

Erste Hilfe bei altem Code

(Offenburg, 4. März 2022)

Hersteller müssen die Qualität ihrer Software über den gesamten Lebenszyklus eines Produkts sicherstellen. Wenn ältere Geräte um neue Funktionen erweitert werden, die Dokumentation der Software aber unzureichend ist und sich niemand mehr so richtig im alten Code auskennt, wird diese Aufgabe problematisch.
Am Beispiel von Medizingerätesoftware beschreibt unser Fachartikel ein geeignetes Vorgehen.
Lesen Sie den vollständigen Artikel hier

Imagix Corporation hat die Version 10.3 von Imagix 4D veröffentlicht

(San Luis Obispo/USA, Offenburg/Deutschland, 5. Oktober 2021)

Imagix 4D 10.3 ist jetzt verfügbar. Der allgemeine Schwerpunkt der neuen Version liegt auf der Verbesserung der Leistung bei großen Codesätzen. Zu den Bereichen, in denen die Geschwindigkeit verbessert wurde, gehören das anfängliche Laden von Projekten (insbesondere ComboProjects), das Erstellen und Wiederherstellen von Architekturen, das Ausführen von Ablaufprüfungsberichten und das Erstellen von Dokumentation. Insbesondere bei einem Projekt mit etwa 1 Mio. Anweisungen sollte sich die CPU-Zeit für die Ablaufprüfungsberichte um 30-50 % verringern. Auch die Speichernutzung sehr großer Projekte wird reduziert.
Andere Änderungen im Vergleich zu der Version 10.2.0:

• Die Auflösung von Aufrufen von Java nach C/C++ über die JNI wurde erweitert.
• Zu den Verbesserungen der GUI gehören die Anzeige von Quellcode in Flussdiagrammen und das Scrollen.

Weitere Informationen: Release notes

Imagix 4D: Ihre Lösung für Software Probleme

(Offenburg, 23 September 2021)

Im Durchschnitt werden mehr als 50 % der Zeit in der Softwareentwicklung für die Wartung aufgewendet. Es gibt Probleme beim Verstehen von Software, beim Ändern von Software, beim Dokumentieren von Software, ... Gibt es eine Lösung? Ja! Imagix 4D visualisiert Software und beschleunigt das Verständnis. Metriken und Software-Checks verbessern die Qualität - die Doc-Engine automatisiert die Dokumentenerstellung. Erfahren Sie mehr über Imagix 4D in unserem Video!

Interview mit Verifysoft-CEO Klaus Lambertz: "Erfolg ist, wenn Mitarbeiter und Kunden zufrieden sind"

(Offenburg, 7. September 2021)

Verifysoft verbindet die Flexibilität eines Start-Ups mit der Sicherheit eines Großunternehmens. Das Team ist dabei das wichtigste für den Erfolg – wenn die einzelnen Leute wachsen, wächst die Firma mit. Wichtig ist dafür eine offene Kommunikation und agiles Arbeiten im Team. Permanente Erreichbarkeit ist dafür aber nicht gefragt – dafür hat Verifysoft Redundanzen - ... und im Bereich Code Coverage mit Sicherheit weltweit das beste Werkzeug.
Jetzt im Interview mit Firmengründer Klaus Lambertz mehr über den "Spirit" von Verifysoft Technology erfahren: YouTube-Video   Webseite.

G3TEK Embedded Technologies wird Distributor für Testwell-Tools in der Türkei

(Offenburg/Deutschland, Ankara/Türkei, 27. August 2021)

Verifysoft hat G3TEK Embedded Technologies zum Vertriebspartner für Testwell CTC++ Code Coverage Analyzer in der Türkei ernannt. G3TEK hat seinen Sitz in Ankara und bietet Dienstleistungen sowie Software-Entwicklungs-Lösungen für embedded und real-time Applikationen in den Bereichen Luft- und Raumfahrt, Energie, Eisenbahnsysteme, Automotive und Verteidigung an. G3TEK bietet Softwaretools für Embedded und Real-Time, zertifizierbare RTOS für DO-178 B/C, Middelware-Bibliotheken, UML & SysML Modellierungswerkzeuge, Statische Analyse-Tools, GUI-Entwicklungstools und JTAG-Emulatoren an. Weitere Informationen sind auf der G3TEK-Website verfügbar.
Testwell CTC++ ist der führende Code Coverage Analyzer für Embedded Software. Das Werkzeug wird aktuell von über 700 Kunden in 39 Ländern erfolgreich eingesetzt.

Video-Serie "1 minute at Verifysoft" mit Verifysoft-Team-Mitgliedern

(Offenburg, 22. Juni 2021)

In unserer Video-Serie "1 minute at Verifysoft" stellen einige Mitarbeiter unseres Teams ihr "Leben" bei Verifysoft Technology vor:
Wie sieht die tägliche Arbeit aus, welche Herausforderungen gibt es, warum engagieren sie sich bei Verifysoft und was passiert in der Freizeit?
Erfahren Sie mehr auf unserem YouTube-Kanal.

Neues Imagevideo: Verifysoft - for Your Software's Quality

(Offenburg, 23. April 2021)

Verifysoft bietet seit 2003 beste Software-Testing-Lösungen, Beratung, Schulungen und Support. Unser Team steht Ihnen seit 18 Jahren mit voller Motivation zur Verfügung um die Qualtität und Produktivität Ihrer Software-Entwicklung zu erhöhen. Es ist viel passiert in dieser Zeit. Einige Momente haben wir jetzt in ein Imagevideo verpackt. Jetzt ansehen!

Imagix 4D: Version 10.2 verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 8. April 2021)

Imagix 4D 10.2 ist ab sofort verfügbar. Der Haupt-Fokus der neuen Version liegt auf der verbesserten Unterstützung von umfangreichem Quellcode.
Zu den wichtigsten Verbesserungen zählen:

• zusätzliche Optionen für die Anzeige von Software-Architekturen basierend auf dem Quellcode
• verbesserte Performance bei der Arbeit mit sehr großen Projekten (auch für Architekturdiagramme)
• einfacheres (besser automatisiertes) Laden des Codes durch Nutzung von Soong, Gradle und JSON Build-Systeme
• erweiterbare Schnittstellen zum Laden des Codes aus alles Build-Logs

Weitere Informationen: Release notes und Beschreibung des Erstellens von auf Android-Build Artifakten basierenden Projekten.

Wir gratulieren unserem Kunden Jet Propulsion Laboratory zur erfolgreichen Landung des Perseverance Rovers auf dem Mars

(Ithaca/USA, Offenburg/Deutschland, 24. Februar 2021)

Als Teil des Mars Exploration Programs der NASA war die Landung des "Perseverance Rovers" auf dem Mars ein weiterer aufregender Schritt, um mehr über unseren Nachbarplaneten zu erfahren.
Das Jet Propulsion Laboratory (JPL) setzt unter anderem das statische Codeanalysetool GrammaTech CodeSonar und unseren Code Coverage Analyzer Testwell CTC++ in ihren Softwareprojekten ein.
Verifysoft ist stolz darauf, dass wir mit unseren Software-Test- und -analsetools einen Beitrag zu diesem großen Erfolg leisten durften.

Verifysoft mit Beiträgen im französischen Standardbuch für Software-Tests

(Paris, Offenburg, 10. Februar 2021)

Im Verlag Dunod ist jetzt die 4. Auflage des französischen Standardbuchs für Software-Tests "Pratique des Tests Logiciels" erschienen.
Autoren sind Professor Jean-François Pradat-Peyre (Universität Paris) und Jacques Printz. Das Vorwort zum Buch wurde von Verifysoft-Geschäftsführer Klaus Lambertz verfasst (franz. Text). Das Buch behandelt auf 256 Seiten alle relevanten Themen rund um den Test von Software. Verifysoft durfte u.a. mit einem Praxisbeispiel seine Expertise im Bereich des Tests von embedded Systemen einbringen und den Nutzen der Kombination von statischer und dynamischer Codeanalyse verdeutlichen.
Die deutsche Übersetzung des Kapitels finden Sie hier.

Imagix 4D: Version 10.1 verfügbar

(San Luis Obispo/USA, Offenburg 9. Oktober 2020)

Imagix 4D 10.1 wurde veröffentlicht und ist ab sofort im Downloadbereich der Imagix Webseite erhältlich.
Diese Version hat 3 Haupteigenschaften:
- Vollständige HIS-Checkliste mit den zugrunde liegenden MISRA-Regeln und -Metriken für zwei Projektversionen
- Delta-Kontrollflussdiagramme, die die Flussdiagrammunterschiede zwischen zwei Projektversionen zeigen
- Nicht erreichbarer Anweisungsbericht und andere kleine Berichtsverbesserungen
Mehr erfahren.

Imagix 4D verbessert die CodeSonar-Ergebnisse

(Ithaca/New York/USA, Offenburg/Deutschland, 8. Juli 2020)

Imagix 4D bietet jetzt erweiterte Interpretationen der GrammaTech CodeSonar Ergebnisse, damit Entwickler die gemeldeten Probleme besser verstehen, debuggen und beheben können. Imagix 4D importiert Ergebnisse im SARIF-Format für jede gemeldete Warnung und bietet eine verbesserte grafische Visualisierung aller überlagerten CodeSonar-Ergebnisse (über SARIF) zur Codeanalyse, die Imagix 4D aus derselben Quelle durchgeführt hat.
Imagix 4D zeigt einen wichtigen Anwendungsfall für SARIF bei der Erweiterung der statischen Analyseergebnisse, um das Verständnis der Warnergebnisse zu verbessern. Mithilfe der Visualisierung können Entwickler Fehler effizienter diagnostizieren und beheben.
...
> Mehr erfahren.

Software-Entwickler haben Probleme.
Jan-David hat Geschichten mit Lösungen.

(Offenburg, 9. Juni 2020)

Wir haben endlich Zeit gefunden, die Geschichten unseres Kollegen Jan-David rund um die Probleme von Software-Entwicklern von der "Schublade" ins Web zu bringen. Auf amüsante Weise erzählen die Kurzstorys einiges über die Fähigkeiten von Imagix 4D, einem Werkzeug für die Erkundung und Analyse von (unbekanntem) Quellcode.
Wir wünschen viel Spaß beim Lesen.

Neuer Fachartikel: "Durchblick bei Legacy-Code: Erste Hilfe beim Refactoring"

(Offenburg, 8. Juni 2020)

Die Arbeit an Legacy-Code gehört zu den undankbarsten Aufgaben der Entwickler. Sich in gewachsenem, meist kaum dokumentierten Quellcode zurecht zu finden, ist zeitraubend und fehleranfällig. Allerdings gibt es Werkzeuge, die dabei helfen können. Etwa, indem die Software und die zugrunde liegende Architektur grafisch so aufbereitet werden, dass ein effizientes Refactoring möglich wird.
> mehr erfahren

Verifysoft Technology unter den "World's Best QA & Solution Providers 2020"

(Dublin/OH/USA, Offenburg/Deutschland, 12. Mai 2020)

Verifysoft ist von CIO Look unter die "World's Best QA & Solution Providers 2020" gewählt worden. CIOLook ist eine globale Unternehmensplattform für die Veröffentlichung von Perspektiven von Unternehmern, Geschäftsinhabern und Innovatoren, die ihr Business weltweit vorantreiben.
Mehr erfahren: Verifysoft Technology GmbH: A Prominent Code Coverage Analyzer for Embedded Software (pdf)     CIO Look

14 Vorteile von Testwell CTC++: mehr im Video erfahren

(Offenburg, 5. Mai 2020)

Testwell CTC++ ist das führende Werkzeug zur Messung der Testabdeckung auf dem Host und allen (selbst kleinsten) embedded Targets und Microcontrollern. Die Hauptvorteile des Tools haben wir jetzt in einem Video zusammengestellt.
Zu den Gründen für den Einsatz von Testwell CTC++ zählen: Abdeckung aller Coverage-Stufen, Nutzung mit allen Embedded Targets und allen Compilern, Unterstützung der Progammiersprachen C, C++, Java und C#, Unterstützung von "exotischen" Sprachkonstrukten, Integration in viele Entwicklungsumgebungen und Automated Builds / Continuous Integration, Verständliche und informative Reports, Compliance zu Sicherheitsnormen, Qualification-Kit, hervorragender Support und hunderte zufriedene Kunden, ...
Jetzt mehr erfahren

Imagix 4D: Version 10.0 verfügbar

(San Luis Obispo/USA, Offenburg, 28. April 2020)

Imagix 4D 10.0 wurde veröffentlicht und ist ab sofort im Downloadbereich der Imagix Webseite erhältlich.
Version 10.0 beinhaltet eine erhebliche Verbesserung der Geschwindigkeit und Leistungsfähigkeit der C / C ++ - Quellcodeanalyse.
Die neue SARIF-Funktion ermöglicht es Ergebnisse statischer Analysen aus anderen Tools zu importieren und in Imagix 4D methodisch zu überprüfen, sowie die Analyseergebnisse von Imagix 4D zur Veranschaulichung in IDEs zu exportieren.
Die Delta-Analyse war darauf beschränkt, zwei separate Projekte zu vergleichen; Das Speichern und Vergleichen von Revisionen innerhalb eines Projekts wurde entfernt, um die Ergänzung neuer Delta Analyse-Funktionen in einer kommenden Version vorzubereiten.
Mehr erfahren

Verifysoft Technology - The Company Video

(Offenburg/Deutschland, 14. Januar 2020)

Unser Imagevideo ist jetzt auch auf Englisch online:
Software has become an integral part of our lives today. How important is the quality of software when you fly on an aircraft or when you drive your car? Faulty software can have fatal consequences.
Verifysoft Technology has provided first class testing and analysis tools to software development teams. In short, we sell safety and security.
What does Verifysoft offer to over 600 customers in 40 countries?
Why is the customers’ satisfaction more important than making a fast buck?
Why is a positive working atmosphere important to us?
Verifysoft's Company Video gives answers.

Verifysoft Technology - Der Imagefilm

(Offenburg/Deutschland, 19. November 2019)

Software ist heute nicht mehr wegzudenken. Aber wie wichtig ist die Softwarequalität und wie wird diese garantiert?
Verifysoft Technology unterstützt Softwareentwicklungsprojekte weltweit mit erstklassigen Testwerkzeugen.
Hiermit werden Qualität und Produktivität der Computerprogramme in Luft- und Raumfahrt, Automotive, Medizintechnik und anderen Bereichen entscheidend erhöht.
Was bietet Verifysoft seinen über 600 Kunden in 40 Ländern?
Warum ist uns die Kundenzufriedenheit wichtiger als der schnelle Euro?
Weshalb ist uns eine positive Arbeitsatmosphäre wichtig?
Antworten gibt der Verifysoft-Imagefilm.

Flugzeughersteller Embraer nutzt Testwell CTC++ in DO-178C DAL A Projekten

(São José dos Campo/Brasilien, Offenburg/Deutschland, 3. November 2019)

Embraer, nach Airbus und Boing der drittgrößte Hersteller ziviler Flugzeuge, setzt auf Testwell CTC++ um die Anforderungen der Norm DO-178C bezüglich der Code Coverage zu erfüllen.
"Testwell CTC++ automatisiert die Code-Instrumentierung sowie die Ausgabe der strukturellen Code Coverage in einem leicht verständlichen Report. Der Nutzer sieht so sofort, wo noch Tests gefahren werden müssen, um die gesamte Software hundertprozentig zu testen. Embraer hat Testwell CTC++ in den Continuous Verification Flow integriert", erklärt Joao Carlos Davison, Verantwortlicher für den Software Verifizierungsplan beim Flugzeugbauer.
Mateus Lucas Alves Ferreira, Produktentwicklungsingenieur bei Embraer bestätigt, dass die Installation und die kommandozeilenbasierte Nutzung des Tool Interfaces von Testwell CTC++ einfach und schnell erlernbar ist.
>Lesen Sie den vollständigen Kundenbericht hier.

Neues Video: "Das Leben als Softwareentwickler ist kein Lollipop-Schlecken"

(Offenburg, 17. Oktober 2019)

Das Leben als Softwareentwickler ist kein Lollipop-Schlecken wenn alte Software gewartet und weiterentwickelt werden muss.
Produktdokumentationen sind oft veraltet und ehemalige Entwickler, die sich auskennen sollten, nicht mehr greifbar.
Jetzt hilft Imagix 4D: der Ist-Zustand der Software wird ermittelt und grafisch aufbereitet.
Ziel: entspannte Feierabende für Software-Entwickler statt schlafloser Nächte und Panik-Attacken…
Jetzt Video ansehen

Wie Imagix 4D das Verständnis von Programmen auf Quelltextebene unterstützt

Offenburg, 20. August 2019

Mit wachsender Laufzeit von Softwareprojekten steigen typischerweise deren Umfang und Komplexität. Damit wird es auch zusehends aufwendiger den Überblick zu behalten, sei es zur Wartung, Erweiterung oder Verifikation gegen bestehende und veränderte Anforderungen. Verstärkt wird dies zudem durch Fluktuationen in der Belegschaft und der Einbindung von zusätzlichen Programmteilen, sei es zugekauft, frei zugänglich oder aus bestehenden Projekten.
Diese Arbeit zeigt, wie Imagix 4D dabei unterstützt unbekannten Quelltext zu erkunden und zu verstehen. Nach einer Einführung in den Kontext der Problemstellung folgen Erörterungen verschiedener Methoden von Imagix 4D und wie diese zur Lösung beitragen.
Lesen Sie das Whitepaper hier

Neues Video: "Refactoring mit Imagix 4D"

Um die Standzeiten von Softwareapplikationen zu erhöhen und damit Investitionen zu sichern, ist kontinuierliches Refactoring unumgänglich.
Oft lohnt es sich, Refactoring auch für Legacy Code durchzuführen, um diesen in aktuellen Projekten wiederverwenden zu können. Hierbei erfährt der Code eine Überarbeitung im Hinblick auf eine bessere Wart- und Erweiterbarkeit unter Beibehaltung der Programmfunktionalität. Imagix 4D ist das ideale Tool, um bei Sie bei Ihrem Refactoring Prozess zu unterstützen. Eine leicht verständliche Visualisierung der bestehenden Architektur ermöglicht ein schnelles Verständnis der Interaktion zwischen verschiedener Komponenten. Dadurch können Modifikationen reibungslos vollzogen werden.
Sehen Sie hier eine Aufzeichnung unseres Webinars vom 7. Mai 2019 und erfahren Sie, wie Imagix 4D Sie beim Refactoring unterstützen kann.

Neuer Testwell CTC++ Kundenbericht aus der Automotive Industrie (NPP ITELMA, Russland)

(Offenburg/Deutschland, Moskau/Russland, 20. März 2019)

“Sicherheit und Zuverlässigkeit in jeder elekronischen Einheit ist sehr wichtig für unsere Projekte im Automotive Sektor“, sagt Alexander Dolozov, Automotive Embedded Software Manager bei NPP ITELMA.
Dolozov erklärt, dass es für sie schwer oder sogar unmöglich ist, ohne ein Code Coverage Tool festzustellen, bis zu welchem Maß das Unit Testing durchgeführt wurde. Im folgenden Kundenbericht gibt Dolozov einen Einblick in die Vorteile von Testwell CTC++.
NPP ITELMA evaluierte zahlreiche unterschiedliche tools für die Messung der Codeabdeckung, bevor sich die Firma für Testwell CTC++ entschied. “Testwell CTC++ ist einfach zu nutzen und gleichzeitig sehr effizient“, meint Dolozov. „Das Tool hat eine übersichtliche Nutzeroberfläche und die Coverage Reports sind einfach zu analysieren. Außerdem kann Testwell CTC++ dazu beitragen, sicherheitskritische Projekte zu zertifizieren. Das war ein wichtiges Kriterium für uns.”
„Mit Testwell CTC++ haben wir viele nicht abgedeckte Stellen in unseren Codes gefunden. Das Tool ermöglicht es uns außerdem, Schwachstellen in frühen Entwicklungsphasen zu entdecken und zu beheben. Das führt zu einer verbesserten Qualität unserer Produkte.”
Lesen Sie den vollständigen Kundenbericht hier

Embedded World 2019: Safety und Security für Embedded Software mit Tools von Verifysoft Technology

(Nürnberg, 28. Februar 2019)

Verifysoft Technology war auch 2019 mit der 15. Teilnahme in seiner 16-jährigen Firmengeschichte wieder auf der Embedded World vertreten. Durch die zunehmende Vernetzung im Internet of Things ist neben der Safety jetzt auch die Angriffssicherheit (Security) im Embedded Bereich ein wichtiges Thema.
So kann unser Code Coverage Analyzer Testwell CTC++ neben dem klassischen Einsatzfeld Funktionale Sicherheit (Safety) in Verbindung mit Penetration-Tests auch zur Absicherung der Angriffssicherheit (Security) genutzt werden.
Auch die Statische Codeanalyse kann dazu genutzt werden, potentielle Angriffsziele von Cyberkriminellen zu detektieren. Die Vernetzung in Internet of Things bringt mit sich, dass nicht nur – die in der Regel in C oder C++ geschriebene – embedded Software als sicherheitskritisch einzustufen ist, sondern auch verbundene Software, die beispielsweise in Java oder C# geschrieben ist. Um auch diese Software auf ihre Qualität prüfen zu können, steht unsern Kunden neben GrammaTech CodeSonar mit dem Julia Static Analyzer jetzt auch ein Werkzeug für die semantische statische Analyse von Enterprise-Software in Java und C# zur Verfügung. Durch die Integration des Julia Static Analyzers in GrammaTech CodeSonar werden die bisher unterschiedlichen Software-Welten "embedded Software" mit ihrer hardwarenahen Programmierung und die Enterprise-Programmierung aus Sicht des Software-Tests zusammengebracht.
Hier Video ansehen

Gemeinsames Webinar von Samsung und Verifysoft: "Make Unit Testing and Code Coverage part of your Continuous Integration Flow"

Zahlreiche Firmen aus verschiedenen Branchen haben einen Continuous Integration-/Continuous Delivery-Prozess mit Einbindung des führenden Test-Coverage-Analyzers Testwell CTC++ aufgesetzt, um die Wirksamkeit ihrer Testaktivitäten zu erhöhen. Testwell CTC++ integriert sich problemlos in DevOps-Werkzeugketten und steigert somit den Nutzen von Continuous Integration Umgebungen.
Erfahren Sie am 29. Januar 2019 ab 9:30 Uhr deutscher Zeit im Webinar "Make unit testing and code coverage part of your continuous integration flow" mit SAMSUNG, wie der weltgrößte Hersteller von Unterhaltungselektronik die Code Coverage als Qualitätsmaß einsetzt um mobile Geräte und Anwendungen, die weltweit von Milliarden Menschen genutzt werden, zu testen.

Dieses Webinar behandelt folgenden Themen:

• Notwendigkeit von Code Coverage als Teil der Continuous Integration (CI) Pipeline
• Einsatz von Code Coverage in einem der schwierigsten Build- / Entwicklungsumgebungen
• Management von Metriken: Code Coverage als Werkzeug um Einblick in die Qualität des gelieferten Codes zu erhalten
• ROI-Nutzen der Testabdeckung

Imagix 4D im Podcast: Softwareentwicklerin Anna hat ein Problem

(Offenburg, 13. Dezember 2018)

Die Softwareentwicklerin Anna ist verantwortlich für ein altes Software-Projekt mit dem sich keiner mehr richtig auskennt. Die Software-Dokumentation gibt wenig her... Das Ganze ist wie ein Alptraum, der nur mit massivem Zeit- und Geldaufwand lösbar scheint.
Da stößt Anna auf das Tool Imagix 4D, welches den Ist-Zustand von Software auf Basis des Quellcodes ermittelt. Durch die generierten Schaubilder, Dokumentationen und Berichte erkennt Anna schnell die Fehlerursachen und kann diese einfacher beheben als gedacht. Anna informiert umgehend ihre Kunden, die mehr als erleichtert sind...
Jetzt Video ansehen

Angriffssicherheit (Security): Testwell CTC++ hilft bei der Auswertung von Penetration Tests

(Offenburg, Sindelfingen, 4. Dezember 2018)

Penetration Tests helfen dabei, Sicherheitslücken in Software und Systemen aufzudecken. Die Auswertung dieser Tests lässt sich deutlich vereinfachen, wenn während des Penetration Tests die Code-Abdeckung gemessen wird. Das (Ideal-)Ziel ist dabei das Gegenteil der für die funktionale Sicherheit üblichen klassischen 100%-Coverage: Möglichst wenige Teile der Software sollen unter dem Penetration Test zur Ausführung kommen.
Auf dem Embedded Software Engineering Kongress (ESE) in Sindelfingen wurde gezeigt, wie der Code Coverage Analyzer Testwell CTC++ nicht nur für die Safety, sondern auch effizient für Security-Themen eingesetzt werden kann. Entwickler können mit dem vorgestellten Ansatz schneller und einfacher die Ergebnisse von Penetration Tests nachvollziehen, notwendige Arbeitsschritte ableiten und deren erfolgreiche Umsetzung im Retest prüfen.
Jetzt im Video mehr erfahren.

Testwell CTC++ Workshop in Shanghai/China

(Shanghai/China, 2. November 2018)

Auf dem jährlich stattfindenden Tool-Workshop unseres chinesischen Distributors Beijing Siener Electronics wurde Testwell CTC++ zahlreichen Interessenten vorgestellt. Der Workshop hat dieses Jahr am 30. Oktober und 1. November in Shanghai stattgefunden.
Die Videos der Präsentationen sind jetzt online:
Welcome of Verifysoft CEO Klaus Lambertz (English with Chinese subtitles)
Testwell CTC++ in 8 Minutes Chinese version / English version
Testwell CTC++: the leading Code Coverage Analyzer - Trailer English
How to fulfill the Requirements of ISO 26262 regarding Code Coverage? Chinese version / English version
How works Testwell CTC++ for all coverage levels? English version
Ebenfalls gab es diverse technische Präsentationen, die auf unserem YouTube-Channel verfügbar sind.
Testwell CTC++ ist der führende Code Coverage Analyzer für C, C++, Java und C#. Das Tool wird in tausenden Projekten in aktuell 37 Ländern eingesetzt. China gehört dabei zu den wichtigsten Märkten.

GrammaTech ehrt Verifysoft für fünf Jahre erfolgreiches Engagement in der statischen Codeanalyse

(Ithaca/New York, Offenburg, 12. Oktober 2018)

Verifysoft ist jetzt von GrammaTech für 5 Jahre erfolgreiches Engagement als Value-Reseller geehrt worden. Royd Lüdtke (Director Static Analysis Tools) und Dirk Sanny (Vertriebsleiter DACH) nahmen die Auszeichnung im September in Ithaca/New York entgegen.
Seit Beginn des Distributionsvertrags im Februar 2013 hat Verifysoft GrammaTechs statisches Code-Analyse-Werkzeug CodeSonar mit großem Erfolg bei zahlreichen Kunden in den deutschsprachigen Ländern verbreitet. Unter anderem wird CodeSonar bei führenden Automobilherstellern, aber auch bei zahlreichen Kunden aus anderen Sektoren, wie der Landmaschinenbranche, zur Qualitätssicherung eingesetzt.
Verifysoft zeichnet sich dabei durch kompetenten technischen Support aus. So wurde kürzlich in Deutschland ein eigenes Plug-In zur Verbesserung der Performance von Kundenprojekten entwickelt. Etabliert hat sich der Static-Code-Analysis-Day, der im März 2019 bereits zum sechsten Mal hochkarätige Informationen zur statischen Code-Analyse liefert.
"Die meisten unserer Kunden haben sicherheitskritische Softwareentwicklung. Wir freuen uns, hierfür das führende Werkzeug zur Quell- und Binär-Code-Analyse anbieten zu können.", erklärt Verifysoft-Geschäftsführer Klaus Lambertz. "Die Partnerschaft mit GrammaTech ist vorbildlich."

Insights Success: Verifysoft Technology unter den 10 besten Anbietern für Software-Testtools

(Dublin/Ohio, USA, Offenburg/Germany, 26 Juni 2018)

Das Magazin Insights Success fokussiert sich vor allem auf aufstrebende Firmen sowie auf führende Unternehmen mit einem schnellen Wachstum, deren konfrontativen Geschäftsstil und ihrer Art effektive und kollaborative Lösungen anzubieten um ihren Marktanteil auszubauen. Verifysoft wurde nun von Insight Success als eines der 10 aussichtsreichsten Anbieter für Software-Testtools ausgezeichnet.
Seit der Gründung im Jahr 2003 hat Verifysoft einen Kundenstamm in über 40 Ländern weltweit aufgebaut und verzeichnete letztes Jahr ein Umsatzwachstum von mehr als 40%. Das Unternehmen sieht Software Testing als unabdingbar und rechnet mit einem weiteren großen Wachstum des Marktes. Verifysoft hat sich als einer der führenden Anbieter für effiziente und zuverlässige Tools zum Software Testing durchgesetzt. Ihr eigenes Tool, Testwell CTC++, ist selbst unter den ungünstigsten und herausforderndsten Umständen stets zuverlässig. Das Management von Verifysoft ist sich sicher, ein extrem gutes Produkt zu haben und setzt höchste Priorität auf die Kundenzufriedenheit.
Lesen Sie den vollständigen Artikel hier.

Imagix 4D: das "Schweizer Taschenmesser" für die Software-Entwicklung

(München, Offenburg, 19. Juni 2018)

Imagix 4D ist ein sehr vielseitiges Tool und kann als Schweizer Taschenmesser für die Software-Entwicklung betrachtet werden. Das Werkzeug hilft, komplexe Software - inklusive Third-Party- und Legacy-Code - zu verstehen, zu dokumentieren und zu verbessern. Das Tool deckt die Programmiersprachen C, C++ und Java ab. Imagix 4D automatisiert die Analyse von Kontrollflüssen und Abhängigkeiten. Zusätzlich deckt das "Schweizer Taschenmesser für Software" Datenprobleme und Probleme bei Task Interactions auf. Entwicklerteams steigern mit Imagix 4D die Softwarequalität, verbesseern die Produktivität und reduzieren Risiken.
Sehen Sie jetzt auf YouTube die Produktpräsentation von David Baltzer (Spezialist für Statische Codeanalyse) auf der Avioation Electronics Europe in München. .
Mehr über Imagix 4D erfahren.

Testing Stage 2018: Verifysoft in Kiev (Ukraine)

(Offenburg, Kiev/Ukraine, 19. April 2018)

Verifysoft Technology war als Goldsponsor bei der Testing Stage 2018 in Kiev (Ukraine) vor Ort. Die 2-tägige Konferenz am 13. und 14. April konnte mit über 1000 Teilnehmern und mehr als 50 Referenten aufwarten.
Die Konferenz widmete sich diversen Themen im Softwaretestbereich und zeigte darüber hinaus einen separaten "Embedded Track".
Unser IT-Trainer Sebastian Götzinger leitete einen Tagesworkshop "Efficient Unit-Tests for Embedded Systems" und führte eine Präsentation "Code Coverage on small safety-critical embedded targets" (hier Video ansehen), sowie eine Master-Class: "Code Coverage on μ-Controller" durch.
Während der Testing Stage präsentierte Verifysoft ebenfalls seine Software Testlösungen: Code Coverage Analyzer Testwell CTC++ und Imagix 4D, ein Werkzeug, welches Projektmanagern und Entwicklern hilft, komplexen, legacy oder third party Code zu verstehen, zu dokumentieren und zu verbessern.

Volvo Cars: Testwell CTC++ zeigt die Testabdeckung bei Continuous Integration und Test für Motorsteuergeräte

(Göteborg/Schweden, Berlin, Offenburg/Deutschland, 27. März 2018)

Der schwedische Fahrzeughersteller Volvo Cars nutzt Testwell CTC++ zur Messung der Testabdeckung beim Einsatz von Silver und TestWeaver der Berliner Firma QTronic GmbH für den kontinuierlichen Test der Funktionssoftware für Motorsteuerungen.
Lesen Sie das auf der Embedded World in Nürnberg präsentierte Paper "Continuous Integration and Test from Module Level to Virtual System Level" (Johannes Foufas, Michael Hartmann, Martin Andreasson, Andreas Junghanns) hier.

Verifysoft: Langfristige Kundenbindung ist wichtiger als der "schnelle Euro"

(Offenburg, 22. August 2017)

Erfahren Sie im Interview mit Verifysoft-Geschäftsführer Klaus Lambertz warum Software-Qualität auch in nicht-sicherheitskritischen Bereichen wichtig ist, weshalb es unseren Kunden nutzt, dass wir seit Gründung ohne Venture-Capital arbeiten, warum uns die langfristige Kundenbindung wichtiger ist als der "schnelle Euro" und warum ein motiviertes Team Basis für den Firmenerfolg in über dreißig Ländern ist.
Komplettes Interview.

“Ein korrektes Softwareverhalten zu garantieren ist eine Herausforderung”: Neuer Testwell CTC++-Anwenderbericht (Lely, Niederlande)

(Offenburg/Deutschland, Maassluis/Niederlande, 27. Oktober 2016)

“Unser Ruf beruht auf Produkten, die gut funktionieren” sagt Kees Valkhof, Konfigurationsmanager von Lely, der uns einen Einblick in die Softwaretestanforderungen der landwirtschaftlichen Lösungen gegeben hat. Er erklärt, warum Lely Testwell CTC++ für die Messung der Codeabdeckung nutzt.
Im folgenden Anwenderbericht und Video spricht Kees Valkhof über die Vorteile von Testwell CTC++: "Bei Lely wollen wir in der Lage sein, die Abdeckung userer Unittests sowie die der auf Targets durchgeführten Tests zu messen. Wir haben einige embedded Boards, die embedded Cross-Compiler benötigen. Da wir mehr als einen dieser Compiler haben, benötigen wir ein generisches Werkzeug, das nicht an ein bestimmtes Toolset bzw. IDE gebunden ist. Aus diesem Grund haben wir uns für Testwell CTC++ entschieden. Dieses Tool erfüllt alle oben genannten Anforderungen ... "
>Lesen Sie den vollständigen Kundenbericht hier
>Hier Video ansehen

Neuerscheinung: Lean Testing für C++-Programmierer von Andreas Spillner und Ulrich Breymann

(Heidelberg, Offenburg, 8. Juni 2016)

Das im dpunkt-Verlag erschienene Buch "Lean Testing für C++-Programmierer" von Andreas Spillner und Ulrich Breymann zeigt praxisorientierte Ansätze um die "richtige" Balance zwischen "zu viel" und "zu wenig" Softwaretest zu finden.
Statische Testverfahren, Testentwurf und Testdurchführung sowie Strukturbasierte Testverfahren werden ausführlich besprochen. Die verschiedene Testtiefen beim Test komplexer Entscheidungen werden anhand von Code-Beispielen, die mit dem Code-Coverage-Tool Testwell CTC++ analysiert wurden, gezeigt. Abgerundet wird das Buch durch ein Kapitel zum neuen Softwareteststandard ISO 29119. >Rezension

Cem Özdemir zu Besuch bei Verifysoft

(Offenburg, 4. Mai 2016)

Der Bundesvorsitzende der Partei Bündnis 90/Die Grünen hat sich am 4. Mai 2016 in Offenburg über Entwicklung, Angebot und Unternehmensphilosophie der Verifysoft Technology GmbH informiert. Begleitet wurde Özdemir unter anderem von Offenburgs Oberbügermeisterin Edith Schreiner (CDU), Thomas Marwein (MdL, B90/Grüne) sowie von Vertretern der Wirtschaftsregion Ortenau und des Technologieparks Offenburg. > mehr erfahren

Nachfrage nach Seminaren "Testen von Embedded Software" weiter hoch: Verifysoft ehrt Professor Dr. Daniel Fischer für 60 erfolgreiche Seminare

(Offenburg, 2. Mai 2016)

Berlin, Hamburg, München, Köln, Mannheim, Stuttgart, Offenburg, Bludenz, Magdeburg, Kassel, Jena, Aalen, ... Dies sind nur einige der zahlreichen Städte in denen Professor Dr. Daniel Fischer Techniken für effizientes Testen von Embedded Software vermittelt hat.
Das Klientel bei den zweitägigen Seminaren ist oft sehr gemischt: Projektleiter, Testverantwortliche, Entwickler, erfahrene Leute, die neuen Input bekommen und auf den aktuellen Stand der Technik gebracht werden wollen, sowie neue Mitarbeiter die schnell auf Niveau gebracht werden sollen.
Das Premium-Seminar "Testen von Embedded Software" wird seit 2008 regelmäßig als öffentliches Seminar in Offenburg und weiteren Städten angeboten. Bereits ab fünf bis sechs Teilnehmern einer Firma lohnt sich ein Inhouse-Seminar. Zahlreiche Firmen haben ihre Wettbewerbsfähigkeit bereits in diesen "Vor-Ort-Seminaren" mit Professor Fischer erhöht. Unsere Seminarkunden verteilen sich über den gesamten deutschsprachigen Raum. Eine Landkarte mit den bisherigen Seminarstandorten hat Verifysoft jetzt aus Anlass des sechzigsten Seminars an Professor Fischer überreicht. Obwohl es nur noch wenige "weiße Flecken" auf der Seminarlandkarte gibt, stehen uns noch ausreichend Nadeln für weitere Schulungen zur Verfügung ...
Erfahren Sie in unserem Seminarfilm mehr, informieren Sie sich hier über die kommenden Seminartermine oder vereinbaren Sie mit uns einen Termin für Ihr Inhouseseminar.

Beijing Siener Electronics Tech. Development Ltd. wird Distributor für Testwell-Tools in China

(Offenburg/Deutschland, Beijing/China, 28. Januar 2016)

Verifysoft, Hersteller des führenden Test-Coverage-Analyzers Testwell CTC++ und der Software-Test- und Analysetools Testwell CTA++, CMT++ und CMTJava hat einen Distributionsvertrag mit Beijing Siener Electronics Tech. Development Ltd. für den Support und Vertrieb der Testwell-Tools in China abgeschlossen.
Beijing Siener, eine Privatfirma mit Hauptsitz in Peking und Filiale in Shanghai, vertritt aktuell bereits Firmen wie HighTec EDV-Systeme GmbH, pls Development Tools und GLIWA GmbH im stark wachsenden chinesischen Markt.
"Wir freuen uns, zukünftig als Reseller für Verifysoft zu agieren, da deren Code-Coverage-Analyzer Testwell CTC++ in der Industrie einen Spitzenplatz einnimmt," erklärt Peter Liu, Managing Director von Beijing Siener Electronics Tech. Development Ltd. "Testwell CTC++ Code Coverage Analyzer unterstützt alle embedded Targets und alle Compiler. Das Werkzeug vereinfacht es für Softwareentwicklungsteams, die Anforderungen von Normen wie der ISO 26262 bezüglich der Testabdeckung zu erfüllen und beste Softwarequalität zu liefern."
"Testwell-Tools werden in über 30 Ländern erfolgreich eingesetzt. China ist dabei ein wichtiger Markt für uns," bestätigt Klaus Lambertz, Gründer und Geschäftsführer der Verifysoft Technology GmbH. "Wir freuen uns, dass wir Beijing Siener als Partner in China gewinnen konnten, um zukünftig unsere Testwell CTC++-Nutzer im Land besser unterstützen zu können und unsere Kundenbasis in China weiter auszubauen."
Verifysoft Technology präsentiert Testwell CTC++ am 8. und 9. März 2016 während des "Multicore Embedded Toolchains Workshop for Multicore ECU Development" in Shanghai.   > Beijing Siener Webseite

Verifysoft wird erster Reseller in Europa für das Source-Code-Checking- und Architecture-Analysis-Tool Imagix 4D

(Offenburg/Deutschland, San Luis Obispo/USA, 2. Januar 2016)

Verifysoft Technology ist ab sofort der erste europäische Reseller für das Source-Code-Checking- und Architecture-Analysis-Tool Imagix 4D. Verifysoft wird Imagix-Kunden in Deutschland, Österreich, Schweiz, Liechtenstein, Frankreich, Niederlande, Belgien, Luxemburg, Polen, Tschechien, Slowakei, Ungarn, Slowenien, Spanien und Portugal betreuen.
Imagix 4D wird für Reverse-Engineering, Qualitätsanalysen and Dokumentationen von Software in C, C++ und Java eingesetzt. Zu den Imagix-Nutzern gehören Firmen wie General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan und Siemens. Imagix 4D wird ebenso von US-Behörden wie der Federal Aviation Administration (FAA) und der NASA eingesetzt.
Imagix ist eine im Privateigentum stehende Firma mit Sitz in San Luis Obispo (Kalifornien). > weitere Informationen über Imagix

ESE-Kongress 2014: Interview mit Verifysoft-Geschäftsführer Klaus Lambertz

(Sindelfingen, Offenburg, 3. Dezember 2014)

In einem Interview der ELEKTRONIK PRAXIS / Vogel Business Media spricht Klaus Lambertz, Gründer und Geschäftsführer von Verifysoft, über den Einsatz von Code Coverage und Statischen Codeanalysetools in sicherheitskritischen Projekten.
Testwell CTC++ analysiert die Testabdeckung auf allen embedded Targets und kann für Zertifikationen nach DO178-C, ISO 26262 und anderen Normen eingesetzt werden. GrammaTech CodeSonar, ein statisches Analysetool welches eigens für den Einsatz in eingebetteter Software entwickelt worden ist, wurde kürzlich durch den SGS-TÜV Saar zertifiziert.
Das Interview wurde am 3. Dezember auf dem Software Engineering Kongress (ESE) in Sindelfingen aufgezeichnet. Lesen Sie den Artikel der Elektronik Praxis und sehen Sie das Interview hier.

Verifysoft weiter auf Wachstumskurs: Erweiterung der Geschäftsräume

(Offenburg, 7. Juli 2014)

Verifysoft Technology hat das Jahr 2013 mit einem Rekordumsatz und einem deutlichen Gewinn abgeschlossen.
Unsere Technologien sind aktuell bei über 400 Firmen in mehr als 30 Ländern weltweit erfolgreich im Einsatz. Zu unseren Kunden zählen alle deutschen Automobilhersteller, zahlreiche Zulieferer, die wichtigsten europäischen Luft- und Raumfahrtkonzerne sowie führende Unternehmen aus der Medizintechnik.
Nach der Übernahme der Softwaretest-Technologien des finnischen Testtoolherstellers Testwell im Sommer 2013 hatte Verifysoft ein weltweites Distributorennetz mit Vertretungen in den USA, Indien, Korea, Großbritannien, Italien, Rumänien, Finnland und Israel aufgebaut. Eine Vereinbarung mit einer japanischen Vertretung steht kurz vor dem Abschluss.
Nach einem sehr erfolgreichem ersten Halbjahr 2014 gehen wir von einer weiteren deutlichen Umsatzsteigerung für das laufende Jahr aus. Gründe hierfür sind unter anderem die sehr gute Qualität unserer Testwerkzeuge, die gute Konjunktur in Deutschland sowie ein deutliches weltweites Wachstum insbesondere in den USA, Indien, Korea und Japan.
Auch personell ist Verifysoft weiter gewachsen. Hierdurch wird die Erweiterung der Geschäftsräume im Technologiepark Offenburg erforderlich. Wir bitten Sie um Verständnis, falls es bedingt durch den Umzug zwischen dem 8. und 11. Juli zu kurzen Verzögerungen bei der Beantwortung Ihrer Anfragen kommen sollte.

CATIA - AUTOSAR Builder von Dassault Systèmes an Testwell CTC++ angebunden

(Vélizy-Villacoublay/Frankreich, Offenburg, München/Deutschland, 2. April 2014)

Dassault-Systèmes und Verifysoft Technology GmbH geben die Anbindung des Test-Coverage-Analyzers Testwell CTC++ an den CATIA Systems AUTOSAR Builder bekannt. AUTOSAR Builder ist eine leistungsfähige, flexible und offene Werkzeugpalette für Authoring und Simulation. Unterstützt werden die schnelle Modellierung, Definition, Simulation und Implementierung integrierter Systeme in elektronische Steuergeräte beim Automobilbau.
Testwell CTC++ der führende Code-Coverage-Analyzer für On-Target-Test-Coverage. Neben der Anbindung an den AUTOSAR Builder bestehen unter anderem weitere Anbindungen von Testwell CTC++ an dSPACE SystemDesk®, dSPACE TargetLink®, PikeTec Time Partition Testing (TPT) und QTronic TestWeaver. >weitere Informationen

Verifysoft und Pertech vereinbaren Distribution für Testwell-Tools in Israel

(Raanana / Israel, Offenburg / Deutschland, 8. August 2013)

Pertech Embedded Solutions und Verifysoft Technology haben eine Vereinbarung über die Distribution von Testwell-Tools in Israel getroffen. Pertech liefert innovative embedded Software, Dienstleistungen und Schulungen für real-time Softwareentwicklungsprojekte. Sitz der Firma ist Raanana bei Tel Aviv. Zu den Pertech-Kunden zählen Firmen aus den Bereichen Telekommunikation, Luftfahrt, Verteidigung, Medizintechnik, Internet, Multimedia und Automotive. > Distributoren

Lexington Soft vertritt Verifysoft im indischen Markt

(Chennai / Indien, Offenburg / Deutschland, 1. August 2013)

Lexington Soft Private Limited wird zukünftig in Indien für den Vertrieb und Support der Testwell-Tools sorgen. Lexington Soft liefert End-to-End-Enterprise-Lösungen für Entwicklung, Test und Qualität von Software. In Indien ist die Firma mit Niederlassungen in Chennai und Bangalore vertreten. > Distributoren

ArchitectGroup (Seoul) wird Distributor für Testwell-Tools in Korea

(Seoul/Korea, Offenburg/Deutschland, 3. Juli 2013)

Die ArchitectGroup aus Seoul ist seit Anfang Juli 2013 Distributor für die Testwell-Tools in Südkorea. Die Firma ist ein führender Anbieter von Tools und Dienstleistungen rund um die Softwarqualität. Zu den Kunden zählen Firmen wie Samsung, Daewoo und LG.
Bereits kurz nach Vertragsunterzeichnung konnte die ArchitectGroup den ersten Auftrag vermelden: ein wichtiger koreanischer Medizintechnikhersteller nutzt zukünftig Testwell CTC++ um höchste Softwarequalität zu garantieren. > Distributoren

Verifysoft übernimmt die Software-Testtools des finnischen Herstellers Testwell

(Offenburg/Deutschland, Tampere/Finnland, 1. Juli 2013)

Die Verifysoft Technology GmbH aus Offenburg hat die Eigentumsrechte an den Softwaretest- und -analysewerkzeugen Testwell CTC++, CMT++/CMTJava und CTA++ sowie von Tools für die Programmiersprache ADA vom finnischen Testtoolhersteller Testwell Oy erworben.
Verifysoft hatte bereits seit 2003 als Distributor für die erfolgreiche Vermarktung der Testwell-Werkzeuge in den deutschsprachigen Ländern, Frankreich und den Benelux-Staaten gesorgt.
Nach der Übernahme durch Verifysoft soll der Absatz der Tools, die auch zukünftig unter dem Markennamen "Testwell" erhältlich sein werden, über ein weltweites Distributorennetz weiter gesteigert werden. Wichtige europäische Märkte werden wie bisher direkt von Verifysoft betreut. Die Firma Testwell, die am Standort Tampere (Finnland) als eigenständige Firma bestehen bleibt, wird im Auftrag von Verifysoft maßgeblich an der Weiterentwicklung der Technologien beteiligt sein und für die Betreuung wichtiger finnischer Großkunden sorgen.   > weitere Infos

Testwell CTC++ zeigt Code-Abdeckung für dSPACE SystemDesk® und dSPACE TargetLink®

(Paderborn, Offenburg, 10. Januar 2013)

Testwell CTC++ zeigt die Code-Abdeckung bei der PC-basierten Simulation virtueller Steuergeräte, die mit SystemDesk® generiert werden. SystemDesk ist ein Produkt der Firma dSPACE, das die Entwicklung komplexer Steuergeräte-Software, basierend auf AUTOSAR, unterstützt.
Und auch bei der SIL- bzw. PIL-Simulation von dSPACE TargetLink®-Modellen kann Testwell CTC++ zur Überprüfung der Code-Abdeckung genutzt werden.

Testwell CTC++ unterstützt Time Partition Testing (TPT) von PikeTec

(Berlin, Offenburg, 11. September 2012)

Testwell CTC++ zeigt ab sofort die Testabdeckung für Time Partition Testing (TPT) von der Firma PikeTec an. TPT ist ein Test- und Verifikationswerkzeug für den funktionalen Test von Software aus dem Bereich eingebetteter Steuerungs- und Regelungssysteme. Das Werkzeug wird genutzt um basierend auf Anforderungen Testfälle zu erstellen. Für eine Bewertung, ob ausreichend getestet wurde und ob genügend Testfälle erstellt und ausgeführt wurden, werden verschiedene Kriterien herangezogen. Wichtige Testendekriterien sind strukturelle Überdeckungsmaße, die insbesondere im sicherheitskritischen Bereich der Normen ISO 26262, DO-178C und IEC 61508 eine wichtige Rolle spielen. TPT von PikeTec integriert jetzt die Funktionalitäten von Testwell CTC++ für die Analyse der Testüberdeckung beim Test von C-Code. Sind noch nicht genügend Tests für eine ausreichende Testabdeckung vorhanden, können nach Analyse der Ergebnisse mit Testwell CTC++ weitere Tests in TPT modelliert werden, um die Überdeckung zu erhöhen.

Artikel in MSCoder: Komplexität und Qualität von Software

Die Softwarequalität und die Wartbarkeit von Applikationen hängt von der Codekomplexität ab. Ein mehrseitiger Artikel in der Ausgabe 01/2007 von MSCoder erklärt am Beispiel von Testwell CMT++ wie man die Komplexität von Quellcode bestimmt und welchen Einfluss diese auf die Wartbarkeit von Programmen hat.
Artikel aus MSCoder (Ausgabe 01/2007) (pdf, 738 KB)

Verifysoft Technology startet Aktivitäten in Europa

(18 Juni 2003)

Verifysoft Technology ist im Juni 2003 durch eine Gruppe von Investoren und Softwaretestspezialisten gegründet worden. Ziel der Gesellschaft ist die Lieferung und der Support von Softwaretest-und Entwicklungswerkzeugen, die die Produktivität in der Softwareentwicklung erhöhen. Sitz der Firma Verifysoft ist der Technologiepark in Offenburg (Baden-Württemberg). Verifysoft betreut die deutschsprachigen Märkte, Frankreich, die Benelux-Staaten und Osteuropa. Um ihren Kunden stabile und hochqualitative Testtools anbieten zu können, unterstützt und vertreibt Verifysoft die Technologien der Firma Testwell Oy aus Tampere/Finnland und der Firma Precilog aus Versailles/Frankreich.>weitere Informationen