CodeSonar 8.1 führt statische Code-Analysen für zehn unterschiedliche Programmiersprachen durch

CodeSonar von CodeSecure steht jetzt in der Version 8.1 zur Verfügung. Zu den Neuerungen gehören eine aktualisierte Benutzeroberfläche und eine bessere Abdeckung der Coding-Standards.
Außerdem unterstützt das Werkzeug, mit dem sich statische Code-Analysen durchführen lassen, jetzt sechs zusätzliche Programmiersprachen. Die Vorgängerversion ließ sich bereits mit Java, C#, C++ und C nutzen, jetzt kommen Rust, Kotlin, JavaScript, TypeScript, Go und Python hinzu.
Im deutschsprachigen Raum erfolgt der Vertrieb des Tools genauso wie der Support dafür durch die Verifysoft Technology GmbH.
Sysbus, 23. Mai 2024.

Statische Codanalyse optimiert

CodeSecure präsentiert die neue Version 8 von CodeSonar. Das statische Codeanalysetool bietet eine weiter optimierte Abdeckung von Coding-Standards. Version 8 umfasst zudem neue Integrationsmöglichkeiten für Lösungen von Drittanbietern, ein vereinfachtes Single-Sign-on sowie zusätzliche Verbesserungen.
Zu den Neuerungen in CodeSonar 8 zählt auch das Open-Source-Review-System Gerrit für das Versionskontrollsystem Git. CodeSonar 8 bietet darüber hinaus bereits 50 Prozent Coverage für die Codierrichtlinien des neuen MISRA C 2023 Standards. 100 Prozent Coverage werden mit dem kommenden Release erreicht werden.
Unterstützt wird außerdem SANS 25 2023, die Liste der gefährlichsten Software- bzw. Programmierfehler. ...
Mehr erfahren: Hanser Automotive, April 2024.

Code-Testing für Medizingeräte: Software über die IEC 62304 hinaus prüfen

Die Bedeutung von Medizin-Software in Diagnostik und Therapie steigt stetig, birgt jedoch auch neue Risiken wie Fehlfunktionen oder Cyberattacken. Mittels Testing können MedTech-Hersteller die Software-Gefahren minimieren und Qualitäts-Medizinprodukte MDR- und FDA-konform sowie günstig entwickeln...
... Um beste Qualität zu gewährleisten, kommen in der Softwareentwicklung idealerweise zwei unterschiedliche Verfahren zum Einsatz: die statische Codeanalyse und das Testen zur Laufzeit, auch dynamische Analyse genannt. Da beide Methoden verfahrensbedingt jeweils nur einen Teil der vorhandenen Probleme aufdecken, müssen sie komplementär eingesetzt werden. Erst wenn sie gemeinsam genutzt werden, kann die Qualität der Software entscheidend gesteigert werden.
Durch richtige Planung und den Einsatz ausgereifter Test- und Analysewerkzeuge können nicht nur die geforderten Funktionalitäten korrekt umgesetzt werden, sondern auch viele typische Probleme vermieden werden. Dazu zählen etwa verzögerte Auslieferungen, ein hoher Zeit- und Kostenaufwand für Fehlerkorrekturen sowie die damit verbundenen Budgetüberschreitungen.
Elektronik medical, April 2024

Verifysoft – Softwarecode ohne Fehler

Verifysoft stellt auf der embedded world in Halle 4, Stand 423, seine Softwaretest- und Analysetools aus, welche die Softwareentwicklung im Medizinbereich sicherer gestalten und für Dokumentation, Testing und Zertifizierung keine Fragen offenlassen.
So überprüft das Code-Analysetool CodeSecure, ohne dass das Schreiben von Testfällen erforderlich ist, Software auf Programmierrichtlinien und deckt automatisch Fehler im Code auf.
Bei Nutzung von Fremdsoftware zeigt das Werkzeug CodeSentry mögliche Sicherheitslücken an. Imagix 4D unterstützt Projektmanager und Entwickler dabei, Code zu verstehen, zu dokumentieren und zu verbessern. Das Werkzeug automatisiert die Analyse von Kontrollfluss und Abhängigkeiten. Es deckt Probleme bei der Datennutzung und der Interaktion von Tasks auf. Der Code Coverage Analyser Testwell CTC++ zeigt die Vollständigkeit der Softwaretests an....
Elektroniknet.de, April 2024.

Performance und Bugs im Griff: Neue Tools zur Softwareanalyse

Die neue Version des Code Coverage Analysers Testwell CTC++ bietet jetzt die Möglichkeit, für nicht erreichbare Codeteile "Justifications" zu hinterlegen, die in den Coverage-Reports berücksichtigt werden. Das Tool unterstützt alle Compiler, alle embedded Targets und ist für den Einsatz in sicherheitskritischen Projekten zertifiziert.
Mit Codee wird ein neues statisches Analysetool angeboten, das Software auf Performanceprobleme hin untersucht.
CodeSonar deckt automatisch Bugs auf und überprüft Programmierrichtlinien.
Imagix 4D unterstützt Projektmanager und Entwickler dabei, Code von Drittanbietern und Legacy-Code zu verstehen, zu dokumentieren und zu verbessern. Das Werkzeug automatisiert die Analyse von Kontrollfluss und Abhängigkeiten. Es deckt Probleme bei der Datennutzung und der Interaktion von Tasks auf.
Elektronik, 19. März 2024

CodeSonar 8 unterstützt neue Coding-Standards

Static Code Analysis weiter optimiert
Der Hersteller für statische Code-Analyse CodeSecure hat das Scanning-Tool CodeSonar 8 vorgestellt. Mit einer optimierten statischen Codeanalyse und einer verbesserten Abdeckung wichtiger Coding-Standards wirbt der deutsche Vertriebspartner, die Verifysoft Technology GmbH, für die neue Version.
CodeSonar bietet in Version 8 eine Abdeckung von 50 Prozent für die Coding-Richtlinien des jüngsten „MISRA-C 2023“-Standards. Das kommende Release soll dann eine 100-prozentige Abdeckung erreichen.
Dev Insider, 01. März 2024.

CodeSonar 8: Statische Codeanalyse weiter optimiert

CodeSecure präsentiert die neue Version 8 der Lösung CodeSonar. Das statische Codeanalysetool bietet eine weiter optimierte Abdeckung von Coding-Standards.
Vertrieb und Support von CodeSonar erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH.
Version 8 umfasst zudem neue Integrationsmöglichkeiten für Lösungen von Drittanbietern, eine vereinfachte Nutzung von Single Sign-on sowie zusätzliche Verbesserungen.
Hanser Automotive, 22. Februar 2024.

»Codee« ab sofort in DACH-Region verfügbar

Verifysoft Technology hat eine Vertriebsvereinbarung mit Appentra Solutions für das Produkt »Codee« unterzeichnet. Verifysoft Technology vertreibt Codee ab sofort in der DACH-Region. Erstmals steht das Tool damit auch Unternehmen und Entwicklern im deutschsprachigen Raum zur Verfügung.
Codee ist eine Software-Entwicklungsplattform, die auf die automatische Code-Prüfung ausgelegt ist und es ermöglicht, die Performance von Anwendungen auf Basis von C, C++ und Fortran zu optimieren. Durch einen systematischen, transparenten Ansatz sind Entwickler mit Codee in der Lage, die Performance und Effizienz ihres Quellcodes zu verbessern.
Elektroniknet.de, 22. Dezember 2023.

Mit Sicherheit weltweit unterwegs

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.
Ein Firmenschild, ein Briefkasten am Eingang des Technologieparks Offenburg, zweiter Stock: Das Unternehmen Verifysoft Technology braucht keinen großen Auftritt, um auf dem Weltmarkt zu beeindrucken. Es bietet ein Produkt, das im Alltag nicht mehr wegzudenken ist: ein Testtool, das die letzten Sicherheitslücken von Software jeder Art aufzuspüren vermag – sei es in einem Kaffeeautomaten, in einem Röntgengerät oder in einer Passagiermaschine ...
Mittelbadische Presse / Offenburger Tageblatt / Kehler Zeitung, 8. November 2023.

Verifysoft Technology - Global Player aus Offenburg: Mit Sicherheit weltweit unterwegs

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.
Ein Firmenschild, ein Briefkasten am Eingang des Technologieparks Offenburg, zweiter Stock: Das Unternehmen Verifysoft Technology braucht keinen großen Auftritt, um auf dem Weltmarkt zu beeindrucken...
baden online, 8. November 2023.

"Software ist vorwiegend Dienstleistung"

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.
Es braucht keine glänzenden Firmenschilder, um ein Global Player zu sein. Verifysoft Technology ist es mit einigen klugen Köpfen und einem Produkt, das marktrelevant ist. Geschäftsführer Klaus Lambertz und Julia Drengwitz, Sales Managerin im deutschsprachigen Raum, schildern, was das Unternehmen ausmacht. ...
baden online, 8. November 2023.

Test-Spezialist Verifysoft feiert Jubiläum

20 Jahre sichere MedTech-Software
Verifysoft Technology, Spezialist für Softwaretests und CodeCoverage, feiert sein 20. Jubiläum. Das inhabergeführte Unternehmen aus Offenburg zählt viele Medizintechnik-Firmen zu seinen Kunden und hilft bei der normenkonformen Dokumentation und Zertifizerung. Gründer und Geschäftsführer Klaus Lambertz betont im Rahmen des 20-jährigen Jubiläums, dass die Bedeutung sicherer Software mit Blick auf kritische Anwendungen wie beispielsweise in der Medizintechnik in den vergangenen Jahren noch weiter zugenommen hat. ...
Verifysoft startete im Gründungsjahr 2003 zunächst als Distributor für den finnischen Hersteller Testwell und hat sich bis heute zu einem der führenden Anbieter für Tools, Dienstleistungen und Schulungen in den Bereichen Softwaretests und Code Coverage im Embedded-Bereich entwickelt. Über 750 Kunden in 43 Ländern nutzen Lösungen des Offenburger Unternehmens, um ihre Software sicher zu machen.
Lesen Sie hier den gesamten Artikel.
Elektroniknet.de, 26. Oktober 2023

Tool für sicherheitskritische Softwareentwicklungsprojekte zertifiziert

Verifysoft Technology, Spezialist für Lösungen zur Steigerung der Softwarequalität und für die Messung der Testabdeckung, gibt die TÜV-Zertifizierung des Code Coverage Analyzers Testwell CTC++ bekannt. Das Tool ist vom Testing Laboratory for Safety Components der TÜV SÜD Rail GmbH für die Nutzung in sicherheitskritischen Softwareentwicklungsprojekten zertifiziert worden.
Testwell CTC++ kann somit für die Messung der Testabdeckung in Projekten gemäß Normen wie IEC 61508 (elektrische, elektronische und programmierbare elektronische Systeme), ISO 26262 (Automotive), EN 50128 (Eisenbahn) und IEC 62304 (Medizinprodukte) ohne zusätzliche Qualifizierung eingesetzt werden.
Den vollständigen Artikel finden Sie hier.
Fachzeitschrift PC & Industrie Ausgabe 11/2023

20 Jahre Verifysoft Technology

Vom Kleinstunternehmen bis zum Global Player ...
Spitzentechnologie "made in Offenburg" ...
Weg ohne Investoren gemacht ...
Den Menschen im Blick
baden online, 30. September 2023.

Software aus Offenburg sorgt weltweit für Sicherheit

Die perfekte Tasse Kaffee, jedes deutsche Auto und der Mars-Rover haben etwas gemeinsam: Ihre Softwareprogramme wurden mit Programmen von Verifysoft geprüft. Das Offenburger Unternehmen bietet Tools für den Test von Software an - also Software, die Software testet. "Wir befinden uns in einem riesigen Wachstumsmarkt", sagen die beiden Firmengründer. Seit sie 2003 vor 20 Jahren ihre Firma gründeten, kommt Software nicht nur in Fahrzeugen, Flugzeugen oder Medizingeräten vor, sondern immer mehr im Alltag. ... Hier leistet Verifysoft einen entscheidenden Beitrag zur Qualitätssicherung. „Mehr als 80 der 100 Top-Technologiefirmen auf der Welt sind Kunde bei Verifysoft ...
Mittelbadische Presse / Offenburger Tageblatt / Kehler Zeitung, 30. September 2023.

Zeitungsartikel: 20-jähriges Bestehen von Verifysoft

Ihr 20-jähriges Bestehen feiert die Offenburger Verifysoft Technology GmbH. Das Unternehmen bietet Software für den Test von Computerprogrammen an. Die Testwerkzeuge, die derzeit bei mehr als 750 Kunden in 43 Ländern im Einsatz sind, sollen eine möglichst fehlerfreie Entwicklung von Software ohne Sicherheitslücken ermöglichen. Die Technologien von Verifysoft finden sich überwiegend in den Bereichen Luftfahrt, Automotive, Eisenbahn, und Medizintechnik, sie werden aber auch für die Entwicklung von Geräten wie Handys, Küchengeräte und Smartwatches genutzt.
Wirtschaft im Südwesten.
Ausgabe September 2023

Absicherung der Softwarelieferkette

Wie SBOMs dazu beitragen, Cyber-Security-Risiken zu vermindern
Der Druck, Anwendungen schnell und effizient bereitzustellen, führt zu einem verstärkten Einsatz von Drittanbieter-Code und Open-Source-Bibliotheken. Software-Stücklisten helfen dabei, den Überblick zu behalten – und dürften künftig sogar Pflicht werden. ...
Um Sicherheitseinbußen zu vermeiden, verlassen sich Unternehmen deshalb zunehmend auf Technologien, die Softwarestücklisten generieren. ...
Werkzeuge wie CodeSentry von GrammaTech erstellen Softwarestücklisten durch Quellcode- bzw. Binäranalyse. ...

Lesen Sie hier den vollständigen Artikel. (August 2023)

Code Coverage Analysis: Jetzt mit neuem Reporting

Verifysoft bietet mit der Version 10 des Code-Coverage-Tools Testwell CTC++ ein komplett überarbeitetes HTML-Reporting mit aussagekräftigen Informationen zur Testabdeckung von sicherheitskritischem Softwarecode an.Testwell CTC++ analysiert den Umfang der Softwaretests für alle von den Sicherheitsnormen geforderten Code-Coverage-Stufen wie z.B. der Modified Condition/Decision-Coverage (MC/DC) und darüber hinaus sogar für Multicondition-Coverage. Das Tool kann für alle Embedded-Targets und Mikrocontroller und mit allen Compilers und Cross-Compilern eingesetzt werden.
Dank der Kommandozeilenstruktur lässt sich Testwell CTC++ einfach in verschiedene Workflows integrieren (manuelles und automatisches Testen, Continious Integration, Nightly Builds etc.). Die neuen HTML-Ausgbabengeben dem Nutzer einen schnellen Überblick über die erreichte Testabdeckung und zeigen direkt im Quellcode an, welche Tests für eine vollständige Test-Coverage noch ergänzt werden müssen. (nw)
Verifysoft Technology; Halle 4, Stand 423
Markt & Technik März 2023

MedicalDesign powered by elektroniknet.de

Med-Tech-Highlights der #ew23

»Beim Schreiben von Software passieren Fehler,« stellt Verifysoft-Geschäftsführer Klaus Lambertz fest. In Medizingeräten können Schwachstellen in der Software jedoch schwere Folgen haben, daher ist die SW-Prüfung nach IEC 62304 auch Teil der Zertifizierung. ...
In der neuen Version ist die Benutzeroberfläche des Tools mit individuellen Reports konfigurierbar. ...
Den vollständigen Artikel finden Sie hier
MedicalDesign, 28. März 2023

Interview mit Verifysoft Technology

Verifysoft unterstützt Softwareentwicklungsunternehmen mit Tools, die eine hohe Qualität in der Softwareentwicklung sicherstellen. Ihre Test- und Analysetools decken Fehler in Computerprogrammen auf und geben einen Überblick darüber, ob die Software ausreichend getestet wurde.
Seit der Gründung im Jahr 2003 kann Verifysoft auf ein stetiges Wachstum zurückblicken. Die Tools werden von mehr als 700 Unternehmen auf allen Kontinenten eingesetzt, um die Qualität ihrer Software zu verbessern.
Lesen Sie hier das vollständige Interview mit Verifysoft-Geschäftsführer Klaus Lambertz: Easy Engineering März 2023

Optimierte HTML-Berichte erleichtern den Überblick über die Testabdeckung

Verifysoft Technology veröffentlicht Version 10 des Code Coverage Analysers Testwell CTC++
Verifysoft Technology präsentiert mit der Version 10 des Code Coverage Analysers Testwell CTC++ ein Major-Release mit komplett überarbeiteten HTML-Reports. ... Weiter optimiert wurde in Testwell CTC++ 10 auch die Erzeugung der Berichte, die jetzt einfacher und performanter erfolgt. ... Eine weitere Neuerung bretrifft die Integration von Programmierwerkzeugen beziehungsweise Build-Management-Tools. ... Hier den gesamten Artikel lesen (pdf) PC & Industrie, März 2013

Verifysoft Technology veröffentlicht Version 10 des Code Coverage Analysers Testwell CTC++

Optimierte HTML-Berichte erleichtern den Überblick über die Testabdeckung
Verifysoft Technology präsentiert mit der Version 10 des Code Coverage Analysers Testwell CTC++ ein Major Release mit komplett überarbeiteten HTML-Reports. Die neuen HTML-Berichte in moderner Gestaltung erleichtern Nutzern die Navigation und sorgen durch einen kompakten Aufbau für einen schnellen Überblick. Fehlende Coverage ist dadurch noch klarer und besser nachvollziehbar. Gleichzeitig lassen sich die Berichte durch individuell konfigurierbare Layouts an unterschiedlich strukturierte Projekte anpassen. Dabei können etwa die Detailstufen je nach Bedarf festgelegt werden. ...
Eine weitere Neuerung betrifft die Integration von Programmierwerkzeugen beziehungsweise Build-Management-Tools. Neben dem bereits seit 2020 verfügbaren ctclaunch für Windows führt Verifysoft Technology in Testwell CTC++ 10 jetzt ctclaunch für Linux ein. Dadurch ist eine direkte Integration mit zahlreichen Build-Systemen wie zum Beispiel Make oder CMake möglich. ...

Lesen Sie hier den vollständigen Artikel. (Januar 2023)

Sicherheitslücken in der Softwareentwicklung erkennen

Neue Version der Binärcode-Analyseplattform von GrammaTech identifiziert Risiken im Code von Drittanbietern auch ohne Zugriff auf den Quellcode
GrammaTech, ein Anbieter von Lösungen für die Analyse und das Testen der Softwaresicherheit, hat die neue Version 4.1 seiner Plattform CodeSentry vorgestellt. Als Binärcode-Analysetool erhöht CodeSentry die Sicherheit innerhalb der Software-Lieferkette und ermöglicht es Unternehmen, Sicherheitsschwachstellen im Code von Drittanbietern zu erkennen. CodeSentry setzt dabei auf die Analyse der Softwarezusammensetzung (Binary Software Composition Analysis / BSCA). Dadurch lassen sich bekannte Bedrohungen (CVE) sowie Schwachstellen (Common Weakness Enumeration / CWE) in extern entwickelten Softwarekomponenten auch ohne Zugriff auf den Quellcode identifizieren.
In der neuen Version 4.1 können mehr als 4.700 neue Sicherheitslücken von CodeSentry gemeldet werden. ...

Lesen Sie hier den vollständigen Artikel. (November 2022)

CodeSentry zur Identifizierung von Sicherheitslücken in Code von Drittanbietern

Tool zur Analyse der Softwarezusammensetzung erkennt Sicherheitslücken in Anwendungskomponenten und Binärdateien und erstellt eine detaillierte "Software-Stückliste"
GrammaTech, ein Anbieter von Software-Analyse-Werkzeugen, präsentiert seine neue Lösung CodeSentry. CodeSentry führt eine Analyse der Softwarezusammensetzung (Software Composition Analysis / SCA) durch und inventarisiert Code von Drittanbietern, um darin enthaltene Schwachstellen zu erkennen. CodeSentry identifiziert auf diese Weise mögliche Problemstellen und ermöglicht es Sicherheitsexperten, Risiken während des gesamten Software-Lebenszyklus schnell und einfach abzuschätzen und zu verwalten.

Lesen Sie hier den vollständigen Artikel.

Qualität von Software ist kein Zufall - Gute Software-Qualität kann nur im Zusammenspiel von statischer Analyse und dynamischen Tests erreicht werden.

Gute Software erfüllt die erwartete Funktionalität, ist sicher, zuverlässig und gut wartbar. Es ist wichtig, dass Software möglichst keine Fehler hat, damit sowohl die Funktionale Sicherheit (engl. Safety), als auch die Angriffssicherheit (engl. Security) sichergestellt ist. Hierzu kommen während der Softwareentwicklung idealerweise zwei unterschiedliche Verfahren zum Einsatz, die komplementär sind: die statische Code-Analyse und das Testen zur Laufzeit, auch dynamische Analyse genannt. Beide Methoden decken verfahrensbedingt nur einen Teil der vorhandenen Probleme auf. Erst wenn sie gemeinsam genutzt werden, kann die Qualität der Software entscheidend gesteigert werden. Hier den gesamten Artikel lesen (pdf).
PC & Industrie, November 2022

Statische Codeanalyse: "Shift left" wird mit CodeSonar-Update einfacher

Mit neuen Funktionen in seinem Tool CodeSonar 7.1 für die statische Codeanalyse vereinfacht GrammaTech die Realisierung des Shift-Left-Ansatzes. Das Entwickeln von sicherer Software soll damit einfacher werden.
Für sein Codeanalyse-Tool CodeSonar für statische Sicherheitstests (Static Application Security Testing / SAST) hat GrammaTech die neue Version 7.1 veröffentlicht. Vertrieb und Support der GrammaTech-Produkte im deutschsprachigen Raum erfolgt durch Verifysoft Technology. CodeSonar ermöglicht es Entwicklern, sichereren Code zu schreiben, ohne dass die gewohnten Arbeitsabläufe geändert werden müssen. Die statische Codeanalyse kann bereits sehr früh im Entwicklungsprozess eingesetzt werden und trägt somit dazu bei, Kosten bei der Softwareentwicklung einzusparen.
Hier den gesamten Artikel lesen.
Elektroniknet.de, 7. Oktober 2022

Verifysoft: Code Coverage für viele Betriebssysteme

Verifysoft legt seinen Schwerpunkt auf Test- und Analysesoftware für die Entwicklung von sicherheitskritischer Embedded-Software, für die Zertifizierungen nach Normen und Standards erforderlich sind. Testwell CTC++, das Software-Testing Produkt von Verifysoft, deckt Windows, Linux und macOS für x86_64- und arm64-(M1)-Architekturen ab und eignet sich für alle embedded Targets und Microcontroller, mit allen Compilern und Cross-Compilern. ...
Die Software-Firma zeigt auch das Tool Imagix 4D, welches durch Visualisierung aller Softwarebestandteile und deren Abhängigkeiten ein schnelles Verständnis für unbekannte oder alte Software bietet. Metriken und Softwarechecks verbessern die Qualität und Dokumentenerstellung.
Den vollständigen Artikel finden Sie hier
MedicalDesign, 09. Juni 2022

Messung der Testabdeckung: Testwell CTC++ 9.1.4 verfügbar

Verifysoft Technology (www.verifysoft.com), Anbieter von Lösungen zur Steigerung der Softwarequalität, hat die neue Version 9.1.4 des Code-Coverage-Tools Testwell CTC++ veröffentlicht. Neben Windows und Linux wird nun auch das Betriebssystem macOS unterstützt.
Testwell CTC++ kann für die Messung der Testabdeckung bei Softwarecode auf dem Host sowie auf grundsätzlich allen Embedded Targets genutzt werden. Das Werkzeug wird weltweit von über 700 Kunden in 41 Ländern in verschiedensten sicherheitskritischen Branchen und Projekten zum Nachweis der Code Coverage eingesetzt.
Den vollständigen Artikel finden Sie hier
ctrl-tec, 11. April 2022

Messung der Testabdeckung: Testwell CTC++ läuft jetzt auch auf macOS

Neben Windows und Linux untersützt Verifysoft Technology mit der neuen Version 9.1.4 seines Code-Coverage-Tools Testwell CTC++ nun auch das Betriebssystem macOS von Apple. Die neue Version Testwell CTC++ 9.1.4 kann auf macOS Big Sur und Monterey, auf Intel- (x86-64) und Apple-M1-Prozessoren (ARM64) laufen. Damit erweitert Verifysoft Technology die möglichen Einsatzszenarien und bietet Entwicklern mehr Flexibilität bei der Wahl ihrer Plattform.
Den vollständigen Artikel finden Sie hier.
Elektroniknet.de, 8. April 2022

Testwell CTC++ 9.1.3: Testabdeckung auch auf Embedded Targets messen

Verifysoft hat Version 9.1.3 des Code-Coverage-Tools Testwell CTC++ veröffentlicht, das für die Messung der Testabdeckung auf dem Host sowie auf Embedded Targets genutzt werden kann und nun auch mehr Kontrolle über die Benennung der Dateien mit Coverage-Daten bietet. ...
Weitere Neuerungen in Testwell CTC++ beinhalten eine einfachere Installation, Konfiguration und Handhabung der Kompatibilitätsschicht Cygwin unter Windows sowie zusätzliche Detailverbesserungen.

Elektronik Praxis , 13. Juni 2022

Code-Coverage-Tool: Verifysoft Technology veröffentlicht Testwell CTC++ 9.1.3

Verifysoft Technology hat Version 9.1.3 des Code-Coverage-Tools Testwell CTC++ veröffentlicht. Testwell CTC++ kann für die Messung der Testabdeckung auf dem Host sowie auf Embedded Targets genutzt werden und bietet im neuesten Release unter anderem mehr Kontrolle über die Benennung der Dateien mit Coverage-Daten.

Lesen Sie hier den vollständigen Artikel.

embedded-software-engineering, 14. Januar 2022

Code-Coverage-Tool: Neue Version mit besserer Linux-Unterstützung

Die neue Version 9.1.3 des Code-Coverage-Tools Testwell CTC++ von Verifysoft Technology bietet mehr Kontrollmöglichkeiten. Sie ermöglicht jetzt auch eine Standard-Installation unter Linux. Durch die Möglichkeit jetzt individuelle Dateinamen zu nutzen, ist es deutlich einfacher, verschiedene Testdurchgänge zu unterschieden, die mit der gleichen ausführbaren Datei durchgeführt wurden.
Den vollständigen Artikel finden Sie hier.
Elektroniknet.de, 13. Januar 2022

Statische Codeanalyse und dynamische Tests - Gemeinsam zum Erfolg

Softwareentwicklern stehen zwei Techniken zum Testen von Software zur Verfügung: dynamische Tests und die statische Codeanalyse. Erst wenn beide Methoden kombiniert werden, lassen sich Fehler in der Software weitgehend ausschließen.
Statische Codeanalyse und dynamische Tests kombiniert mit der Messung der Code-Coverage müssen komplementär eingesetzt werden, um möglichst viele Fehler ausschließen zu können. Die statische Codeanalyse kann dabei bereits früh im Entwicklungsprozess eingesetzt werden und somit hohe Kosten einsparen. Richtig eingesetzt, bieten Tools zur statischen und dynamischen Codeanalyse erhebliches Potenzial zur Kosteneinsparung und zur Steigerung der Produktivität.
Den vollständigen Artikel von Royd Lüdtke finden Sie hier.
Elektroniknet.de, 6. Dezember 2021

Studie: Kommerzielle Softwareanwendungen haben oft kritische Sicherheitsschwachstellen

GrammaTech, ein Anbieter von Tools zur Absicherung der Software-Anwendungssicherheit, hat die Ergebnisse einer gemeinsam mit Osterman Research durchgeführten Studie zum Stand der Sicherheit in Software-Lieferketten veröffentlicht. Der Bericht ergab, dass 100 % der getesteten kommerziellen Standardanwendungen (commercial off-the-shelf/COTS) Open-Source-Komponenten mit Sicherheitsschwachstellen enthielten. 85 % davon waren kritisch. Einige der wichtigsten Ergebnisse waren: Lösungen für Online-Meetings und E-Mail am anfälligsten, Open-Source-Komponenten sind weit verbreitet, Komponenten mit kritischen Sicherheitslücken werden häufig verwendet, Neuere Versionen der Komponenten sind nicht zwangsläufig sicherer und Komponenten mit den höchsten Risiken. Im Rahmen der Analyse setzte GrammaTech seine Lösung CodeSentry ein, um das Vorhandensein von Open-Source-Komponenten in den Binärpaketen der am häufigsten verwendeten Softwareanwendungen zu ermitteln. Die Ausgabeberichte für jede Anwendung wurden Osterman Research im PDF-Format zur Verfügung gestellt. Der komplette Report kann über folgenden Link bei GrammaTech angefordert werden.

Lesen Sie hier den vollständigen Artikel.

Im Spannungsfeld von DevOps und Continuous Development: Wege zum agilen Testmanagement

1. Teil: Wege zum agilen Testmanagement, 2. Teil: Schneller testen, 3. Teil: Früher testen, 4. Teil: Breiter testen, 5. Teil: Schlauer testen

Software-Testing ist essenziell, um die Qualität und Sicherheit von Applikationen zu optimieren. Ob man dabei einem eher risikobasierten Ansatz folgt, wie Roman Zednik von Tricentis empfiehlt, oder auf möglichst breites Testen durch Fuzzing-Methoden und KI setzt, hängt im Wesentlichen von der eigenen Risikobereitschaft ab, aber auch von den Folgen, die Software-Fehler nach sich ziehen können. Im Automobilsektor oder dem medizinischen Bereich wird man daher andere Maßstäbe anlegen als bei der Entwicklung einer Spiele-App.Vor allem aber müssen Unternehmen die Vorstellung überwinden, Software-Testing sei in erster Linie ein Kostenfaktor und bremse die Entwicklung aus. „Software-Tests tragen – wenn sie richtig eingesetzt werden – nicht nur zur Qualitätssteigerung, sondern ganz erheblich auch zur Kostensenkung bei“, sagt Verifysoft-Geschäftsführer Klaus Lambertz. Lesen Sie den vollständigen Artikel hier.
com-professional Magazin, 27. Oktober 2021

Entwicklung sicherer Software: 10 Kriterien zur Auswahl eines Code-Coverage-Tools

Wer sichere Software entwickelt, muss beim Testen der Software die Testabdeckung messen. Entwicklern werden dafür viele Tools angeboten. Doch wie lässt sich das optimale Code-Coverage-Tool ermitteln? Um sichere und zuverlässige Software zu entwickeln, ist das Testen ein unverzichtbarer Bestandteil der Qualitätssicherung. Denn ohne ausreichende und dokumentierte Tests kann nicht festgestellt werden, ob eine Software sicher und funktional korrekt ist. Einen besonderen Stellenwert hat dabei die Messung der Testabdeckung (Code Coverage). Denn dadurch kann festgestellt werden, wie umfassend eine Software bereits getestet wurde. Die Experten von Verifysoft Technology, Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität, haben zehn Kriterien für die Auswahl eines Code-Coverage-Tools zusammengestellt.
Den vollständigen Artikel finden Sie hier

Die Testabdeckung messen: 10 Kriterien zur Auswahl eines Code-Coverage-Tools

... Zur Messung der Code Coverage sind am Markt unterschiedliche Code Coverage Analyser verfügbar. Die Lösungen unterscheiden sich im Handling und in der Qualität teils deutlich. Die Experten der Verifysoft Technology GmbH, Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität, haben zehn grundsätzliche Kriterien für die Auswahl eines Code-Coverage-Tools zusammengestellt. ...
Den vollständigen Artikel finden Sie hier
it daily.net, 20. August 2021

Codeanalyse: CodeSentry 2.0 bietet Risiko-Score für
Sicherheitsschwachstellen

GrammaTech, ein Anbieter von Werkzeugen zur statischen Codeanalyse und zum Aufdecken von Sicherheitsschwachstellen, hat die Verfügbarkeit von CodeSentry 2.0 bekannt gegeben. Das Tool zur statischen Codeanalyse erlaubt per Executive Dashboard auch die Risiko-Scores von Code aus Drittanbietersoftware zu überblicken.

Lesen Sie hier den vollständigen Artikel.

GrammaTech präsentiert neue Version des Tools CodeSentry zur Identifizierung von Sicherheitslücken in Third-Party-Code

CodeSentry 2.0 nutzt Binäranalyse, um eine Software Bill of Materials zu erstellen, Zero-Day- und N-Day-Sicherheitslücken aufzudecken und ermittelt einen Risiko-Score für Software-Applikationen von Drittanbietern.
GrammaTech, ein Anbieter von Software-Werkzeugen zur statischen Codeanalyse und zum Aufdecken von Sicherheitsschwachstellen, gibt die Verfügbarkeit der Version 2.0 von CodeSentry bekannt.

Lesen Sie hier den vollständigen Artikel.

Integration in DevOps-Workflows und CI/CD-Pipeline: Shift-Left-Testing mit CodeSonar 6.0 von GrammaTech

Das Static Application Security Testing, kurz SAST, soll sich mit CodeSonar 6.0 von GrammaTech besser in bestehende DevOps-Pipelines integrieren. Darüber hinaus bietet das neue Major Release laut Hersteller verschiedene Visualisierungs- und Analyseverbesserungen.
CodeSonar ist eine Lösung für statische Sicherheitstests, die Entwicklern das Schreiben von sicherem Code erlauben soll, ohne dass sie gewohnte Arbeitsabläufe ändern müssen. Die Version 6.0 der SAST-Lösung bietet laut GrammaTech einige Visualisierungs- und Analyseverbesserungen sowie zusätzliche Sprach- und Compiler-Unterstützung. ...
DevInsider 28.04.2021

GrammaTech CodeSonar 6.0 mit tieferer Integration von statischen Sicherheitests (SAST) in DevOps-Pipelines

GrammaTech CodeSonar 6.0 mit tieferer Integration von statischen Sicherheitstests (SAST) in DevOps-Pipelines
Neue Funktionen des statischen Codeanalysetools machen „Shift-Left-Test“ und die Entwicklung von sicherer Software einfacher
ctrl-tec, 23. April 2021

Statische Sicherheitstests: Neue Funktionen vereinfachen "Shift-Left-Tests"

Mit der neuen Version 6.0 von CodeSonar lassen sich statische Sicherheitstests (SAST) in DevOps-Pipelines tiefer integrieren. Das Tool ermöglicht es Software-Entwicklern, sichereren Code zu schreiben, ohne dabei gewohnte Arbeitsabläufe ändern zu müssen. Elektroniknet.de, 22. April 2021

Sicherheitslücken in Code von Drittanbietern erkennen

Die Codeanalyse-Lösung CodeSentry von GrammaTech prüft Softwarezusammensetzung (Software Composition Analysis / SCA) durch und inventarisiert Code von Drittanbietern, um darin enthaltene Schwachstellen zu erkennen. Das Tool identifiziert auf diese Weise mögliche Problemstellen und ermöglicht es Sicherheitsexperten, Risiken während des gesamten Software-Lebenszyklus schnell und einfach abzuschätzen und zu verwalten.

Lesen Sie hier den vollständigen Artikel.

Tool zur Identifizierung von Sicherheitslücken

GrammaTech, ein Anbieter von Software-Analyse-Werkzeugen, launcht CodeSentry. Das Tool führt eine Analyse der Softwarezusammensetzung (Software Composition Analysis / SCA) durch und inventarisiert Code von Drittanbietern, um darin enthaltene Schwachstellen zu erkennen.
Das Tool identifiziert auf diese Weise mögliche Problemstellen und ermöglicht es Sicherheitsexperten, Risiken während des gesamten Software-Lebenszyklus schnell und einfach abzuschätzen und zu verwalten.

Lesen Sie hier den vollständigen Artikel.

Softwarequalität ist kein Zufall

Bei der Softwarequalität stehen Funktionalität, Zuverlässigkeit und Wartbarkeit im Vordergrund. Funktionale Sicherheit und Zuverlässigkeit setzen allerdings voraus, dass eine Software möglichst keine Fehler hat. Dafür kommen im Entwicklungsprozess in der Regel zwei unterschiedliche Verfahren zum Einsatz: die statische Codeanalyse und das Testen zur Laufzeit. Verifysoft beschreibt, wie diese gemeinsam genutzt die Qualität der Systeme erheblich steigern können. ...
Den vollständigen Artikel finden Sie hier.

ATZ Elektronik 11/2020, November 2020, 15. Jahrgang, Seiten 40–43

Messung der Code-Abdeckung im Rahmen von Penetrationstests

Im Bereich der sicherheitskritischen Softwareentwicklung (Safety) ist die Messung der Codeabdeckung im Rahmen des Testens schon lange ein Standardinstrument. Sie wird in den gängigen Sicherheitsnormen gefordert. Ein neueres Einsatzgebiet für die Abdeckungsanalyse ist der Einsatz während der Durchführung von Penetrationstests.
embedded-software engineer, 28.10.2020

Mit statischer Code-Analyse zum Erfolg

IoT-Geräte geraten vermehrt in den Fokus von Cyber-Kriminellen.
Der klassische IT-Ansatz, Schwachstellen erst im Feld zu beseitigen, kann fatal sein.
Besser ist, den Fokus auf die Qualität und Sicherheit des Codes zu legen – bereits zu Beginn der Entwicklung.

Lesen Sie hier den vollständigen Artikel.

Elektronik Systemdesign & Software-Engineering August 2020 (Seite 14 ff.)

Herausforderungen gemeinsam meistern

Um Daten und Datenquellen zu validieren, kommen prinzipiell zwei Aspekte zum Einsatz:
Die Elektronikbranche generell und somit ebenso Entwickler im Embedded-Umfeld stehen vor großen Herausforderungen.
Um sie zu meistern, unterstützen Distributoren ihre Kunden.
Sie sin die Schnittstelle zwischen Hersteller und Anwender.

Lesen Sie hier den vollständigen Artikel.

Elektronik Mai 2020 (Seite 25 ff.)

Input-Validierung in der Entwicklung - Unbefugte müssen draußen bleiben

Um Daten und Datenquellen zu validieren, kommen prinzipiell zwei Aspekte zum Einsatz:
Zum Einen muss geprüft werden, wie die Daten innerhalb des Programms fließen und wie sie vor allem die sensiblen Code-Teile erreichen. Zudem muss gepüft werden, ob die Daten innerhalb eines zu erwartenden Bereichs liegen. ...
... Tools wie CodeSonar von GrammaTech sind in der Lage, Programmierfehler und potenziell gefährliche Datenströme automatisch zu erkennen - sowohl im Quellcode als auch im Binärcode. Damit kann die statische Analyse frühzeitig im SDLC als fortlaufender Prozess verankert werden.
Gerade bei Entwicklung von Automotive-Software und -Komponenten ist diese Sicherheitsschicht unverzichtbar, um zuverlässige Produkte zu schaffen. ...

Lesen Sie hier (ab Seite 26) den vollständigen Artikel.

Elektronik Automotive, April 2020 (Seite 26 ff.)

Testwell CTC++: Software-Testnachweis für alle Targets und Compiler

Vor allem für Unternehmen, die ihre Software nach strengen Standards wie IEC 61508, ISO 26262 oder DO-178B/C entwickeln, sind Nachweis und Dokumentation der Testabdeckung im Rahmen der Zertifizierung unabdingbar. Testwell CTC++ misst die Testabdeckung bei Embedded-Systemen und ist speziell auf die eingeschränkten Hardware-Reserven kleiner Targets optimiert.

Den vollständigen Artikel finden Sie hier
Elektronik Praxis , 2. April 2020

Messung der Testabdeckung:

Code Coverage für kleine Targets

Nicht jedes Code Coverage Tool eignet sich für jede Zielhardware. „Die grundsätzliche Herausforderung bei Validierung und Verifizierung von Embedded System ist, dass für die Messung der Testabdeckung der Code um Zähler erweitert werden muss“,
erläutert Klaus Lambertz, Geschäftsführer bei Verifysoft Technology. „Das kann zu Speicherproblemen führen, aber auch die Prozessoren überlasten. Testwell CTC++ wurde deshalb speziell für Embedded Devices konzipiert“ (….)
Testwell CTC++ unterstützt alle Compiler und Cross-Compiler. Das Tool erlaubt die Erfassung aller Testabdeckungsstufen bis hin zu MC/DC und MCC. Damit kann Testwell CTC++ in praktisch allen Projekten zum Einsatz kommen,in denen sicherheitskritische Embedded Anwendungen mit C, C++, Java oder C# entwickelt werden.

Markt & Technik Nr. 8 2020 Januar ( Seite MF 45 )

Unbekannten Quellcode analysieren

Zwei Neuheiten präsentiert Verifysoft auf der embedded world: Imagix 4D in der Version 9.2 und Testwell CTC++ in der Version 9.0. Imagix 4D kann unbekannten Quellcode erkunden und bietet nun umfangreicheren Datenflussanalysen und verbesserten Kontrollfluss-Graphen. Die Quellcode-Analyse wurde mit Features von C++ 14 und C++ 17 auf die letzten Versionen von MSVC 2019 und GCC 9 erweitert. Der Code-Coverage-Analyser Testwell CTC++ misst die Testabdeckung auf allen eingebetteten Zielplattformen und Mikrocontrollern.

Design & Elektronik Nr. 01 2020 Januar ( Seite MF 25 )

MISRA C auf Legacy Code anwenden: Best Practices im Nachgang

MISRA C hat sich als Programmierstandard in der Automobilbranche bewährt. Auch andere Branchen können von der Richtlinien- und Regelsammlung profitieren, um Sicherheit und Zuverlässigkeit der Anwendungen zu steigern. Der Einstieg birgt jedoch ein paar Hindernisse, die man umschiffen muss. Eine wichtige Hilfe dabei ist die statische Code-Analyse.
embedded-software engineer, 20.01.2020

Testabdeckung bei kleinen Targets

Sicherheit bei IoT-Anwendungen beginnt bei den Sensoren und Aktoren. Hier werden Daten erzeugt, die das IoT so wichtig machen. Und hier werden Aktionen ausgeführt, die auf den gesammelten, aggregierten und analysierten Daten basieren. Um diese Embedded-Geräte sicher zu machen, müssen sie intensiv getestet werden. Die Überwachung, ob alle notwendigen Tests erfolgt sind, ist gerade bei den kleinen Targets nicht trivial. Hier sind teilweise andere Vorgehensweisen nötig als bei Server-Anwendungen.

Den vollständigen Artikel finden Sie hier

MISRA C auf Altcode anwenden: Best Practices im Nachgang

MISRA C hat sich nicht nur in der Automobilbranche als Programmierstandard bewährt. Der Einstieg birgt jedoch ein paar Hindernisse. Eine Hilfe zur Bewältigung ist die statische Code-Analyse.
... Embedded-Systeme werden zunehmend kritisch. Nicht nur für die Geschäftsmodelle zahlreicher Branchen: In der Medizintechnik oder bei Aspekten der funktionalen Sicherheit stehen Gesundheit und Leben von Menschen auf dem Spiel, sollte ein Gerät fehlerhaft arbeiten. Gleichzeitig sind die Entwicklungsteams gefordert, ihre Produkte möglichst schnell marktreif zu entwickeln. ...

Lesen Sie hier (ab Seite 26) den vollständigen Artikel.

Elektronik Praxis, "Embedded Systems Development & IOT I", Februar 2020 (Seite 26 ff.)

Durchblick bei Legacy-Code: Erste Hilfe beim Refactoring

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.
embedded-software engineer, 10.01.2020

Acht Tipps für das richtige Maß beim Testen

Die Messung der Code Coverage ist bei Embedded-Systemen zunehmend wichtig, erfordert aber etwas Erfahrung. Denn es gibt gerade bei kleinen Targets ein paar Hürden, die zu überwinden sind. Mit den richtigen Ansätzen und geeigneten Werkzeugen ist die Messung der Testabdeckung jedoch ohne übermäßige Aufwände möglich. Acht Tipps aus der Praxis helfen beim Start.

Den vollständigen Artikel finden Sie hier

E&E Elektronik, 02.10.2019

Statische Code-Analyse für Echtzeitdaten-Anwendungen im Automobil

Durch zunehmende Automatisierung und Connectivity steigt der Bedarf, zuverlässig Echtzeitdaten zu verarbeiten. Dabei gilt es, schon in der frühen Entwicklungsphase "Flaschenhälse" zu erkennen, welche die Performance beeinträchtigen. Ein geeignetes Verfahren hierfür ist laut Verifysoft die statische Code-Analyse.
Zwei aktuelle Trends stellen die Entwickler in der Automotive-Branche vor erhebliche Herausforderungen: Zum einen steigen die Anforderungen an die Sicherheit und Zuverlässigkeit der Systeme. Damit spielt die Qualitätssicherung über den gesamten Entwicklungs- und Lebenszyklus der Systeme hinweg eine immer größere Rolle, um die funktionalen und nicht-funktionalen Anforderungen sowie die Sicherheit der Systeme auf hohem Niveau zu gewährleisten. Zum anderen wächst der Bedarf an echtzeitfähigen Systemen...

Den vollständigen Artikel finden Sie hier

ATZ Elektronik 05/2019, October 2019, Volume 14, Issue 10, pp 46–49

Testnachweis bei kleinen Targets

Embedded Systeme müssen vor allem im medizinischen Umfeld ausführlich getestet werden, bevor sie auf den Markt gebracht werden dürfen. Die Testabdeckung gibt an, in welchem Maße ein System bereits getestet wurde. Grundsätzlich gilt: Je höher das Risiko, das von einem Softwarefehler ausgeht, desto strenger muss getestet werden. Durch begrenzten Speicherplatz gestaltet sich die Testabdeckung besonders bei Embedded Systemen recht schwierig.
Hier schafft Testwell CTC++ Abhilfe, denn durch die angebotene Bit-Coverage lässt sich der Speicherbedarf signifikant reduzieren.

Den vollständigen Artikel finden Sie hier

Medizin Elektronik 05/2019

Code-Coverage deckt Angriffsvektoren auf

Code-Coverage-Analyzer messen nicht nur die Testabdeckung: Im Rahmen des Penetration-Testings erkennen sie Schwachstellen im Code und bewerten die Brisanz.
Traditionell wird Penetration-Testing meist als reines IT-Thema betrachtet; Sicherheitsprofis helfen Unternehmen dabei, Schwachstellen in Anwendungen und Infrastrukturen zu erkennne, bevor diese durch Angreifer ausgenutzt werden können.
Ein Artikel von Dr. Sabine Poehler, Product-Manager von Verifysoft-Technology

Markt&Technik 33/2019

API-Nutzung überprüfen - Mit maschinellem Lernen zu API-Checkern

Programmierschnittstellen sind allgegenwärtig, aber dennoch herausfordernd bei der Qualitätssicherung. Ein neuer Ansatz auf der Basis maschinellen Lernens hilft nun dabei, die korrekte Nutzung der Schnittstellen im Rahmen der statischen Code-Analyse zu überprüfen.
Ein Artikel von Mark Hermeling, Senior Director Product Marketing von GrammaTech.

Den vollständigen Artikel finden Sie hier .

Markt&Technik 28/2019

Testabdeckung für eingebettete Systeme

Die Software für eingebettete Systeme muss umfassend getestet werden, bevor die jeweiligen Produkte auf den Markt gebracht werden können. Vor allem in sicherheitskritischen Branchen, ist die Testabdeckung unabdingbar und muss mittels Zertifizierungen und Sicherheitsstandards wie beispielsweise der IEC 61508 nachgewiesen werden.
In den meisten Fällen sind die Ressourcen der Targets jedoch limitiert und die Testabdeckung wird durch begrenzten Speicherplatz und CPU-performance eingeschränkt. Daher ist es wichtig, die richtige Herangehensweise auszuwählen, um die Testabdeckung von eingebetteten Systemen optimal analysieren zu können

Lesen Sie hier den vollständigen Artikel.

Electronics 06/2019

Schneller zu höchster Testabdeckung

Der kanadische Hersteller für Drehantriebssysteme Exonetik Inc. hat mit Testwell CTC++ ein Tool gefunden, welches das strenge Code-Coverage-Maß im Luft- und Raumfahrtbereich erfüllt, das gemäß DO-178 B/C für Produkte auf Level A (katastrophale Sicherheitsauswirkungen) nachgewiesen werden muss. Mittels Testwell CTC++ wird die aufwändige Modified Condition/Decision (MC/DC) Coverage, die in diesem Zusammenhang getestet werden muss, effizient ausgeführt.
Das kanadische Start-up entschied sich aufgrund der intuitiven Handhabung und des schnellen Ergebnisgewinns für das Tool. Außerdem bietet Testwell CTC++ sowie das ergänzende Qualification Kit die Möglichkeit, die Klassifizierungs-, Validierungs- und Verwaltungsprozesse ohne Reibungsverluste auf andere Projekte zu übertragen. So plant Exonetik den baldigen Einsatz von Testwell CTC++ im Automotive- und Medizintechnik -Bereich der Firma.

Lesen Sie hier den vollständigen Artikel.

ctrl-tec 05/2019

Binary-Analyse und -Rewriting unter MIT-Lizenz

GrammaTech will die Zusammenarbeit von Entwicklern in den Bereichen Binäranalyse, Reverse Engineering und Binary Rewritings fördern. GTIRB-Datenstruktur, Disassembler und Code-Rewriter des Herstellers werden deshalb künftig in einer Open-Source-Suite bereitgestellt.
Der Code-Security-Experte GrammaTech stellt die Datenstruktur „GrammaTech Intermediate Representation for Binaries“, kurz GTIRB, unter die freie MIT-Lizenz. Das Ziel ist, den Fortschritt in sicherheitskritischen Bereichen wie Embedded-Systemen durch bessere Zusammenarbeit zu beschleunigen.

Lesen Sie hier den vollständigen Artikel.

DevInsider 05/2019

Sicherheit für Embedded-Apps

Immer mehr Unternehmen erweitern ihre Produktpalette um Smartphone-Apps. Auch die Hersteller von Embedded-Geräten sind davon keine Ausnahmen. Dabei sollte auch das Testing der Apps nicht zu kurz kommen. Bei der Testüberdeckung sind aber einige Unterschiede zur klassischen Embedded-Welt zu beachten…

Lesen Sie hier den vollständigen Artikel.

E&E Faszination Elektronik 03/2019

Analyse statt Vertrauen

Software-Komponenten sollten bei der Qualitätssicherung genau unter die Lupe genommen werden. In der Anwendungsentwicklung wird in allen Bereichen auf Code von Drittherstellern zurückgegriffen. Im Sinne einer zügigen Markteinführung des fertigen Produkts ist der Einsatz von „Third-Party Code“ fast unumgänglich. Mit dieser geringeren Fertigungstiefe in der Software-Entwicklung einher geht jedoch auch ein Kontrollverlust: Häufig liegt der Fremd-Code nicht als Quellen vor, sondern in binärer Form.
Damit ist es schwierig, diese Komponenten auf Fehlerfreiheit und vor allem auf mögliche sicherheitsrelevante Schwachstellen hin zu überprüfen.
Dem entgegen stehen die strengen Vorgaben für Software und Geräteentwicklung im medizinischen Bereich. Entwickler und Hersteller müssen sich beim Programmieren und beim Testing an klare Standards und Normen halten. Die entsprechende vollständige Dokumentation seitens des Code-Zulieferers muss also vorliegen - oder der fragliche Code muss selbst zertifiziert werden…

Lesen Sie hier den vollständigen Artikel.
MEDeng 02/2019

Mehr Wissen durch Code Coverage

Mit der zunehmenden Komplexität der Embedded-Devices und der schnell wachsenden Vernetzung, schiebt sich in der medizinischen Software-Entwicklung ein wenig beachtetes Thema in den Fokus: Der Schutz der Systeme vor direkten Angriffen. Eine Möglichkeit, potenzielle Schwachstellen näher zu beleuchten, ist die Messung der Code Coverage. Code Coverage gehört bei der Überprüfung der funktionalen Sicherheit des Device zum Standard im Testing-Werkzeugkasten, um die nach Gefahrenklasse geforderte Testabdeckung nachzuweisen. Dafür zuständig sind Code Coverage Analyzer, wie etwa Testwell CTC++, der speziell für den Einsatz im Embedded-Bereich konzipiert ist.
Grundsätzlich ist es sinnvoll, dass die Entwicklungsabteilung selbst Penetrationstests vornimmt und deren Ergebnisse mit einem Code Coverage Analyzer erfasst. Denn werden diese Tests erst auf Veranlassung des Kunden durchgeführt, gerät das Entwicklungsteam leicht in eine schwache Position und kann die Tests nicht mehr aktiv mitgestalten. Zudem werden externe Penetrationstests aus Kostengründen meist erst am fertigen Produkt vorgenommen. Tauchen dann noch gravierende Probleme auf, entstehen zum Teil immense Aufwände. Im schlimmsten Fall können diese Lücken nicht beseitigt werden, der Code muss in Teilen neu geschrieben werden.
Der Aufwand, Penetrationstests mittels Code Coverage aussagekräftiger zu machen, ist gering und hilft unmittelbar dem Entwickler bei der Analyse des Penetrationstests. Dadurch lässt sich zum einen die Code-Qualität weiter steigern und zum anderen das Risiko einer verzögerten Markteinführung senken.

Lesen Sie hier den vollständigen Artikel.
MEDeng 2/2019

NPP Itelma setzt auf Testwell CTC++

Durch zahlreiche elektronische Komponenten ähneln moderne Autos immer mehr mobilen Rechenzentren. Dementsprechend wird auch im Automotive Bereich umfassende Messung der Testabdeckung der Systeme immer wichtiger. In sicherheitskritischen Bereichen wirken Schwachstellen im Code sich nicht nur auf die Qualität der Produkte aus, sondern können sogar Menschenleben gefährden.
Um den Aufwand bei den Code-Coverage Tests zu senken, ohne dabei die Qualität dieser zu gefährden, entschied sich NPP Itelma, ein russischer Entwickler und Hersteller von elektronischen Fahrzeugkomponenten, für die Nutzung des Tools Testwell CTC++ von Verifysoft Technology. Dieses Werkzeug zur Messung der Testabdeckung eignet sich vor allem für Embedded Systeme und zeichnet sich durch einfache Usability aus. Außerdem lässt sich Testwell CTC++ im Rahmen von Zertifizierungsprozessen für sicherheitskritische Elemente einsetzen.
Alexander Dolozov, Embedded Software Manager bei NPP Itelma ist überzeugt von Testwell CTC++, denn das Unterntehmen konnte mit dem tool die Gesamtqualtiät der Firmware signifikant verbessern.

Lesen Sie hier den vollständigen Artikel.
ctrl-tec, 3/2019

Sichere Software ist Pflicht - Funktionale Sicherheit von Embedded Systemen

Fahrzeuge enthalten eine hohe Zahl an verschiedenen Softwares, doch mit diesen nimmt auch das Risiko für Schwachstellen und Programmierfehler zu. Qualitätssicherung und funktionale Sicherheit muss daher mit Normen wie der IEC 61508 und der ISO 26262 nachgewiesen werden.
Hierbei hilft die statische Code-Analyse die Fehler frühzeitig zu erkennen und diese mit möglichst wenig Aufwand zu beseitigen. Dies ist vor allem für sicherheitskritische Anwendungen unverzichtbar. Das Tool CodeSonar von Grammatech stellt hier eine Besonderheit dar, da auch Dateien analysiert werden können, die nur binär vorliegen.
Code Sonar von GrammaTech macht es möglich, Fehler noch vor dem lokalen Test-Build zu erkennen und zu beheben. Denn je früher ein Fehler beseitigt wird, desto schneller und günstiger kann ein Produkt eingeführt werden.
Elektronik automotive, Ausgabe 2/3.2019

Sicherer durch weniger Bugs

Mit der zunehmenden Digitalisierung werden Sicherheitsanforderungen an Anwendungen immer komplexer. Vor allem bei Embedded-Systemen nehmen Zuverlässigkeit und Sicherheit einen hohen Stellenwert ein, denn diese lassen sich meist nicht über zusätzliche Sicherheitslösungen absichern.
Da auch die zunehmende Vernetzung von Geräten potenzielle Angriffsziele für Cyberkiriminelle darstellt, nimmt hier die statische Code-Analyse eine zentrale Rolle ein. Tools wie CodeSonar von GrammaTech erstellen aus dem Code ein Modell, anhand dessen alle Daten-und Steuerungsströme durlaufen und analysiert werden. Vorteil ist hier, dass die Analyse bereits in frühen Entwicklungsstadien eingesetzt werden kann, da kein ausführbarer Code vorliegen muss. Somit kann die Codequalität von Anfang an verbessert und Sicherheitslücken und Fehler frühzeitig entdeckt werden.
Die statische Analyse kann somit dynamisches Testing um eine analytische Methode ergänzen und hilft wichtige Programmierrichtlinien und- standards durchzusetzen und für notwendige Zertifizierungen zu dokumentieren.
SQ Magazin, Ausgabe 3/2019

Testwell CTC++ auch für Objective C

Neben C, C++, Java und C# kann der Code-überdeckungs-Analysator Testewell CTC++, den Verifysoft vorstellt, in der neuen Version 9.0 auch für Objective C genutzt werden. Neu ist auch das Tool Imagix 4D. Dieses hilft, komplexen Third-Party- und Legacy-Quellcode zu verstehen, zu dokumentieren und zu verbessern. Das Werkzeug automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten, und es deckt Probleme in den Datennutzungen und bei Task-Interaktionen auf.

Design & Elektronik / Würth Elektronik, Nr. 1 Januar/2019 ( Seite 20 )

Statische Analysen für funktionale Sicherheit

Die Überprüfung der Zuverlässigkeit und Fehlerfreiheit von Systemen, die Sicherheitsfunktionen erfüllen ist besonders wichtig. Durch Normen werden strenge Vorgaben vorausgesetzt.
Um sowohl potenzielle Sicherheitslücken als auch Programmierfehler bereits bei der Entwicklung aufzudecken, bietet sich die statische Code-Analyse an. Das Tool CodeSonar von GrammaTech stellt hier eine Besonderheit der statischen Analyse dar. Selbst Embedded-Systeme können mit diesem Tool problemlos untersucht werden.
Mit CodeSonar können die Analysen außerdem direkt am Arbeitsplatz der Entwickler durchgeführt werden und Fehler können frühzeitig erkannt und behoben werden.
Markt&Technik, Ausgabe 7/2019

Real World Benchmark für statische Code Analyse Tools

(Ithaca/New York, Offenburg, 4. Februar 2019)

Software Entwickler und Qualitätsmanager, die einen Weg suchen, die Qualität ihrer statischen Analyse zu bewerten, können jetzt BugInjector nutzen. Dieses Tool kann Common Weakness Enumeration (CWE) basierte Fehlermuster in existierende Code Basen injizieren. Damit erstellt BugInjector Real-world Benchmarks, welche von GrammaTech im Auftrag des Department of Homeland Security (DHS) Science and Technology Directorate (S&T) entwickelt wurden. Diese Benchmarks sind ab sofort kostenlos auf dem Software Assurance Marketplace (SWAMP) abrufbar.
„Es gibt eine dringende Nachfrage nach Benchmarks wie die von GrammaTech, um es Software Entwicklern zu ermöglichen, statische Analyse Tools in einem wettbewerbsfähigen Umfeld bewerten zu können“, sagt Barton Miller, Informatik Professor an der Universität von Wisconsin in Madison und leitender Wissenschaftler von SWAMP. „Zudem haben Entwickler von statischen Analysewerkzeugen jetzt die Möglichkeit, ihre Werkzeuge oder neuen statischen Analysetechnologien mit Hilfe von realistischen Testfällen zu verbessern. Diese Integration der Benchmarks in die SWAMP Plattform erhöht deren Effektivität und Verfügbarkeit.“

Lesen Sie hier den vollständigen Artikel.

Warum Code Coverage Analyzer bei Embedded-Geräten notwendig sind

Die Software von Embedded-Systemen muss getestet werden. Bei der Testabdeckung können Speicher und Prozessoren jedoch an ihre Grenzen stoßen. Mit den richtigen Lösungen ist es aber möglich auch im Embedded-Bereich die Code Coverage zu erfassen und nachzuweisen.
Mit Hilfe des Code Coverage Analysers Testwell CTC++ können Probleme mit dem verfügbaren Speicher gelöst werden. Testwell CTC++ verwendet ein speziell entwickeltes Add-on um den Instrumentation Overhead gering zu halten und auf jedem noch so kleinen Target zu funktionieren.

Lesen Sie hier den vollständigen Artikel.
All electronics, 04.02.2019

Software-Validierung: Die Risiken in der Medizintechnik minimieren

In der Medizintechnik fordern Normen spezielle Maßnahmen zur Qualitätssicherung der angewendeten Software. Hier spielt das Testing eine zentrale Rolle. Dies stellt jedoch vor allem im Embedded Bereich eine Herausforderung dar.
Um Embedded-Systeme zuverlässig und gleichzeitig wirtschaftlich zu verifizieren, ist zudem eine weitgehende Automatisierung der Qualitätssicherung unverzichtbar. Zum einen stellt jedes manuelle Eingreifen in die Prozesse eine potenzielle Fehlerquelle dar. Zum anderen verursacht es zusätzliche, vermeidbare Kosten. Zur Automatisierung des Testings eignen sich vor allem Code Coverage Analyser wie Testwell CTC++, die sich eng in die vorhandenen Entwicklungsumgebung integrieren.

Lesen Sie hier den vollständigen Artikel.
Device Med, 31.01.2019

6. Static Code Analysis Day von Verifysoft Technology - Bug Hunting in Embedded-Anwendungen

Für Embedded-Entwickler und -Tester veranstaltet Verifysoft Technology Anfang März den Static Code Analysis Day. Wie man Bugs auf Systemebene ressourcenschonend erkennt und beseitigt, ist dabei eines der Kernthemen. Vor Ort sind auch wieder Experten des US-amerikanischen Unternehmens GrammaTech und des italienischen Anbieters JuliaSoft.
Lesen Sie den vollständigen Artikel hier.
DevInsider, 29. Januar 2019

Coverage-Tool Testwell CTC++ in Version 9.0 verfügbar

Die aktuelle Version 9.0 des Code-Coverage-Tools Testwell CTC++ von Verifysoft Technology unterstützt nun die bei iOS-Geräten populäre Sprache Objective-C. Weitere Neuerungen sorgen für eine universellere Nutzbarkeit der Lösung für aktuelle Embedded-Projekte.

Lesen Sie hier den vollständigen Artikel.
channel-e - Magazin für Elektronik

Stolperfalle Copy & Paste: Kopierte Fehler im Software-Code aufspüren

Auch wenn es als schlechter Stil gilt, ist Copy&Paste dennoch unter Entwicklern ein gängiges Verfahren zur Code-Wiederverwertung. Doch können dabei auch vorhandene Sicherheitslücken kopiert werden – und neue Fehler entstehen. Die statische Code-Analyse kann helfen, Bugs in kopiertem Code zu vermeiden.
Lesen Sie hier den vollständigen Artikel.
embedded-software-engineering.de - ein Angebot von Elektronikpraxis

Reverse Engineering für Embedded Software auf UML-Basis

(Offenburg/ Deutschland, 12. November 2018)

Wie lassen sich die Architekturinformationen von Binärdateien wiederherstellen? Mit einem entsprechenden Forschungsauftrag befasst sich aktuell GrammaTech – und wird dabei vom Office of the Secretary of Defense mit einer Million Dollar unterstützt.
GrammaTech selbst entstand aus einem Forschungsprojekt an der Cornell Universität – und ist heute sowohl Forschungscenter als auch kommerzieller Anbieter von Software-Assurance-Tools und Cyber-Security-Lösungen. Ziel des Forschungsauftrags ist es, die Möglichkeiten zur Architecture Recovery (Wiederherstellung von Architekturinformationen) bei binärer Software zu erforschen und eine entsprechende Lösung zu entwickeln.
UML Architecture Recovery soll in die Visualisierungsfunktionen von CodeSonar integriert werden, dem Tool zur statischen Code-Analyse von GrammaTech. Das Tool zur Codeanalyse kann auch für gängige Programmiersprachen wie C# oder in Visual Studio eingesetzt werden. Lesen Sie hier den vollständigen Artikel.

DevOps Mit Qualitätsautomatik

Der Erfolg des Continuous-Integration-Verfahrens hängt entscheidend von der Qualität der Integrations ab: Je früher Bugs erkannt werden, desto geringer ist das Risiko fehlgeschlagener Builds – und damit die Gefahr, wertvolle Ressourcen für die Fehlersuche zu vergeuden. Die statische Code-Analyse unterstützt Entwickler beim Aufspüren von Fehlern: Neben klassischen Programmierfehlern entdeckt sie auch Abweichungen von den vorgegebenen Standards. Und das weitgehend automatisch!
Lesen Sie den vollständigen Artikel hier.
Faszination Elektronik, 30. Oktober 2018

Schluss mit Buffer Overruns

In so gut wie jeder Software sind Buffer Overruns im Überfluss vorhanden, sowohl im Enterprise- als auch im Embedded-Bereich. Daraus ergeben sich ernsthafte Sicherheitsprobleme. Denn jedes System ist nur so sicher wie sein schwächstes Element. Dieses zentrale Einfallstor für Angreifer muss geschlossen werden. Dafür sind neue Ansätze erforderlich.
Lesen Sie den vollständigen Artikel hier.
Faszination Elektronik, 17. Oktober 2018

GrammaTech veröffentlicht CodeSonar 5

In der neuen Version unterstützt CodeSonar neben C und C++ sowie Java auch die Programmiersprache C#-Code. Die statische Code-Analyse erkennt dabei sowohl Sicherheitslücken als auch Abweichungen von gängigen Programmierstandards. CodeSonar 5 soll zudem verbesserten Support von C++ 11, 14 und 17 sowie Gleitkommaunterstützung oder rollenbasierte Zugriffsverwaltung zur besseren Nutzbarkeit in großen Installationen bieten.
Lesen Sie den vollständigen Artikel hier.
DevInsider, 24. August 2018

C-Dekompilierer für CodeSonar 5

Um die statische Code-Analyse von Binärcode effizienter zu machen, erweitert GrammaTech den Scanner CodeSonar 5 um einen C-Decompiler. Zielsetzung war eine bessere Lesbarkeit des untersuchten Codes.
Mit CodeSonar 5 lässt sich Code auch dann auf Schwachstellen hin analysieren, wenn er nur binär und ohne Debugging-Informationen vorliegt. Dieses Problem ergibt sich häufig bei Embedded-Software, wie sie in Industrie-Controllern, Point-of-Sale-Systemen oder IoT-Geräten zum Einsatz kommt.
Lesen Sie den vollständigen Artikel hier.
DevInsider, 16. August 2018

Seminare von Verifysoft Technology für bessere Software-Qualität

Risiko vermeiden, Kosten senken, Time to Market beschleunigen – die Seminare von Verifysoft Technology erklären, wie Unternehmen bei der Entwicklung und beim Test von sicherheitskritischer Software schneller eine höhere Qualität erreichen können. Für Oktober und November 2018 sind vier Seminare geplant. Neu dabei: Interkulturelles Management Indien.
...
Jedes Seminar wird mit praxisnahen Übungen und Beispielen abgerundet. Alle Seminare sind auch als Inhouse-Schulungen verfügbar.
Lesen Sie den vollständigen Artikel hier.
ctrl-tec, 25. September 2018

Verifysoft Technology nun in 36 Ländern aktiv

Verifysoft Technology, einer der führenden Anbieter im Bereich Embedded Code Coverage, gibt bekannt, dass seine Lösungen Testwell CTC++, Testwell CMT++ und Testwell CMTJava nun in 36 Ländern auf fünf Kontinenten zum Einsatz kommen. Als neuesten Kunden durfte Verifysoft Technology das Instituto Superior de Engenharia do Porto (ISEP) begrüßen, ein polytechnisches Hochschul- und Forschungsinstitut in Portugal. Das große Interesse, das weltweit an den Lösungen von Verifysoft Technology herrscht, zeigt, dass Embedded-Software heute zurecht in fast allen Bereichen als sicherheitsrelevant oder sogar sicherheitskritisch eingeschätzt wird. Lesen Sie den vollständigen Artikel hier.
ctrl-tec, 20. September 2018

Testnachweis mit knappen Ressourcen

Der Nachweis der Testabdeckung – auch Code Coverage genannt – wird von zahlreichen Normen und Standards gefordert. Welche Hürden sich damit bei Embedded-Systemen ergeben, erläutert Klaus Lambertz, Geschäftsführer von Verifysoft Technology, im Interview. Im Embedded-Umfeld sehen sich Tester angesichts der knappen Hardware-Ressourcen mit besonderen Herausforderungen konfrontiert. Der Artikel zeigt wie man Fallstricke bei der Messung der Code Coverage vermeiden kann.
Lesen Sie das vollständige Interview hier.
DevInsider, 16. August 2018

Code Coverage bei Embedded Systemen

Der Nachweis der Testabdeckung – auch Code Coverage genannt – wird von zahlreichen Normen und Standards gefordert. Welche Hürden sich damit bei Embedded Systemen ergeben, und wie dies auch mit knappen Ressourcen zu bewältigen ist, erläutert Klaus Lambertz von Verifysoft Technology im Interview.
Im Embedded-Umfeld sehen sich Tester angesichts der knappen Hardware-Ressourcen mit besonderen Herausforderungen konfrontiert. Klaus Lambertz, Geschäftsführer der auf Testing im Embedded-Umfeld spezialisierten Verifysoft Technology GmbH in Offenburg, weiß um Fallstricke bei der Code Coverage und wie man sie umgehen kann.
Lesen Sie den vollständigen Artikel hier.
embedded-software-engineering.de - ein Angebot von Elektronikpraxis, 20. August 2018

Mit statischer Code-Analyse Performance-Flaschenhälse finden

Viele Performance-Probleme können bereits in einer sehr frühen Phase des Software Development Lifecycles gefunden werden. Je früher ein Flaschenhals erkannt wird, desto einfacher und billiger kann er auch beseitigt werden. Dazu eignet sich eine Methode, die eigentlich in jedem Entwicklungsteam vorhanden sein sollte: Die statische Code-Analyse.
Innerhalb der Software-Entwicklung spielt die Qualitätssicherung eine immer größere Rolle. Zurecht, denn mit der steigenden Kritikalität von Software – nicht zuletzt im Embedded-Bereich – müssen die funktionalen und nicht-funktionalen Anforderungen sowie die Sicherheit der Systeme auf hohem Niveau gewährleistet werden. Neben dem Testing hat sich die statische Code-Analyse als Methode etabliert, Fehler oder Abweichungen von Programmierstandards oder -richtlinien aufzuspüren.
Lesen Sie den vollständigen Artikel hier.
Elektronikpraxis, 28. Juni 2018

Insights Success: Verifysoft Technology is one of the 10 Best Performing Software Testing Solution Providers

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

Insight Success focuses distinctively on emerging as well as leading fastest growing companies, their confrontational style of doing businesses and the way of delivering effective and collaborative solutions to strengthen market share. Verifysoft Technology has now been elected among the 10 best performing software solution providers by Insights Success. Since its founding in 2003, Verifysoft has established a presence in over 40 countries and recorded growth of more than 40% last year. The company believes software testing is an essential service and its importance will only increase in the future. Verifysoft has established itself as a leader in providing software testing solutions which are efficient and reliable. Its CTC++ test system is extremely reliable even in the most adverse and challenging circumstances. The management team at Verifysoft believes they have a good product on their hands, and they give client satisfaction top priority.
Read the entire article here.

Sicherheitslücke im Linux-Tool beep als Einfallstor ins System

Embedded-Software Engineer, Mai 2018

Schadcode dringt nicht nur über bekannte Programme in ein System ein. Ein kleines Schlupfloch wie der aktuelle Bug im Linux-Tool beep.c reicht aus. Solche Sicherheitslücken laufen oft unter dem Testing-Radar hindurch, lassen sich aber durchaus aufspüren.
Bei beep.c wurde der Fehler durch Analyse des statischen Analysetools GrammaTech CodeSonar aufgezeigt.
Lesen Sie den vollständigen Artikel hier.

Selbstheilende Software - Spectre: Den Datenklau verhindern

Durch einen schwerwiegenden Fehler im Prozessordesign erlauben die meisten CPUs Angriffe auf sensible Daten.
Spectre und Meltdown, wie die beiden Angriffsvektoren genannt werden, sind aktuell kaum abzuwehren. Allerdings gibt es neue Ansätze, wie Software automatisch gegen neue Angriffe geschützt werden kann. Damit ist es zumindest möglich, eines der drei Einfallstore für Spectre und Meltdown zu schließen.
Und das, ohne den Quellcode verändern und neu kompilieren zu müssen. ...
Faszination Elektronik, Ausgabe 3/2018

Statische Analyse as a Service

CodeSonar 4.5 von GrammaTech bietet neben zahlreichen Verbesserungen mit dem Software Assurance Service auch statische Analyse "as a Service", also statische Analyse als Vor-Ort-Service. Erfahrene Berater von GrammaTech kümmern sich um die Abläufe und Prozesse der statischen Analyse. So können sich die Kunden vollständig und effizienter auf die Beseitigung gefundener Fehler konzentrieren.
Um die Sicherheit innerhalb des Software Development Lifecycles (SDLC) zu verbessern, bietet CodeSonar zahlreiche neue Funktionen. So verfügt Version 4.5 nun über APIs für Python und C++, mit denen die Entwicklungsteams schnell eigene Checks implementieren können, um ihre spezifischen Designvarianten in CodeSonar abzubilden. Zudem wurde mit dem neuen Release eine weitere API für die schnelle Unterstützung neuer Compilern eingeführt und die Gleitkommaunterstützung verbessert.
Elektronikpraxis, 20. Februar 2018

Code umfangreich analysieren

Im Fokus des Messeauftritts von Verifysoft stehen der Code-Coverage-Analyser Testwell CTC++, CodeSonar für die statische Analyse und Imagix 4D, das Projektmanager und Entwickler dabei unterstützt, Code von Drittanbietern und Legacy Code zu verstehen, zu dokumentieren und zu verbessern.
Testwell CTC++ hat eine neue Benutzeroberfläche erhalten, um flexibel zwischen verschiedenen Coverage-Stufen (bis MC/DC und MCC) wechseln zu können. CodeSonar unterstützt in der Version 4.5 nun unter anderem auch C++17.
Design & Elektronik Ausgabe 1/2018

Fünf Faktoren für sichere Software

Mit dem Internet of Things explodiert die Zahl der Internet-fähigen Geräte. Und damit auch die Möglichkeit für Cyberkriminelle, diese Devices als Angriffsvektoren zu nutzen. Entwickler und Hersteller sind damit gefordert, an ihren Code und ihre Produkte deutlich strengere Sicherheitsanforderungen zu stellen als bislang. Dabei spielen fünf Aspekte eine wichtige Rolle.
... Auch wenn die Beispiele aus der Medizintechnik eine besondere Nutzung des IoT darstellen, wird deutlich: An IoT-Geräte müssen andere Maßstäbe angelegt werden als an herkömmliche Clients. ...
Markt&Technik, Ausgabe 50/2017

Statische Analyse erweitert: Grammatech setzt auf Sicherheit und Services

Der neue Release 4.5 von Grammtechs CodeSonar unterstützt Rapid-Development-Umgebungen, neue Code-Checkers zur Abwehr von Cyber-Kriminalität, verbesserte Gleitkommaunterstützung und den Software Assurance Service.
Für Software-Teams, die die Sicherheit innerhalb des Software Development Lifecycles (SDLC) verbessern wollen, bietet CodeSonar 4.5 zahlreiche neue Funktionen. So verfügt CodeSonar nun zum Beispiel über APIs für Python und C++, mit denen die Entwicklungsteams schnell eigene Checks implementieren können, um spezifische Designvarianten in CodeSonar abzubilden.
Markt&Technik, Ausgabe 50/2017

Binär-Code-Kontrolle ist besser

In der Software-Entwicklung kommt immer mehr Code von Dritten zum Einsatz. [...] Innerhalb der Software-Supply-Chain entsteht dadurch ein unwägbares Risiko. Ist der Code aus externen Quellen sicher und entspricht er den Standards der eigenen Entwicklungsabteilung? Blindes Vertrauen auf Zulieferer ist hierbei fehl am Platz. Denn gerade Binärcode kann zahlreiche Sicherheitslücken oder schlichte Programmierfehler aufweisen, die ohne geeignete Tools kaum zu finden sind. Der Einsatz von statische Analyse bei Binär-Code hilft also dabei, eine hohe Software-Qualität auch dann sicherzustellen, wenn Komponenten Dritter in die Anwendung mit einfließen.
Denn Vertrauen ist gut, Code-Analyse ist besser.
Markt&Technik, Ausgabe 44/2017

Binärcode-Analyse: Software-Qualität in fremden Händen

Zahlreiche Geräteentwickler kaufen die Embedded Software für ihr Industrie- oder IoT-Gerät von Drittanbietern zu. Doch wie ist zu gewährleisten, dass Code aus Händen Dritter zuverlässig und sicher ist? Vertrauen ist die Mutter der Sorglosigkeit – Dieses Bonmot des spanischen Schriftstellers Baltasar Gracián y Morales aus dem 17. Jahrhundert gilt auch bei der Software-Entwicklung. Die Sorglosigkeit, wie in den vergangenen Jahren Software in vielen Bereichen entwickelt wurde, ist heute kaum mehr akzeptabel. Denn mit der digitalen Transformation, die aktuell abläuft, nimmt Software eine grundsätzlich andere Stellung ein als bisher. Sie wird die kritische Basis für physikalischen Produkte, für Dienstleistungen und für Geschäftsmodelle. Dabei nimmt Embedded Software als unverzichtbare Grundlage des Internet of Things eine besonders dominante Rolle ein..
embedded-software-engineering.de, 05. September 2017

Software - Forensik: Code zerpflückt

Wenn sich eine Katastrophe ereignet, deren Ursache in der Software liegt, dann beginnt die Spurensuche: Woran hat´s gelegen? Nun kann man sich den Code entweder händisch vorknöpfen oder Hilfsmittel zu Rate ziehen, deren Anwendung übrigens auch sinnvoll ist, schon bevor etwas passiert.
...Gegenwärtig findet Software-Forensik so statt, dass der Quell- und Binärcode minutiös manuell untersucht wird. Das Aufdecken von Fehlern oder Manipulationsspuren ist schwierig und zeitraubend. Hier können automatisierte Tools Zeit und Geld sparen. ...
...Fortschrittliche Statische-Analsye-Tools können Sicherheitslücken im Code automatisch detektieren. Die Tainted-Data-Analyse geht noch einen Schritt weiter: Mit ihr lässt sich feststellen, ob von außen kommender Input genutzt werden kann, um aus einer Schwachstelle eine echte Sicherheitsbedrohung zu machen. ... Elektroniknet.de, 07. Juli 2017

GrammaTech verkündet Integration von CodeSonar in Wind River Workbench zur Verbesserung der Qualität und zum Schutz von IoT-Geräten

(Ithaca/New York, Offenburg, 15. Mai 2017)
Dank dieser Integration können Entwickler Softwareanfälligkeiten innerhalb der Workbench beheben und so die Produktivität signifikant erhöhen. Das ursprüngliche Wind River VxWorks Betriebssystem wird ebenso gut unterstützt wie POSIX API, CodeSonar stellt dabei eine hilfreiche Erweiterung dar. Es bietet die Fähigkeit Sicherheits- und Qualitätsprobleme zu finden, speziell im Bereich der Multi-Core Entwicklungen. Das Programm identifiziert Bugs, welche zu Systemabstürzen führen können oder Sicheitslücken hervorbringen, was zum markenschädigenden Problem werden kann. Die Integration macht aus CodeSonar und der Wind River Workbench eine ideale Einheit zur Softwareoptimierung.
Hier vollständigen Text lesen oder Video ansehen.

Testwell CTC++ Code Coverage Analyser: Customer Testimonial from medical industry

... ISD chose Testwell CTC++ Code Coverage Analyser, a product of Verifysoft to support them in the verification. Being a typical bare metal embedded system without a file system, counters are needed to store information and later download from the target to source. One of the biggest challenges is the limited memory in the systems of ISD. Testwell CTC++ requires a very small footprint for its instrumentation and the Host target add-on makes integrations to any system very easy. ... There are no restrictions with compilers, IDEs or debug tools. ... Embedded-Computing.com, 12. Mai 2017

Workshop zum Testen von safety-kritischen embedded Systemen im Rahmen des Forums "Safety and Security" mit Sebastian Götzinger

Software für Safety-relevante Systeme muss auf Code Coverage getestet werden. Wie das auch auf kleinen Targets funktioniert, zeigt ein Workshop mit Sebastian Götzinger, IT Trainer bei Verifysoft Technology, im Rahmen des Forums Safety & Security 2017 am 6. Juli 2017.
Safety-Normen fordern, dass Softwaretests 'möglichst nah' am produktiven System sein sollen. Doch wie nah ist ein Simulator an der Realität? Fordern die Normen also, alle Tests auf den Zielplattformen durchzuführen? Prinzipiell scheint diese Herangehensweise sinnig, doch fordern die Normen auch, dass bestimmte Coverage Level erreicht werden müssen. In seinem eintägigen Hands-on-Workshop am 6. Juli 2017 im Rahmen des Forums Safety & Security im H4 Hotel München Messe vermittelt der Referent Sebastian Götzinger den Teilnehmern mittels einer generischen IDE, des Code Coverage Analyzers Testwell CTC++ sowie eines Arduino UNO, wie sich Code Coverage auch auf kleinen Targets ermitteln, analysieren und anhand dieser Daten die Testabdeckung verbessern lässt.
Zur Teilnahme ist ein Laptop mit USB-Anschluss zwingend erforderlich. Arduinoboards stellt die Firma Testwell CTC++ leihweise zur Verfügung, die Software wird auf USB-Sticks ausgegeben. Elektroniknet.de, 26. April 2017

Wie verwundbar sind Sie? Lücken im Code effektiv ermitteln

Dieser Artikel beschreibt eine Methode, wie man Schwachstellen in der Software verstehen und die statische Analyse als Teil eines kontinuierlichen Verbesserungsprozesses nutzen kann.
Die Wahrscheinlichkeit dafür, dass ein Gerät Opfer einer Cyber-Attacke wird, hängt von den potenziellen Auswirkungen einer Attacke ebenso ab, wie davon, ob ein solcher Angriff möglich ist. Also nimmt man eine Beurteilung der Bedrohungslage vor, um ein Bedrohungsmodell zu erstellen und die Angriffsoberfläche zu ermitteln. Zu betrachten sind hierfür die Motivationen und Absichten potenzieller Angriffe ebenso wie die Wege, über die sie das System angreifen, und die Wahrscheinlichkeit für erfolgreiche Attacken.
Elektronikpraxis, Sonderausgabe 05/2017

Industrie 4.0 // Softwareentwicklung für das IIoT

Systeme des industriellen Internet of Things (IIoT) stellen spezielle Anforderungen an die Softwareentwicklung. Der Artikel zeigt auf drei Seiten die Aufgaben und die Rolle von Tools wie der statischen Analyse auf.
SCADA-Systeme (Supervisory Control And Data Acquisition), die das Kernstück der meisten industriellen Systeme bilden, arbeiten unter extremen Bedingungen, steuern kritische Infrastrukturen und müssen strikte Sicherheitsstandards einhalten....
Elektronikpraxis.de, 18. April 2017

„Die meisten kennen die Herausforderungen, realisieren aber nicht, wie sehr sie davon betroffen sind“ - Interview mit Mark Hermeling

Die meisten Unternehmen kennen mittlerweile die Herausforderungen, die das Thema Security bei der Umsetzung von IoT-Anwendungen mit sich bringt. Dennoch realisieren sie nicht immer, wie sehr sie davon betroffen sind, meint Mark Hermeling, Senior Director Product Markting beim amerikanischen Security-Spezialisten GrammaTech und Industry of Things-Experte.
In diesem Interview spricht er über den aktuellen Stand zum Thema "Internet der Dinge" und die damit verbundenen Probleme. Weiterhin beschäftigt er sich mit den Hürden der Implementierung, den größten Herausforderungen für die Branche und den Security-Risiken für deutsche Unternehmen.
Industry-Of-Things.de, 06. April 2017

Insider-Attacken und statische Analyse

Angriffe erkennen mit Hilfe von neuen Analysen; Security ist sowohl für das Internet der Dinge, als auch für Industrie 4.0 ein Schlüsselfaktor. Methoden der statischen Code-Analyse sind dabei ein wichtiges Hilfsmittel, um sogar Insider-Attacken aufzuspüren und die eigenen Anwendungen zu schützen.
Wie lassen sich Insider-Attacken aufdecken? Wie lassen sich Laufwege verfälschter Daten analysieren und visualisieren? Welche binären Analysen zum Aufdecken der Attacken gibt es? In diesem Artikel widmet sich Dr. Paul Anderson all diesen Fragen und den wichtigsten Punkten zum Thema.
All-Electronics.de, 06. April 2017

Can software development be more secure with static analysis?

The longer answer to the question "when should static analysis be applied?" is "a part of structured and secure development process". Static analysis is an important part of a modern software development tool suite which, when applied correctly and sufficiently early, can have significant impact on code quality, security and safety.
Perhaps the most relevant point is the role static analysis plays in a security-first software design, which is critical in today´s connected and complex operating environment..... Electronicsweekly.com, 05. April 2017

Addressing IoT impact on software engineering

(By Bill Graham, GrammaTech)
Manufacturers need to carefully evaluate the cyber threats and the level of exposure of IoT devices. New levels of software integrity can only be achieved if teams can eliminate both accidental coding errors and intentional design-in vulnerabilities, through efficient analysis techniques suitable for the typical highly complex applications of today.
Powered by the forces of the cloud, connected endpoints, wireless technologies, and big data, the Internet of Things (IoT) evolution is forming a perfect storm for software engineering teams. This single, transformative force is bigger than anything in the history of tech industry, fueling an unparalleled consumer- oriented features race, expected to advance at an incredible rate over the next decade. ...
boards & solutions + ECE March 2017 (PDF)

Sicherheitszertifizierungen möglich

Der Coverage-Analyser Testwell CTC++ den Verifysoft auf der Messe zeigt, wird jetzt mit einem Tool-Qualifizierungskit angeboten, das die Zertifizierung für ISO 26262, DO178-C, IEC 61508 und andere Sicherheitsnormen ermöglicht. Mit Imagix 4D stellt Verifysoft ein Werkzeug für Reverse-Engineering und Quellcode-Analyse vor. Das Werkzeug unterstützt dabei, komplexen, in C, C++ oder Java geschriebenen Third-Party- und Legacy-Quellcode zu verstehen, zu dokumentieren und zu verbessern.
Design & Elektronik Ausgabe 2/2017

Grammatech sichert Code ab

Der Codeanalyse-Spezialist GrammaTech stellt auf der diesjährigen Fachmesse embedded world die aktuelle Version 4.5 des Flaggschiffprodukts CodeSonar vor. Mit Funktionen wie Schwachstellenanalyse, Binary Patching und Software Monitoring spielt es eine Schlüsselrolle für die Absicherung von Softwareprogrammen.
CodeSonar 4.5 adressiert Kunden mit Fokus auf Sicherheit und Schutz. Ihnen bietet das Tool zusätzliche Integrationsfunktionen einschließlich Microsoft Visual Studio und erhöhten Support für C++ 14. Neu ist auch ein Management-Dashboard als Grundlage, um technisch nicht versierten QA-, Entwicklungs- und Produktmanagern ein tieferes Verständnis für Softwarerisiken zu vermitteln.
Elektronik Praxis, Ausgabe 4/2017

Mehr Sicherheit in einer zunehmend vernetzten Welt

Weltweit steigt die Vernetzung und Abhängigkeit von Software ständig. Vernetzte Geräte bieten viele Angriffsflächen für Cyberattacken, die stark ansteigen in punkto Anzahl, Art und Auswirkungen. Es ist also hächste Zeit für Gerätehersteller, ihre Software-Sicherheit zu erhöhen.
GrammaTech unterstützt Unternehmen bei der Lösung der heikelsten Softwareprobleme und der Absicherung von unternehmenskritischen, embedded Geraäten vor Fehlfunktionen und Cyberangriffen. ...
Das Flaggschiffprodukt CodeSonar bietet die bislang tiefste statische Analyse und findet mehr kritische Fehler als andere verfügbare statische Analysetools. Mit CodeSonar können Teams ganze Anwendungen analysieren, die Software-Supply-Chain kontrollieren und die teuersten und am schwersten auffindbaren Fehler schon früh im Lebenszyklus einer Applikationsentwicklung elimieren.
E&E Faszination Elektronik, Das Kompendium, Ausgabe 2017 hier bestellen

Statische Codeanalyse prüft Softwaresicherheit

Fehlerhafte Software in medizinischen Geräten führt im schlimmsten Fall dazu, dass Patientensterben. Neben verbesserter Software sollen Verifikationsprozesse und statische Codeanalyse helfen.
... Innerhalb der letzten 10 Jahre haben sich die Rückrufe von fehlerhaften Medizingeräten beinahe verdoppelt: Vor allem wegen eines fehlerhaften Geräts mit hinreichender Wahrscheinlichkeit für Todesfall. So registrierte die Federal Drug Administration (FDA) der USA von 2005 bis 2009 über 56.000 Probleme und 710 Todesfälle im Zusammenhang mit Infusionspumpen an die FDA.
... die "Infusion-Pump-Improvement-Initiative" ... empfiehlt die statische Codeanalyse, um die gefährlichsten Fehlertypen und Sicherheitsrisiken aufzuspüren. ...
Elektronik Praxis, 2. November 2016 (ab Seite 84)

Statische Analyse bei Fahrerassistenzsystemen: Schneller entwickeln, weniger Risiko

Advanced Driver Assistance Systems sollen helfen, Autounfälle zu verhindern. Das können sie nur, wenn sie die Anforderungen von ISO 26262 an Design und Entwicklung von Sicherheitsfunktionen in Fahrzeugen erfüllen. Was gilt es bei der Entwicklung zu beachten?
... Ein qualifiziertes Statische-Analyse-Werkzeug als Teil des Software-Entwicklungsprozesses eröffnet Vorteile schon im frühen Entwicklungsstatium:
- Durchsetzen von Programmier-Standards für Safety, Security und Stil ...
- Weniger Fehler bei der Entwicklung ...
- Auffinden schwerer Fehler, die das Testen umgehen ...
- Analyse von veraltetem und Third-Party Code ...
- Schnellerer Zertifizierungsnachweis ...
Um den Nutzen von Statische-Analyse-Werkzeugen nachzuvollziehen, ist es hilfreich zu verstehen, wie Fehler in Programme gelangen und wie diese gefunden und behoben werden ...
Elektronik automotive, 8/9. September 2016 (hier bestellen)

Das Verständnis von Legacy-Codes ist schwierig. ... Daraus ergibt sich der Bedarf an einem umfassenden Reengineering/Reverse Engineering-Tool. Wir fanden den Einsatz von Imagix 4D gut, da es ein Maximum an bildlichen Darstellungen in Form von Flussdiagrammen, Flussgraphen, Klassendiagrammen, Metriken und teilweise auch dynamischen Visualisierungen erzeugt. ...
Imagix 4D ist ein gutes Werkzeug in Bezug auf die Vielfalt der unterstützten Sprachen, die grafische Benutzeroberfläche, die maximale Diagrammerstellung und die Möglichkeiten zur Visualisierung von Informationen durch Filtertechniken.
Rashmi Yadav, Ravindra Patel, und Abhay Kothari: Kritische Bewertung des Reverse-Engineering-Tools Imagix 4D! (Link zu Springerplus, online veröffentlicht 2016)

Cyber-Bedrohungen entdecken: Statische Analyse schützt SCADA-Systeme

Programme enthalten Code, der seine vorgesehene Arbeit erledigt, jedoch einen Angriffspunkt für Hacker bietet. Bei der Ermittlung dieser Schwachstellen hilft eine statische Codeanalyse wie sie Grammatech anbietet. Die Anzahl an Cyber-Attacken steigt exponentiell und mit ihr auch die Kosten, die durch Ausfälle entstehen. Daher müssen die Planer von SCADA-Systemen (Supervisory Control And Data Acquisition) alle Sicherheitsaspekte beachten.
Elektroniknet.de, 20. Juli 2016

Sicherheitskritische Software bezahlbar

Software wird in immer stärkerem Maße für sicherheitskritische Aufgaben eingesetzt. Während die Entwicklungskosten pro Codezeile gleich bleiben, steigt der Umfang des Codes exponentiell an. Genau wie der Code steigen auch die Kosten durch Fehler exponentiell an. Mit geeigneten Entwicklungswerkzeugen lässt sich das Dilemma aber lösen.
Elektroniknet.de, 21. Juni 2016

Codefehler schneller finden

Wachsende Komplexität, Zeitdruck, Vernetzung oder Integration fremder Programme sorgen dafür, dass die Anforderungen an Entwickler von Embedded Software ständig steigen. Aufgrund dessen entstehen immer mehr Fehlerquellen. Dank statischer Analysetools ist es möglich Probleme frühzeitig auszurämen und teuere Nachbesserungen zu vermeiden.
E&E Ausgabe 5, Juni 2016

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

Testwell CTC++ ist ein kommerzielles Werkzeug und erheblich leistungsfähiger als gcov, wenn mehr als nur die Zeilenüberdeckung gefragt ist. [...] Die Bedienung des Tools ist ebenso einfach wie die von lcov. Sie wird in der ausführlichen Benutzerdokumentation erläutert. ...
Für MBT gibt es eine Reihe von Werkzeugen in Forschungsprojekten, aber eine überschaubare Anzahl kommerziell verfügbarer Werkzeuge. ...
Erschienen im dpunkt.verlag
Rezension: In der Softwarepraxis steht der Notwendigkeit möglichst umfangreich zu testen, die Anforderung entgegen, den Testaufwand möglichst gering zu halten. >mehr

Grünen-Chef Cem Özdemir besucht den Technologie Park-Offenburg

Cem Özdemir sprach mit dem Geschäftsführer Klaus Lambertz von der Verifysoft Technology GmbH. Die Firma ist auf Entwicklung, Vertrieb und Support von Softwaretest- und Analysetools spezialisiert. Sie berät weltweit über 500 Kunden in mehr als 30 Ländern. Mittelbadische Presse, 07. Juni 2016

Embedded Automotive und MISRA C

Bei der Entwicklung von embedded Software für Fahrzeuge ist C immer noch die populärste Programmiersprache - aber C-Programme sind anfällig für ernste Speicherzugriffsfehler. MISRA C empfiehlt den Einsatz eines automatisierten statischen Analysetools, um Verletzungen des Standards aufzuspüren. Allerdings sind nicht alle Tools gleich gestaltet und einige können nur über oberflächliche syntaktische Eigenschaften des Codes Schlussfolgerungen ziehen. Anspruchsvollere Tools wie CodeSonar bieten fundierte semantische Kenntnisse des gesamten Programms.
Elektronik Praxis, 19. April 2016

Entwicklungswerkzeug: CodeSonar 4.1 zertifiziert

Die SGS TÜV Saar GmbH stufte CodeSonar 4.1 von Grammatech als zertifizierbar nach den internationalen Standards ISO 26262, IEC 61508 und EN 50129 ein, die die funktionale Sicherheit von Elektronik innerhalb von Industrieanwendungen, Automotive Systems, Medizingeräten und Bahnanwendungen definieren.
Derzeit unterstützt CodeSonar die Einhaltung folgender Normen: MISRA C:2004 und 2012, ISO 26262, DO 178B, DISA STIG, FDA, MITRE CWE, NASA-JPL-Regeln und U.S. CERT Build Security In (BSI).
Elektroniknet.de, 30. März 2016

Sicherheitslücken aufdecken: Binäranalyse für ARM

GrammaTech erweitert die statische Analyse-Engine von CodeSonar für ARM-Prozessoren um eine Binäranalyse. Damit vereinfacht sich die Untersuchung von Anwendungssoftware, Middleware und Firmware. In der wachsenden IoT-Welt, in der eingesetzte Geräte immer mehr Cyberangriffen ausgesetzt sind, wird die Analyse von Maschinencode besonders wichtig.
Elektroniknet.de, 3. März 2016

Codeanalyse: GrammaTech erweitert CodeSonar und bietet IoT-Trainings an

GrammaTech, Spezialist für die Qualitätssicherung in der Softwareentwicklung, hat die Version 4.2 seines statischen Codeanalyse-Tools CodeSonar fertiggestellt. Das Werkzeug zielt auf Unternehmen in der Automobilbranche, Medizintechnik, Elektronik, Industrie und weiteren Branchen.
CodeSonar 4.2 ist laut Hersteller das einzige kommerzielle statische Analyse-Tool mit Binärcodeanalyse, das Plattformkompatibilität zur 64-bit-Intel- und auch zur ARM-Mikroprozessorfamilie bietet ...
Elektronik Praxis Ausgabe 4/2016

Weniger Softwarefehler dank statischer Analyse

Die Entwicklung von Embedded Software für sicherheitskritische Kfz-Anwendungen verlangt einen rigorosen Ansatz. Die meisten Branchen mit sicherheitskritischen Anforderungen setzen auf die Vorteile der statischen Analyse. Auch MISRA-C-Richtlinien empfehlen ausdrücklich den Einsatz von automatisierten Tools zur statischen Analyse, um Verletzungen des Standards aufzudecken.
Hanser automotive Ausgabe 1-2/2016 pdf-Version

Beijing Siener Electronics Tech. Development Ltd. Becomes Distributor for Testwell-Tools in China

Verifysoft, vendor of the leading Test Coverage Analyser Testwell CTC++ and the software testing and analysis tools Testwell CTA++, CMT++, and CMTJava announced the appointment of Beijing Siener Electronics Tech. Development Ltd. as its distributor in China.
Beijing Siener, a privately held company with headquarters in Beijing/China with offices in Shanghai/China, represents already companies like HighTec EDV-Systeme GmbH, pls Development Tools, and GLIWA GmbH in the fast growing Chineese market.
Professional Tester, February 2016

Verifysoft Becomes Distributor of the Source Code Checking and Architecture Analysis Tool Imagix 4D

Imagix Corporaton has choosen Verifysoft Technology as European distributor for its Source Code Checking and Architecture Analysis Tool Imagix 4D. Verifysoft will handle sales and support for Imagix in Germany, Austria, Switzerland, Liechtenstein, France, Netherlands, Belgium, Luxemburg, Poland, Czech Republic, Slovakia, Hungary, Slovenia, Spain and Portugal....
Professional Tester, 27 January 2016

Codeabdeckung analysieren

Die Version 8.0 ihres Analysewerkzeugs zur Codeabdeckung "Testwell CTC++" stellt Verifysoft vor. Das Tool unterstützt laut Hersteller alle Embedded Tarrgets und Mikrocontroller und arbeitet mit allen Compilern. Ein Tool-Qualification-Kit steht unter anderem für die Normen IEC 61508, ISO 26262 und DO-178 zur Verfügung. Mit dieser neuen Version können Anwender Annotierungen in die Coverage-Reports einfügen, und über ein Add-on lässt sich die Testabdeckung grafisch in Kontrollflussdiagrammen anzeigen.
Design & Elektronik Ausgabe 1/2016

Die nicht ganz ernst gemeinte Meldung zur Entspannung zwischendurch:

Verifysoft-"Betriebshund" Joschi Bär ist next!-Hund des Monats

Eigentlich bin ich schon in Rente, aber trotzdem komme ich jeden Tag mit meinem Herrchen auf die Arbeit. ...
Wenn Sie mich nach meiner Hauptbeschäftigung bei Verifysoft fragen ... naja ... also so ungefähr die Hälfte der Zeit schlafe ich ...
Ganze Meldung lesen: Next!, Januar 2016

Verifysoft announces new version 8.0 of Testwell CTC++ Code Coverage Analyser

Verifysoft Technology announces the release of version 8.0 of its flagship tool Testwell CTC++ Code Coverage Analyser.
New major features of Testwell CTC++ 8.0 include improved the overall architecture of the HTML form coverage report, introduced "line coverage" in the HTML report, introduced "annotations", improved reporting of header files, improved merging of coverage data of independently tested code files...
Professional Tester, 31 December 2015

Einblick in die statische Code-Analyse: Auf verschlungenen Pfaden

(von Dr. Paul Anderson, GrammaTech)
Statische Code-Analyse ist ein wichtiges Hilfsmittel, um Software-Qualität zu sichern. Schon bei einfachen Programmen ist die Zahl der Programmzustände schier unüberblickbar. Kein Analyse-Tool kann alle Zustände lückenlos analysieren. Die Nutzer müssen deshalb die Arbeitsweise dieser Tools kennen und die Analyseparameter passend abstimmen.
... Die Werkzeuge der ersten Generationen wie Lint und dessen Nachfolger arbeiten mit oberflächlichen Techniken, um recht einfache Probleme ... zu finden. Die Tools der neuesten Generation ... nutzen deutlich ausgefeiltere Techniken. Sie können alle Probleme finden, die für die frühen Werkzeuge auffindbar waren, und dazu entdecken sie auch versteckte Programmierfehler, die anderweitig schwer zu erkennen sind. ...

Design & Elektronik

The needed impact of the IoT on software engineering

(By Marc Brown, GrammaTech)
The Internet of Things is a paradigm impacting our daily life for good or bad. IoT software needs security by design, therefore it is a business imperative. Manufacturers must evaluate the cyber threats and level of exposure of IoT devices, implementing all necessary design checks and countermeasures against the accelerating set of menaces. ... Fortunately, static analysis tools for source and binary have the ability to detect vulnerabilities before products are shipped, dramatically reducing security threats and corporate exposures that cost organizations several millions of dollars. ...
boards & solutions + ECE October 2015 (PDF) (from page 14 onwards)

GrammaTech verdoppelt Cyber-Security-Forschung

GrammaTech kündigt eine neue Forschungsinitiative an, um mithilfe von jüngsten Fortschritten bei Hard- und Software die Sicherheit eines Systems zu steigern. Dieses Projekt wird von der DARPA (Defense Advanced Research Projects Agency) unter dem Cyber-Fault-Tolerant Attack Recovery (CFAR) Programm gefördert, und ist Teil umfassender Bemühungen von GrammaTech, um effiziente automatisierte Abwehrmaßnahmen gegen alle Arten von Cyber-Angriffen zu entwickeln. ... Der neueste Vertrag kombiniert fortschrittliche Binäranalyse und Transformationstechnologie mit neuen Verfahren der Diversifizierung von Binärdaten. ... Mit der daraus entstehenden Technologie soll ein System verstehen können, wenn eines seiner Programmvarianten beeinträchtigt wrude.
Embedded Design Ausgabe 5/2015

Statische Codeanalyse: Rettende Software

Rückrufe von medizinischen Geräten sind nicht ungewöhnlich. Einer der wichtigsten Gründe dafür ist fehlerhafte Software. Laut der US-amerikanischen Aufsichtsbehörde FDA beruhen vier von zehn Ausfällen von Medizingeräten auf einem Softwareproblem. Darum empfiehlt sie den Einsatz von statischen Analysetools, um Softwarefehler bereits in der Entwicklung auszumerzen. ...
MEDIZIN + elektronik , Ausgabe 2/2015

Code-Analyse verbessert

GrammaTech präsentiert die weiterentwickelte Version 4.1 der Code-Analyse-Software CodeSonar. Neuerungen sind beispielsweise die 64-bit-Binäranalyse, die verteilte Analyse sowie eine verfeinerte Tainted-Datenanalyse. Firmenangaben zufolge bietet die Software die Binäranalyse mit Plattformkompatibilität zur 64-bit-Intel-Mikorprozessor-Familie als derzeit einziges statisches Analysetool. Zudem kann das Tool die statische Analyse über eine Vielzahl an heterogenen Rechnern verteilen. Diese Fähigkeit beschleunigt zum einen die Analysegeschwindigkeit, zum anderen erhalten Entwickler die Flexibilität, dei Intensität der Analyse zu steigern, um mehr Fehler aufzudecken.
Computer & Automation, Ausgabe 6/2015

Komplexität beim embedded Software Design: "Best Practises" für statische Analysetools

Embedded Entwickler stehen unter größerem täglichen Druck als Programmierer in anderen Industrien ... Außer Haus produzierter Code birgt besondere Risiken ... C und C++, die gängigen Sprachen für embedded Software, beinhalten besondere Risiken ... Unabhängig davon, welchen Code embedded Entwicklungsteams schreiben, ist eine Fehleridentifizierung zu einem frühen Zeitpunkt wertvoll ... Der Trend zur Vernetzung von embedded Systemen vergrößert die potenziellen Angriffsflächen für Hacker ... Das Programmieren von Multithreaded Anwendungen ist äußerst komplex und ermöglichst schwer auffindbare Fehler ... Nur mit den fortschrittlichsten statischen Analysetools können Sie die Herausforderungen durch neue regulatorische Normen erfüllen ...
Embedded Design Ausgabe 4/2015

Mehr Qualität und Sicherheit: Code-Analyse auch für Binaries

Grammatech erweitert sein Code-Analyse-Tool "CodeSonar" in der Version 4.1 um verteilte Analysefä,higkeiten, eine noch tiefer gehende Tainted-Data-Analyse und Binäranalyse-Support für x64-Prozessoren. Diese Neuerungen helfen Entwicklern beim Programmieren von stabileren und sichererem Code für die Internet-of-things-Ära, in der immer mehr Softwaresysteme auf manchmal unberechenbare und oft unsichere Art vernetzbar sind. "Embedded Systeme brauchen besseren Schutz vor Cyberangriffen und Qualitätseinbrüchen" ...
Markt & Technik, Ausgabe 12/2015

Codeanalyse: Grammatech steigt ins Internet der Dinge ein

Die Version 4.1 des Analysewerkzeugs CodeSonar von Grammatech widmet sich den Anforderungen von Embedded-Software, die mit dem Internet der Dinge kommuniziert. Die Analyse potenziell unsicherer Daten sowie von kompilierten Binärdateien soll die Betriebssicherheit verbessern helfen.
"Embedded Systeme brauchen besseren Schutz vor Cyber-Angriffen und Qualitätseinbrüchen", betont Dr. Paul Anderson, Vice President Engineering bei GrammaTech. "Mit den Features von CodeSonar 4.1 stoßen Entwickler einfacher auf Fehler, die tief in Codebasen vergraben oder in Fremdcode versteckt sind." ...
Elektronik Praxis, 2. März 2015

CodeSonar 4.1 soll Qualität und Sicherheit von Embedded-Software fürs Internet of Things bringen

GrammaTech, Hersteller von Tools zur Entwicklung von Embedded-Software, hat die Version 4.1 der Codeanalyse-Software CodeSonar angekündigt. Das Werkzeug für C/C++- und Java-Entwickler prüft sowohl Quell- als auch Binärcode, um Sicherheits- und Qualitätsfaktoren zu identifizieren, die zu Systemabstürzen, Speicherfehlern, Data Races und anderen unerwarteten Schwachstellen führen können. Mit der Summe der Neuerungen in CodeSonar 4.1 will GrammaTech Entwicklern beim Programmieren stabileren und sichereren Codes für Systeme des Internet der Dinge helfen. ...
heise Developer, 2. März 2015

Analysewerkzeuge: Code-Prüfung erfolgt über diverse heterogene Rechner

Die Version 4.1 der Codeanalyse-Software CodeSonar von Grammatech spricht Unternehmen an, die sich weder Fehler noch Schwachstellen in ihrem Code leisten können. Die überarbeitete Softwareversion erlaubt es, die statische Code-Analyse über eine Vielzahl an heterogenen Rechnern verteilen. Diese Fähigkeit beschleunigt die Analysegeschwindigkeit erheblich. Zugleich erhalten Entwickler die Flexibilität, die Intensität der Analyse zu steigern, um mehr Fehler aufzudecken. ...
Elektronik Praxis, 4. Februar 2015

Statische Analyse mit 64-bit Binäranalyse und mit Prüfung auf Tainted-Buffer-Zugriffe

Auf der embedded world präsentiert GrammaTech Version 4.1 seiner Codeanalyse-Software CodeSonar. ... Das statische Analysetool bietet Binäranalyse mit Plattformkompatibilität zur 64-bit Intel Mikroprozessor-Familie. In der aktuellen Version erlaubt das Programm die statische Analyse über diverse heterogene Rechner. Diese Fähigkeit beschleunigt die Analysegeschwindigkeit nach Anbieterangaben erheblich; zugleich erhalten Entwickler die Flexibilität, die Intensität der Analyse zu steigern, um mehr Fehler aufzudecken. Das Unternehmen hat die Genauigkeit seiner Taint-Analyse wesentlich erhöht und darüber eine komplett neue Prüfung auf Tainted-Buffer-Zugriffe eingeführt. Mit den Algorithmen der Taint-Analyse gestattet die Lösung auch indirekte Funktionsaufrufe genauer zu untersuchen.
Embedded Design Ausgabe 2/2015

Code-Coverage für sicherheitskritische Software

Neben »CodeSonar« von GrammaTech, einem Werkzeug für die statische Codeanalyse, stellt Verifysoft in Nürnberg »Testwell CTC++« vor. Das Tool zeigt die Testabdeckung für alle Code-Coverage-Stufen bis zur Modified-Condition-Coverage (inkl. MC/DC-Coverage) und arbeitet mit allen Compilern und zeigt die Code-Abdeckug auf allen - selbst kleinsten - Embedded Target und Mikrocontrollern an. Die Zertifizierung sicherheitskritischer Software nach den Normen DO-178C, EN 50128, IEC 61508 und ISO 26262 wird jetzt durch die Anwendung des Qualification-Kits für "Testwell CTC++" vereinfacht. (rh)
Design & Elektronik Ausgabe 1/2015

Codeanalyse

Auf der embedded world präsentiert GrammaTech die weiterentwickelte Version 4.1 seiner Codeanalyse-Software »CodeSonar«. Sie unterstützt die Binäranalyse mit Plattformkompatibilität zu Intels 64-Bit-Prozessoren. In der aktuellen Version kann die Analyse über mehrere heterogene Rechner verteilt werden, außerdem wurde die Genauigkeit der Taint-Analyse erhöht. (mc)
Design & Elektronik Ausgabe 1/2015

Sicherheitslücke Poodle: Unterschied zwischen Design- und Code-Fehlern

... Mit CodeSonar können beispielsweise eigene Prüfprogramme für benutzerdefinierte Eigenschaften geschrieben werden. Zur Erleichterung lassen sich prozessübergreifende, pfadsensible Algorithmen zur Programmuntersuchung für das gesamte Programm nutzen. Das macht auch das Schreiben von sehr komplexen Anfragen relativ einfach. Der Poodle Bug ist ein ausgezeichnetes Beispiel dafür, warum die Entwicklung und Übernahme von formalen Methoden für die Industrie so bedeutend ist. GrammaTech findet es wichtig, dass sich die Industrie in diese Richtung bewegt. Das Unternemen führt zahlreiche von der NASA, der National Science Foundation und der U.S. Navy finanzierte Forschungsprojekte durch und arbeitet an den geeigneten Werkzeugen für die Entwicklung der Spezifikationen und der Verwaltung von deren Beziehungen zum Code.
Embedded Design Ausgabe 1/2015

ESE 2014 Verifysoft zeigt Tools für Code Coverage und statische Software-Analyse

Höhere Softwarequalität bei geringeren Entwicklungskosten hat sich Verifysoft als Ziel für seine Kunden auf die Fahnen geschrieben. Auf dem ESE Kongress stellte der Spezialist und Distributor für Softwaretest und -Analyse Testwell CTC++ für C, C++, Java, C# sowie den GrammaTech CodeSonar vor.
Elektronik Praxis , 9. Dezember 2014

Sicherheit von Embedded Automotive Software: Schnittstellen erhöhen das Risiko

Ob CD-Spieler oder USB-Schnittstelle - ein modernes Auto besitzt viele Angriffspunkte für Hacker. Der Breite Einsatz der Programmiersprache C vergrößert das Risiko noch. Deutlich mehr Sicherheit bietet der Wechsel zu MISRA-C oder MISRA-C++ in Verbindung mit einem modernen Statische-Analyse-Tool. ... (von Dr. Paul Anderson, GrammaTech)
Elektronik automotive 12/2014 Dezember 2014

Schutz vor faulen Daten

Das englische "Taint" steht für einen Makel - und das im doppelten Sinn: Es kann sowohl Fehlerhaftigkeit als auch moralische Verderblichkeit bedeuten. Genauso ist es mit Angriffen auf Embedded-Systeme: Es werden die Systeme mit manipulierten Daten so gefüttert, dass Fehler provoziert werden. Dann bricht sich die kriminelle Energie Bahn, indem Angreifer die Kontrolle über das System übernehmen. Deshalb ist es wichtig, die Angriffspunkte zu kennen und die Wege, die fehlerhafte - "tainted" - Daten nehmen können. ... (von Dr. Paul Anderson, GrammaTech)
Elektronik 24/2014 November 2014

Sicherheit von Embedded Automotive Software

Die Produktunterscheidungsmerkmale in Bezug auf Automobilherstellung verlagern sich weiterhin von rein mechanischen hin zu einer Mischung aus mechanischen und Software-basierten Funktionen. Bereits heute wächst der Wettbewerb zwischen Herstellern, die sich auf die Intelligenz ihrer Fahrzeuge konzentrieren, und moderne Software-basierte Eigenschaften rücken im Automobil-Marketing immer mehr in den Fokus. Der Wettbewerb nach qualitativ hochwertiger Automotive Software wird sich in Zukunft noch verschärfen.
Springer Professional, 1. November 2014

Setting the Standard for Medical Device Software

Developers of medical devices face the challenge of creating safety-critical software for applications where human lives are at risk. ...
... Use of an advanced static analysis tool will ensure that coding standards have been properly implemented and should be used whenever new code is checked in and routinely at every software build. Using these protices developers of medical devices can rest assured they are doing everything possible to deliver high quality safety-critical code that will help save lives.
by Paul Anderson, Vice President of Engineering at GrammaTech
Electronics World, October 2014

So spüren Sie Schadsoftware in Entwicklungssystemen auf

Mit der Funktionalität von Software steigt das Risiko für Programmierfehler, die zu Sicherheitslücken in Embedded-Systemen führen können. Gefährdet sind vor allem Systeme mit Code verschiedener Anbieter. Die Taint-Analyse-Technik legt offen, wie gefährliche Daten von einem Programmteil zum nächsten fließen und Sicherheitsprobleme auslösen.
Elektronik Praxis, 13. Oktober 2014

Mehr Qualität durch statische Binary- und Sourcecode-Analyse im Mixed-Mode

Software wird zunehmend komplexer und erfordert damit den Einsatz effizienter Testwerkzeuge. Besonders kritisch sind Binärkomponenten, da oft nicht bekannt ist, ob diese unter ähnlich strengen Qualitätsmaßstäben erstellt wurden wie sie für den Rest der Applikation gefordert sind. Neben möglichen Fehlern in der Binärkomponente selbst, können im Verbund Fehlfunktionen durch eine falsche Verwendung der Schnittstellen auftreten. Mittels intelligenter Verbindung von statischer Binary- und Sourcecodeanalyse, begegnet CodeSonar Edition 4.0 GrammaTech diesen Problemen.
PC & Industrie, Ausgabe 8/2014 Jg.18

Embedded-Software-Design: Leifaden zu Statischer Analyse

Embedded-Entwickler stehen unter größerem Druck als Programmierer in anderen Industrien, während die meisten Entwicklungsteams von weniger Komplexität dank Cloud-basierter, homogener Hardware und Visualisierung profitieren, sieht es bei Embedded-Spezialisten ganz anders aus: Sie müssen Anwendungen programmieren, die durchgängige und vorhersehbare Leistung über eine steigende Anzahl an heterogenen Hardware-/Prozessor-Konfigurationen bringen, die immer neue Features beinhalten, und stehen dabei vor vielen weiteren Herausforderungen.
Design & Elektronik , 30. Juli 2014

Developer Snapshots

Das statische Analysetool CodeSonar von GrammaTech wurde für den Einsatz bei der Entwicklung von sicherheitskritischer Software nach den internationalen Standards ISO 26262, IEC 61508 und EN 51028 zertifiziert. Diese drei Standards definieren die funktionelle Sicherheit von Elektronik in Automotive-Systemen, medizinischen Geräten und Eisenbahn-Anwendungen. Developer Snapshots, 4. Juli 2014

CodeSonar ist ISO 26262, IEC 61508, und EN 50128 zertifiziert

Das statische Analysetool CodeSonar von GrammaTech wurde für den Einsatz bei der Entwicklung von sicherheitskritischer Software nach den internationalen Standards ISO 26262, IEC 61508 und EN 51028 zertifiziert. Die Prüfung erfolgte bei der SGS TÜV Saar GmbH, wo man analysierte, wie die Funktionalität und Entwicklungsprozesse von CodeSonar die Voraussetzungen für diese Standards erfüllen. Hanser Automotive, 14. Juli 2014

Static code analysis tools gain ISO 26262, IEC 61508, EN 50128 certification

GrammaTech, Inc., has announced that CodeSonar, the company's static analysis product, has been certified for use in the development of safety-critical software according to several international standards: ISO 26262, IEC 61508, and EN 50128 for automotive systems, medical devices, and railway applications, respectively. EE Times Europe, 4 July 2014

CodeSonar Achieves ISO 26262, IEC 61508, and EN 50128 Certification

Innovative Visual Taint Analysis for Understanding Hazardous Data Flow in Code Improves Embedded Device Reliability and Security
Ithaca, NY — GrammaTech, Inc., a leading maker of tools that improve and accelerate software development, today announced that CodeSonar, the company's flagship static analysis product, has been certified by SGS TÜV Saar GmbH for use in the development of safety-critical software according to several international standards: ISO 26262, IEC 61508 and EN 50128. These three standards were designed to define the functional safety of electronics throughout their lifecycle within automotive systems, medical devices, and railway applications, respectively. Professional Tester, 2 July 2014

Gefährlichen Datenflüssen im Code auf der Spur:
Visuelle Fehleranalyse für embedded Software

Fehleranalyse im Quellcode ist eine anstrengende und langwierige Tätigkeit, wollen Entwickler diese ohne technische Unterstützung umsetzen.
Doch besonders in kritischen Anwendungen müssen die Programme fehlerfrei mit Null-Fehler-Toleranz laufen. Eine visuelle Sicherheitsanalyse soll Programmierern helfen, diesen Anforderungen gerecht zu werden. ... SPS Magazin 28. Mai 2014

GrammaTech wirft Licht auf blinde Code-Flecken

Der amerikanische Tool-Hersteller GrammaTech hat sein Analysewerkzeug CodeSonar 4 im Markt eingeführt. Das Tool dient zur Prüfung von Software, die in C/C++, Java oder Maschinencode geschrieben ist.
Im Vergleich zu den vorherigen Versionen sind Funktionen zur Analyse von Drittanbieter-Code, zur Normenkonformität, zur Beseitigung von anspruchsvollen Multicore-Problemen und für größere Codesicherheit hinzugekommen.
Elektronik Praxis, 10. März 2014

GrammaTech Unveils Visual Security Analysis for Embedded Software

Innovative Visual Taint Analysis for Understanding Hazardous Data Flow in Code Improves Embedded Device Reliability and Security
GrammaTech, Inc., a leading maker of tools that improve and accelerate embedded software development, today introduced the industry´s first visual taint analysis technology. Available in CodeSonar, GrammaTech´s flagship static analysis product, this innovation combines advanced tainted dataflow analyses with GrammaTech´s proprietary visualization engine, to clearly display notoriously hard-to-find tainted data pathways in embedded systems. ... Professional Tester, 25 February 2014

Security-Lecks visuell entdecken

GrammaTech kombiniert für sein Tool "Visual Taint Analyse" hoch entwickelte Datenfluss-Analysen mit einer proprietären Visualisierungs-Engine und zeigt so schwer auffindbare, fehlerhafte Datenpfade in Embedded Systemen übersichtlich an.
Die visuelle Fehleranalyse von GrammaTech ist Teil von "CodeSonar", einem statischen Analysetool, und erfasst potenziell gefährliche Datenflüsse in auf C/C++-basierenden Anwendungen, die Entwickler von Hand selbst mit erheblichem Aufwand kaum zuverlässig feststellen können. Nach der Identifizierung zeichnet "CodeSonar" die möglichen Pfade der Daten in der Applikation auf, die zu einem unerwarteten oder unsicheren Programmverhalten führen könnten. ...
www.elektoniknet.de (Artikel vom 11.03.2014)

Visuelle Sicherheitsanalyse für eingebettete Software

Der US-Softwerker GrammaTech kombiniert Datenfluss-Analysen von Embedded-Systemen mit einer selbst entwickelten Visualisierungstechnik. Diese Kombination soll es erlauben, schwer auffindbare und potenziell fehlerhafte Datenpfade zu ermitteln.
Die sogenannte Visual Taint Analysis steigert laut GrammaTech die Geschwindigkeit und Genauigkeit, mit der Entwickler Datenflüsse im System verfolgen können. Sie erfasst potenziell gefährliche Datenflüsse in C- oder C++-Anwendungen, die Entwickler von Hand kaum zuverlässig feststellen können. ...
Artikel Elektronik Praxis, 10. März 2014

Embedded software security analysis gets visual

Brought by GrammaTech, visual taint analysis technology is available in the company's flagship static analysis product, CodeSonar, combining advanced tainted dataflow analyses with a proprietary visualization engine to clearly display notoriously hard-to-find tainted data pathways in embedded systems... EE Times Europe, 4. March 2014

Analyse für Umgebungen mit Nulltoleranz für Fehler

CodeSonar führt die Quellcodeanalyse über das gesamte Programm und alle Prozesse auf dem jeweiligen C/C++ Code aus und identifiziert dabei Programmierfehler, die zu Systemabstürzen, Speicherfehlern und anderen schwerwiegenden Problemen führen können. Die ausgereifte statische Analyse von CodeSonar lokalisiert Fehler punktgenau, aufwendiges Testen entfällt. CodeSonar wurde für Unternehmen mit Nulltoleranz für sowohl Fehler als auch potenzielle Schwachstellen in ihrem Code entwickelt... Artikel Hanser Automotive , 21. Januar 2014

Qualification-Kit für "Testwell CTC++"

Ein Qualification-Kit für den Code-Coverage-Analyser "Testwell CTC++", das die Sicherheitsnormen DO-178C, EN 50128, IEC 61508 und ISO 26262 abdeckt, stellt Verifysoft vor. Dieses Kit vereinfacht die Zertifizierung von eingebetteter Software, deren Testabdeckung mit Testwell CTC++ analysiert wird. Der Coverage-Analyser zeigt die Testabdeckung für alle Code-Coverage-Stufen bis zur Modified-Condition-Coverage (inkl. MC/DC-Coverage), arbeitet laut Hersteller mit allen Compilern und allen - selbst kleinsten - Embedded Targets und Mikrocontrollern.
Design & Elektronik 01/2014 Design & Elektronik Homepage

Sicher geschnürt: Kriterien für das Testen sicherheitskritischer Systeme

Manche Projekte liefern aus, wenn das Budget für den Softwaretest ausgeschöpft ist oder sich der Release-Termin nicht noch einmal herausschieben lässt. Bei Smartphones und bestimmten Anwendungen lassen sich Bugfixes notfalls nachträglich über Updates per Internet aufspielen. Viel strengere Normen, wann eine Software ausreichend getestet ist, gelten bei der Entwicklung sicherheitskritischer Systeme. ... (von Daniel Fischer und Klaus Lambertz)
iX Developer 2/2014 hier bestellen

Bug Hunting mit statischer Codeanalyse

Statische Testverfahren zählen zu den analytischen SW-Qualitätssicherungsverfahren. Neben Komplexitätsmetriken, Architektur- und WCET-Analysen stellt insbesondere die statische Codeanalyse eine effiziente Möglichkeit dar, um Software-Bugs zu finden, welche durch dynamische Testverfahren (White-Box- und Black-Box-Testing) nicht entdeckt wurden. Diese unentdeckten Fehler können wie tickende Zeitbomben angesehen werden, die dann im Wirkbetrieb beim Kunden zu schwerwiegenden Systemausfällen führen und damit immense Kosten verursachen können. Neben den klassischen Rules-Checkern (MISRA, CERT) sind insbesondere Ansätze, die datenfluss- und kontrollflussorientierte Verfahren mit interprozeduraler Analyse kombinieren, in der Praxis einfach und effizient einsetzbar. Durch deren globale Sichtweise werden bisher unentdeckte und teils komplexe Bugs im Programmcode gefunden.
Tagungsband ESE-Kongress 2013 (Auszug, 9 Seiten)
© 2013 Prof. Dr. Daniel Fischer (Hochschule Offenburg) / ESE-Kongress

Testwell CTC++: Code Coverage Analysis for safety-critical Embedded Systems

Software for embedded systems is often used in safety-critical systems. In this area malfunctions could lead to accidents or damages of high magnitude and even to loss of lives. Therefore, security standards such as the DO178-C (aviation), the ISO 26262 (automotive) or the EN 50128 (railway) demand harsh proof of code coverage. In dependency to the criticality, a suitable level of code coveage has to be applied.
DSP Valley Newsletter 5/2013 (November 2013)

Kriterien für das Testen sicherheitskritischer Systeme: Der Sicherheit zuliebe

Gründliche Softwaretests werden zwar oft gefordert, fallen aber oft Zeit- und Budgetgrenzen zum Opfer. Bei sicherheitskritischen Systemen gelten dagegen definierte Vorschriften, von denen auch andere Entwicklungsbereiche lernen können. ...
... Für sicherheitskritische Software schreiben Normen die Testtiefe und die anzuwendende Test-Coverage-Stufen vor. Auch in nicht sicherheitskritischen Projekten kann die Coverage-Analyse in Verbindung mit Unit-Tests erheblich dazu beitragen, die Softwarequalität zu verbessern. Leistungsfähige Code-Coverage-Analyser lösen dabei auch die besonderen Herausforderungen, die Embedded-Software mit sich bringt.
Artikel heise Developer, 22.10.2013

Analyse-Tool erkennt komplexe Programmfehler

CodeSonar von GrammaTech ist eine statisches Analyse-Tool für sicherheitskritische Anwendungen und wird von führenden Automobilherstellern eingesetzt. Es führt eine, das gesamte Programm abdeckende, interprozedurale Analyse von C/C++ Code durch und erkennt komplexe Programmierfehler ...
Artikel Elektronik Praxis, 7. September 2013

Verifysoft Technology übernimmt die Software-Testtools des finnischen Herstellers Testwell

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. ...
Seit die Offenburger Verifysoft Technology GmbH die Distribution der Testwerkzeuge in wichtigen europäischen Märkten übernommen hat, ist vor allen der Test-Coverage-Analyser "Testwell CTC++" zum Referenztool für die Entwicklung sicherheitskritischer Software geworden. Um höchste Softwarequalität garantieren zu können, ist die Testwell-Technologie heute bei allen deutschen Automobilherstellern und Zulieferern sowie zahlreichen Firmen aus Luft-, Raumfahrt und Medizintechnik im Einsatz.
Artikel aus PC & Industrie 8/2013

Verifysoft will internationaler werden

Das Offenburger IT-Haus Verifysoft hat eine Industrie-Software des finnischen Hersteller Testwell übernommen. Die Finnen haben ihren Rückzug aus diesem Segment angekündigt.
Vorerst läuft die Entwicklung der Testtools weiter bei den Finnen. "Ich gehe davon aus, dass wir in unser Personal aufstocken werden", sagt Klaus Lambertz von Verifysoft. ...
Artikel Econo, 1. Juli 2013

Günfelder: Software-Test für Embedded Systems

Automatische statische Code-Analyse

Wenn man vergleicht, wie schnell ein potenzieller Bug durch ein statisches Analysewerkzeug ... gefunden wird, und wie lange man benötigt, solche Bugs durch Debugging-Sessions auf Systemebene zu identizieren, dann ist man schnell davon überzeugt, solche Werkzeuge einzusetzen. Der Werkzeugeinsatz amortisiert sich relativ früh und ist bei Systemen mit Sicherheitsrelevanz nicht wegzudiskutieren. ... Auch die Wartbarkeit von Code verbessert sich, wenn man gleich von Anbeginn des Projekts automatische statische Analyse einsetzt und danach trachtet, immer null Warnungen zu erhalten: Viele gefährliche Code-Konstrukte werden von vornherein vermieden ...
Stephan Grünfelder: Software-Test für Embedded Systems Praxishandbuch dpunkt.verlag, Mai 2013

Werkzeuge für Funktionstests / Modellbasierter Test

Für zustandsbasierte Tests gibt es Werkzeuge, die aus dem Zustandsautomaten automatisch Tests erzeugen. Eine entsprechende formale Notation zu Zustandsübergängen erlaubt es, den Werkzeugen auf Basis der ansonsten grafischen eingabe des Automaten Testskripts zu erzeugen, dei zum Beispiel in einem Testsystem verwendet werden können. Ein Vertreter dieser Werkzeuge ist die Conformiq Tool Suite.
Für MBT gibt es eine Reihe von Werkzeugen in Forschungsprojekten, aber eine überschaubare Anzahl kommerziell verfügbarer Werkzeuge. ...
Die ... Conformiq Tool Suite gestattet MBT in Reinkultur. Das Werkzeug erzeugt Quellcode für Testskripts aus einem UML-Zustandsautomaten mit einer zu definierenden Testabdeckung.
Stephan Grünfelder: Software-Test für Embedded Systems Praxishandbuch dpunkt.verlag, Mai 2013 (Seite 164 u. 289)

Software-Analyse-Tool: Defekterkennung wird durch neue Funktion vereinfacht

GrammaTech hat sein Software-Paket CodeSonar zur Visualisierung von Software-Architekturen mit neuen Funktionen aufgewertet. Zu den aktuellsten Merkmalen gehört ein Baumdiagramm, das dem Anwender mit hoher Informationsdichte einen Überblick über die hierarchische Struktur des vorliegenden Codes vermittelt. Die Ansicht gibt die unterschiedliche Defektdichte in den einzelnen Moudlen durch verschiedene Farben wieder, so dass die Anwender die problematischen Abschnitte des Codes leicht erkennen können.
Die als Call Graph bezeichnete Funktion ist entsprechend der Modulstruktur organisiert. ...
Elektronik messen+testen 04/2013 Artikel (102 KB) Webseite Elektronik

Code-Analysetool deckt Softwarefehler automatisch auf

Für Softwareprojekte mit hohen Qualitätsanforderungen bietet Verifysoft Technology jetzt das statische Code-Analysetool CodeSonar des Testwerkzeugherstellers GrammaTech an.
CodeSonar ist ein leistungsfähiges Quellcode-Analysetool zum Aufdecken von Progammierfehlern und Sicherheitslücken in C, C++ und Java-Projekten. Dank einer leistungsfähigen Datenflussanalyse ist das Werkzeug außerordentlich präzise und zeigt durchschnittlich doppelt so viele kritische Defekte wie herkömmliche statische Code-Analysewerkzeuge. ...
PC & Industrie 03/2013 Artikel (164 KB)

GrammaTech erfolgreich im Automotive-Markt

GrammaTech hat die Position im vertikalen Automotive-Markt weiter ausgebaut. Die großen Automobilbauer in Europa, USA und Asien setzen die statischen Analyse-Tools des Unternehmens zur Steigerung der Zuverlässigkeit und Sicherheit ihrer Fahrzeuge ein.
Als einer der Hauptgründe für den Einsatz der GrammaTech-Technologie wird deren Fähigkeit angeführt, sowohl in Ein- als auch in Mehrkernanwendungen mehr kritische Defekte aufzuspüren. ...
www.elektoniknet.de (Artikel vom 29.02.2013)

GrammaTech: Programmierfehler schneller finden

Dass der Mars-Rover bislang unfallfrei seiner Erkundungsmission auf dem roten Planeten nachgehen kann, liegt auch an seiner sorgfältig geprüften Software. Statische Analyse-Werkzeuge wie CodeSonar helfen, Programmierfehler gezielt aufzuspüren.
Nicht nur die NASA, sondern auch Automobilhersteller und -zulieferer setzen auf spezielle Software, um gerade bei sicherheitskritischen Anwendungen Fehlern im Code systematisch auf die Spur zu kommen. Das statische Analyse-Tool CodeSonar von GrammaTech unterzieht Programme einer interprozeduralen Analyse des C/C++-Codes und erkennt komplexe Programmierfehler, die zu Systemabstürzen, fehlerhafter Speicherverwaltung und weiteren gravierenden Problemen führen können. ...
www.elektoniknet.de (Artikel vom 28.02.2013)

Version 7 ist die neueste Ausgabe des Coverage-Analysers "Testwell CTC++", die Verifysoft auf der Messe vorstellt. ...
Mit der neuesten Version des "Software Diagnostics Flight Recorders" können Entwickler über eine interaktive Trace-Visualisierung erkennen, welche Kombination von Eingabedaten oder Buttonklicks Fehler oder störend langsame Performance verursachen.
Design & Elektronik vom Februar 2013
Design & Elektronik Homepage

Code-Coverage auf Embedded-Systemen

Die Testabdeckung sowie der Testfortschritt lassen sich mittels Code-Coverage quantitativ bestimmen. Je nach Kritikalität des Embedded Systems sind dabei verschiedenartige Coveragestufen (Anweisungs- und Zweigüberdeckung, Modified Condition/Decision Coverage) anzuwenden. Zur Messung dieser Coveragestufen ist der Code zu instrumentieren und auf dem Host oder Target möglichst mittels automatisierten Tests auszuführen. Bei der Instrumentierung des Codes entstehen bei kleinen eingebetteten Systemen verschiedenartige Herausforderungen. Neben der Begrenzung durch RAM und ROM sollte beispielsweise das Zeitverhalten kaum oder nur gering beeinflusst werden. Im Rahmen des Papers wird auf die verschiedenen Coveragestufen und die Instrumentierung eingegangen. Die Probleme die dabei bei eingebetteten Systemen entstehen werden aufgezeigt und Lösungsmöglichkeiten dargestellt.
Tagungsband ESE-Kongress 2012 (Auszug, 11 pages, pdf, 899 KB)
© 2012 Prof. Dr. Daniel Fischer (Hochschule Offenburg) / ESE-Kongress

Statische Analyse-Tools tragen zur Erfüllung der ISO 26262 bei

... Mit dem vermehrten Software-Einsatz lassen sich Funktionen realisieren, die nicht nur den Komfort, sondern auch die Sicherheit der Fahrzeuginsassen gravierend verbessern. Allerdings hat das seinen Preis. Denn sobald sicherheitskritische Funktionen im Auto per Software gesteuert werden, können sich dort Fehler einschleichen. ...
... CodeSonar unterzieht den gesamten C- oder C++-Quell-Code einer interprozeduralen Analyse und identifiziert Programmierfehler, die Systemabstürze auslösen, Speicherinhalte verfälschen oder andere Probleme hervorrufen können. Außerdem beinhaltet das Tool Funktionen zur Automatisierung des Arbeitsablaufs, darunter ein API für eigene Integrationen sowie Unterstützung für Ergänzungen mit individuellen Checks. ...
www.elektoniknet.de (Artikel vom 07.09.2012)

Tools Ensure Reliability of Critical Software

In November 2006, after attempting to make a routine maneuver, NASA´s Mars Global Surveyor (MGS) reported unexpected errors. The onboard software switched to backup resources, and a 2-day lapse in communication took place between the spacecraft and Earth. ...
After successfully adapting CodeSonar to check for the NASAderived rules, GrammaTech transitioned the changes into its commercial version of the product in 2008. ...
NASA Spinoff 2011

1000 Projekte später: Sicherheitscodescans in der SAP

von Rüdiger Bachmann and Achim D. Brucker
Statische Code Analyse (SCA) spielt in einem sicheren Softwareentwicklungsprozess (SDL) eine wichtige Rolle um mögliche Sicherheitsschwachstellen bereits zur Entwicklungszeit zu finden und zu beheben.
In diesem Vortrag berichten wir von unseren Erfahrungen in der großflächigen Einführung von statischer Code Analyse innerhalb der SAP AG.
OWASP-Talk

Code-Coverage auf kleinen Targets

In sicherheitskritischen Systemen darf kein Stück Code im Produktionsbetrieb ablaufen, ohne vorher intensive Tests durchlaufen zu haben. Aber auch zur Qualitätssicherung muss Software getestet werden. Um die Codeüberdeckung zu prüfen, sind zusätzliche Prüf-Instruktionen im Quellcode erforderlich. Auf kleinen Systemen mit wenig RAM kann sich der Entwickler dann etwas einfallen lassen, damit das funktioniert. ... (von Roland Bär und Prof. Dr. Daniel Fischer)
Elektronik 20/2012 Online auf elektroniknet.de

Code-Komplexität verringern und Kosten einsparen

Komplexe Software ist oft der Grund für schlechte Code-Qualität und fehlerhafte Programme. Die Softwarekomplexität hat einen direkten Einfluss auf den Testaufwand und die Wartbarkeit von Projekten und die dadurch entstehenden Folgekosten.
Mit dem Release der Version 2.0 von "Verybench for Testwell CMT++" wird die Analyse von Softwaremetriken jetzt deutlich einfacher. ...
PC & Industrie 08/2012 Artikel (141 KB)

How good are your software tests?

Testwell CTC++ Test Coverage Analyser will show you
Test coverage is used to evaluate the completeness of software tests. There are many standards which require test coverage measurements. ISO 26262 Road Vehicules Functional Safety requires according to the Safety Integrity Level statement coverage, branch coverage or MC/DC (Modified Condition/Decision Coverage). The aeronautics standard DO178-B requires test coverage up to MC/DC coverage. Coverage analysis is also widely used in healthcare industry and companies which are aware of higher software quality. ...
DSP Valley Newsletter 1/2012

Risiken von Multicore-Software: Data-Races sind niemals harmlos

Multicore-Prozessoren werden immer beliebter. Doch ihre effiziente Programmierung gestaltet sich schwieriger als bei ihren Pendants mit nur einem Rechenkern, denn bei ihnen vollkommen neue Arten von Fehlern ins Spiel kommen, und selbst in harmlos erscheinendem Code können sich knifflige Multithreading-Bugs verbergen, zum Beispiel "Data Races". Derartige Nebenläufigkeitsfehler schleichen sich leicht ein, sind mit traditionellen Testverfahren sehr schwierig zu finden und können sich teils durch recht rätselhafte Symptome äußern. Was sind die Ursachen und Risiken von Nebenläfigkeitsfehlern? Wie gelangen solche Fehler in den Code? Wie lassen sich derartige Defekte automatisch finden und eliminieren? ...
www.elektoniknet.de (Artikel vom 23.04.2012)

Tools für Testmanagement und Softwaretest

Mit "Testwell CTC++ 7.0" stellt Verifysoft die neueste Version ihres Code-Coverage-Analysers vor. Dieses Tool zeigt die Testabdeckung für alle Code-Coverage-Stufen bis zur Modified Condition Coverage (inkl. MC/DC-Coverage), so dass es sich für Zertifizierungen in der Luft- und Raumfahrt sowie in der Automobil- und Medizintechnik eignet. Testwell CTC++ arbeitet laut Hersteller mit allen Compilern und allen - selbst kleinsten - Embedded Targets und Mikrocontrollern. Mit der Tool-Suite "Conformiq" für die automatische Testgenerierung und "Elvior TestCast" für die Testausführung steht den Softwareprojekten jetzt eine End-to-End-Lösung von den Anforderungen bis zum Softwaretest zur Verfügung.
Design & Elektronik 02/2012 Design & Elektronik Homepage

Testabdeckung

Verifysoft zeigt auf seinem Stand die neueste Version des Code-Coverage-Analysators "Testwell CTC++". Das Tool zeigt die Testabdeckung für alle Code-Coveragestufen ... und kann damit für Zertifizierungen in Luft- und Raumfahrt, Automotive und Medizintechnik eingesetzt werden. ...
Mit der Toolsuite "Conformiq" beschreiben Tester das Sollverhalten der Software in einem grafischen Modell und lassen die zum Test erforderlichen Testpläne, Testfälle und ausführbare Testscrips automatisch ... erstellen. ...
Softwarekomplexität und Wartbarkeit lassen sich mit dem Code-Complexity-Measurement-Tool "Testwell CMT++" messen.
Design & Elektronik vom Februar 2011
Design & Elektronik Homepage

NASA überprüfte fehlerhafte Software von Toyota mit GrammaTech CodeSonar

Die NASA hat kürzlich statische Codeanalyse für die Überprüfung der Software zur Untersuchung der unbeabsichtigten Beschleunigung bei Fahrzeugen von Toyota eingesetzt. GrammaTech CodeSonar war eines der von der NASA hierzu eingesetzten Werkzeuge.
In ihrem Bericht beschreibt die NASA CodeSonar wie folgt: "CodeSonar is a ... strong static source code analysis tool from Grammatech that uses a ... technology for detailed inter-procedural source code analysis. CodeSonar analysis ... can reveal more subtle types of defects and suspect coding patterns, requiring deeper path analysis."
Der komplette "NASA Engineering and Safety Center Technical Assessment Report" ist über NASA-UA_report (pdf, 11,2 MB) verfügbar. (Bericht vom 18.01.2011)

Conformiq Tool Suite 4.2 automatisiert die Testfallgenerierung

Conformiq Inc. und der deutsche Distributor Verifysoft Technology geben die Verfügbarkeit der Version 4.2 der Conformiq Tool Suite, einem Werkzeug für die Automatisierung der Testfallerstellung für funktionales Sofware- und Systemtests bekannt.
Conformiq Tool Suite 4.2 ist die vierte Technologiegeneration der modellbasierten Testtools und Nachfolger des Testgenerators Conformiq Qtronic.
Wegen stetig steigender Softwarekomplexität wird das Testen für Entwicklungsfirmen mehr zur Herausforderung. Die Conformiq Tool Suite löst das Problem ...
PC & Industrie 08/2010 Artikel (189 KB)

Gut geprüft

Computerprogramme aus dem Technologiepark Offenburg sorgen für Sicherheit im Luft-, Schienen- und Straßenverkehr. Durch frühzeitige Tests können Mehrkosten vermieden werden.
Ein Computerabsturz ist nicht tragisch, der Absturz eines Flugzeugs dagegen schon. "Die Gründe für solche Katastrophen liegen häufig in falsch programmierter Software", weiß Klaus Lambertz, Geschäftsführer der Verifysoft Technology GmbH. Wie beim Absturz der Ariane V ...
Artikel aus insideB 5/2010

Modellbasierte Software-Entwicklung nach ISO 26262: Auf der sicheren Seite

Modellbasierte Software-Entwicklung unter Einsatz automatischer Code-Generierung ist insbesondere auch für die Entwicklung von sicherheitsrelevanten Anwendungen sehr gut geeignet. Die bei der Entwicklung solcher Anwendungen nach ISO 26262 zusützlich zu beachtenden Anforderungen an die eingesetzten Methoden, Prozesse und Werkzeuge lassen sich gerade auch durch die Verwendung modellbasierter Methoden gut erfüllen. ...
... Externe Testwerkzeuge, welche die Ableitung von Testvektoren aus den Anforderungen, die Ausführung von Tests in den oben angeführten Simulationsmodi MiL, SiL, PiL sowie die Auswertung und Dokumentation der Testergebnisse unterstützen, stehen dem Simulink/TargetLink-Anwender zur Verfügung. Auch für den Nachweis der für die unterschiedlichen ASIL geforderten strukturellen Abdeckung auf Modell- und Code-Ebene gibt es entsprechende Werkzeugunterstützung. ...
www.elektoniknet.de (Artikel von Michael Beine, dSpace, 13.10.2009)

Siemens Corporate Technology publishes paper on Conformiq Designer and one other MBT tool

Siemens Corporate Technology has published a paper about "Model-based testing in industry: a case study with two MBT tools".
Conformiq is rated reliable and easy to use. Download (ACM Portal)

Conformiq Qtronic 2.0: Produktivitäts- und Qualitätssteigerung beim Softwaretest

Conformiq gibt die Verfügbarkeit von Conformiq Qtronic 2.0, einem Tool für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest bekannt, die ab sofort über den deutschen Distributor Verifysoft Technology bezogen werden kann.
Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte, können die Tests jetzt mit Conformiq Qtronic automatisch generiert werden.
meditronic-journal 05/2009: Artikel (148 KB)

Automatisch Testen

Die Firma Conformiq Inc. gibt die Verfügbarkeit von "Conformiq Qtronic 2.0", einem Werkzeug für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest, bekannt. Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte, können die Tests jetzt automatisch generiert werden. ...
OBJEKTspektrum 3/2009 Artikel (243 KB)
Homepage OBJEKTspektrum

iX-Studie "Modellbasiertes Testen"

Die knapp 390 Seiten starke iX-Studie "Modellbasiertes Testen: Modellierung und Generierung von Tests Grundlagen, Kriterien für Werkzeugeinsatz, Werkzeuge in der Übersicht" stellt nach einer ausführlichen Erörterung der Grundlagen des modellbasierten Testens neun Werkzeuge ausführlich vor.
Neben dem durch Verifysoft Technology vertriebenen automatischen Testfallgenerator Conformiq Qtronic™ haben die Autoren Helmut Götz, Markus Nickolaus, Thomas Roßner und Knut Salomon die Werkzeuge Expecco (eXept Software AG), MaTeLo (ALL4TEC), Rhapsody TestConductor/Automatic Test Generator (Telelogic), Smartesting Test Generator (Smartesting), TDE/UML (Siemens AG), TestBench/MBT (imbus AG), TPT (PikeTec GmbH) und TT-Suite (Testing Technologies IST GmbH) im Detail untersucht.
weitere Informationen und Bestellungen über heise.de

Conformiq Qtronic 2.0: Produktivitäts- und Qualitätssteigerung beim Softwaretest

Conformiq gibt die Verfügbarkeit von Conformiq Qtronic 2.0, einem Tool für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest bekannt, die ab sofort über den deutschen Distributor Verifysoft Technology bezogen werden kann.
Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte, können die Tests jetzt mit Conformiq Qtronic automatisch generiert werden.
PC & Industrie 04/2009: Artikel (148 KB)

Messeführer Embedded World 2009:

Testfälle automatisch generieren

Eine neue Version des Testfallgenerators "Conformiq Qtronic™" präsentiert Verifysoft. Conformiq Qtronic™ erstellt basierend auf UML-Modellen automatisch Testfälle für den Black-Box-Test von Softwaresystemen.
Desweiteren zu sehen sein wird ein neues Frontend für das Softwarekomplexitäts-Messtool "Testwell CMT++". Entwickler, Qualitätsbeauftragte und Projektmanager können damit alle relevanten Komplexitätsdaten auswählen und sich grafisch anzeigen lassen.
Für Zertifizierungen erforderliche Nachweise liefert das Code-Coverage-Tool "Testwell CTC++". Es deckt alle Abdeckungsstufen bis zur Multicondtion-Coverage ab.
Text übernommen aus (rh) Design & Elektononik 1/2009
Homepage Design & Elektronik

Detecting Bugs in Safety-Critical Code - Advanced Static Analysis

When software is used for safety-critical applications, bugs aren´t just expensive annoyances - they can kill. Faced with such dire consequences, developers of safety-critical systems go to great lengths to prevent bugs from making it into the field. These measures are undeniably effective at reducing risk. Although there have been some famous catastrophic failures over the years, if medical devices or flight-control systems failed as often as most software fails, the headlines would be much grimmer. ...
Dr. Dobb´s Journal March 2008

Static vs. Dynamic Detection of Bugs in Safety-Critical Code

In the never-ending quest to produce high-quality software, traditional dynamic testing plays a fundamental role. The weakness of dynamic testing is that it is only as good as the test cases. To be effective, a great deal of effort must go into writing or generating good test cases, and doing so can be very expensive.
Recently, a new breed of static analysis tools has emerged that can find flaws without writing any test cases. ...
Embedded Technology® March 2008

Softwaretest und Analyse-Tools: Tool für C, C++, Java und C#

Verifysoft Technology gibt ein Code Coverage Tool für C, C++, Java und C# heraus. Die Software erweitert das bisher bereits für die Sprachen C und C++ verfügbare Testabdeckungs-Analysetool CTC++ des finnischen Herstellers Testwell für die Programmiersprachen C und C++ aud Java und C#. Mit dem Tool läßt sich die Testabdeckung für alle Coverage-Niveaus messen: von der einfachen Function Coverage über Decision-, Condition-/Branch- und Mulitcondition (MCC) bis hin zur höchsten Testabdeckungsstufe Modified-Condition/Decision-Coverage (MC/DC-Coverage). ...
Elektronik Praxis 5/2008 vom 05.03.2008

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) (738 KB)

Komplexität messen

Verifysoft hat eine neue Version des Softwaremess-Tools CMT++ (Code Complexity Measures Tool for C/C++) vorgestellt. Es dient zur Messung von Zeilen-, Halstead- und Mc-Cabe-Metriken und deckt komplexe Codeteile auf. Zusätzlich gibt es jetzt auch den Wartbarkeitsindex aus. Dieser gibt z. B. an, wann es kostengünstiger ist, komplexe Codeteile neu zu schreiben oder den existierenden Code zu modifizieren.
CMT++ ist für Windows, Linux, HP-UX und Solaris erhältlich. Mit CMTJava bietet Verifysoft ein entsprechendes Werkzeug zur Komplexitätsmessung von Java-Projekten an.
In Kürze soll ein Code Complexity Measures Tool für C# verfügbar sein.
Elektronik Praxis 04/2005 vom 19.04.2006

Mitarbeiter des Nokia Research Centers veröffentlichen ein Papier über die Nutzung von Conformiq Qtronic™

Mitarbeiter des Nokia Research Centers haben ein Papier über die Nutzung von Conformiq Qtronic™ veröffentlicht. Der Bericht ist in den Konferenzunterlagen der TESTCOM/FATES 2007, einer in Tallin (Estland) abgehaltenen Konferenz über auf formalen Methoden basiertes Testen erschienen.
Ein kostenpflichtiger Download der Konferenzunterlagen ist unter LNCS 4581 bei Springer erhältlich.
Homepage Springer

Modellbasiertes Testen

Modellbasiertes Testen ist ein Schlagwort, unter dem verschiedenste Techniken zur Nutzung von Modellartefakten im Testprozess verstanden werden. Der Artikel stellt eine Klassifikation und Bewertung bestehender Methoden vor...
Zu den systemmodell-getriebenen Werkzeugen gehöhren:
Conformiq Qtronic™, das über eine Anbindung an existierende UML-Werkzeuge die Testgenerierung aus den Systemmodellen unterstützt,
Leirios Test Generator, ...
Microsoft SpecExplore, ...
OBJEKTspektrum 3/2007, Prof. Dr. Ina Schieferdecker (TU Berlin)
Homepage OBJEKTspektrum

Softwaretest

Das automatische Testtool Conformiq Qtronic™ sowie neue Versionen des Testabdeckungswerkzeuges Testwell CTC++ und eines statischen Codeanalysetools demonstriert Verifysoft.
Design & Elektononik 1/2007: Ankündigung zur Embedded World 2007

Automatische Testfallerzeugung

Mit dem Testgenerator "Conformiq" zeigt Verifysoft ein Werkzeug für die automatische Testfallgenerierung und Testfallausführung, das in kurzer Zeit eine hohe Testabdeckung erreicht ...
Design & Elektononik 1/2006: Ankündigung zur Embedded World 2006

Tool automatically generates software tests

Verifysoft Technology will exhibit a number of new products at Embedded World.
Conformiq Test Generator replaces the time consuming process of writing test scripts with the building of a test model.
... The test generator analyses this model and generates automatically a large number of relevant tests that cover all combinations and aspects of the model. ...
Embedded Systems EUROPE January/February 2006

Verifysoft: automatic software testing tool

Conformiq Test Generator replaces the time-consuming process of writing test scripts with the building of a test model. This releases the burden of writing manual test cases and script programming from the test engineers.
Embedded Control Europe (February 2006)

Automatische Testfallgenerierung

Die beiden Firmen Conformiq Software Ltd. und Verifysoft Technology GmbH geben die Einführung des Testgenerators "Conformiq Test Generator 2.2" auf dem deutschsprachigen Markt bekannt.
OBJEKTspektrum 6/2004: Produktneuheiten (pdf-Datei)

Test Coverage Analyzer auf Java und C# ausgeweitet

Verifysoft Technology, Hersteller und Distributor von Softwaretest- und Analysetools, gab die Verfügbarkeit eines Code Coverage Tools für C, C++, Java und C# bekannt. Das "CTC++ for Java and C# Add-on" erweitert das bisher für die Sprachen C und C++ verfügbare Testabdeckungs-Analysetool CTC++ des finnischen Herstellers Testwell auf Java und C#.
PC & Industrie 12/2007: Artikel (pdf, 191 KB)

Code-Analyse: Testwell CTC++-Erweiterung für Java und C#

Der Test Coverage Analyzer for C und C++ von Verifysoft Technology GmbH wurde mit einem jetzt veröffentlichten Addon auf Java und C# ausgeweitet. Das neue "CTC++ for Java and C# Add-on" erweitert das bisher bereits für die Sprachen C und C++ verfügbare Test- und Analysetool CTC++ des finnischen Herstellers Testwell von den Programmiersprachen C und C++ auf Java und C#. Die Softwaretest-Suite Testwel CTC++ (aktuelle Version 6.4) und das neue Add-on für Java und C# arbeiten mit allen Compilern zusammen.
Artikel aus Entwickler.de vom 19.09.2007

CTC++ Test Coverage Analyzer unter die "Best Products 2005" gewählt

Die Leser von E&E, Fachzeitschrift für Elektronik & Entwicklung, haben den Test Coverage Analyzer Testwell CTC++ zu einem der besten Produkte des Jahres im Bereich "Designtools und Software" gewählt.
Der Best-Product-Guide stellt jeweils am Jahresende die besten Produkte aus dem Bereich der Elektronik vor.
E&E Elektronik & Entwicklung
Homepage E&E

Sichere Code-Coverage-Analyse

Das Werkzeug zur Messung der Code Coverage in C- und C++ -Applikationen wurde jetzt für die Anwendung mit dem Echtzeitbetriebssystem für Windows RTX von Ardence angepasst.
CTC++ hilft mittels verschiedener Prüfmechanismen sicherzustellen, dass der gesamte Code eines Softwareprojektes getestet wird. Der Test Coverage Analyzer lässt sich laut Hersteller für sämtliche Targets einsetzen.
Elektronik Praxis 14/2005 vom 21.07.2005: Artikel, pdf
Homepage Elektronikpraxis

Test-Coverage-Analyzer für SW-Entwicklung

Zur Sicherung hoher Codequalität und -zuverlässigkeit bei der Softwareentwicklung von Embedded-Systemen hat Verifysoft in Zusammenarbeit mit Beck IPC den Testwell-CTC++-Test-Coverage-Analyzer für C/C++ in die Entwicklungsumgebung Borland C++ 5.02 integriert. Das Tool hilft, Softwarefehler zu verringern und stellt sicher, dass alle Komponenten eines komplexen Systems intensiv getestet wurden, bevor die Software ausgeliefert wird.
Elektronik Praxis 7/2005

Coverage Analyzer für CodeWarrior

Der finnische Softwarespezialist Testwell (distributor: Verifysoft Technology) hat jetzt seinen Test- Coverage-Analyzer "CTC++" in die Entwicklungsumgebung CodeWarrior intergriert.
CTC++ war bisher unter anderem bereits in die Entwicklungsumgebungen Microsoft Visual Studio 5.0/6.0, .NET, Borland C++ 5.0 und Wind River Tornado integriert.
Markt & Technik 3/2005 vom 14.01.2005: Artikel

CTC++ für Borland C++ 5.02

Zur Sicherung höchster Code-Qualität und -Zuverlässigkeit bei der Softwareentwicklung von Embedded-Systemen hat Verifysoft Technology in Zusammenarbeit mit Beck IPC den Testwell CTC++ Test-Coverage-Analyzer für C/C++ in die Entwicklungsumgebung Borland-C++ 5.02 integriert.
Design & Verification Ausgabe 8/2004: Artikel

Statische Softwareanalyse und ihre Vorteile für medizinische Software

FDA empfiehlt statische Quellcodeanalyse für höhere Softwarequalität bei medizinischen Geräten
Angesichts des sicherheitskritischen und teilweise lebenserhaltenden Charakters muss die integrierte Software einwandfrei funktionieren. Nur ein einziger Fehler könnte unter Umständen zu schwerwiegenden Gesundheitsschäden oder sogar zum Tod des Patienten führen. Deshalb liegt doppeltes Augenmerk auf der Sicherheit dieser Software.
Meditronic-Journal 1/2008 (pdf, 448 KB)

Verifysoft Technology: Sicherheit für alle Softwareprogramme

OFFENBURG. Wenn es bei Areva, Siemens oder RWE Probleme mit der Software gibt, holen sich die Weltkonzerne Hilfe aus der Ortenau: Im Offenburger TPO sitzen Klaus Lambertz und Roland Bär und vertreiben Softwaretest-Tools. "Wir haben Einblick in die Testpraxis bei mehr als 100 Kunden mit sicherheitskritischen Softwareprojekten", sagt Lambertz.
Vor rund fünf Jahren gründet er mit seinen Partner Bär die Verifysoft Technology. Seitdem verdoppeln sie jährlich ihre Umsätze. Während Bär aktiv bei der Entwicklung von Testwerkzeugen mitarbeitet, kümmert sich Lambertz um den Vertrieb. Dabei haben sich die beiden ein vierköpfiges Team aufgebaut, das den europäischen Markt bedient. Ihr Ziel: Umsatz weiter steigern und Personal aufbauen. Artikel von Philipp Schneider, Econo
Übernommen aus Econo 3/2008

Fiese Fehler im System

An Fehlfunktionen aller Größenordnungen hat sich mittlerweile jeder gewöhnt. Vor der völligen Resignation bewahrt oft nur die Aussicht, dass mit der nächsten Version, mit dem nächsten Technologiesprung alles besser werden könne. Oder mit der übernächsten, jedenfalls irgendwann.
PC-Info Oktober/2005: Titelstory (pdf)

Verifysoft in der Fachpresse

Messung der Testabdeckung:

(Ithaca/New York, Offenburg, 4. Februar 2019)

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