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. (...)
Dank der Kommandozeilenstruktur lässt sich Testwell CTC++ einfach in verschiedene Workflows integrieren (manuelles und automatisches Testen, Continious Integration, Nightly Builds etc.).(...)
Markt & Technik 2023 März

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

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)

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

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

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

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

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

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 )

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

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

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

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

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

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 02/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 03/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 )

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 einer partiellen Instrumentierung mittels Code Coverage Analyser wie Testwell CTC++ können Probleme mit dem verfügbaren Speicher gelöst werden. Hier werden Programme in kleinen Ausschnitten getestet und diese Programmteile anschließend zu einem vollständigen Gesamtbild zusammengefügt.

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

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

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

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

(München, Offenburg, 17. Mai 2017)
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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. ...
(Artikel von Michael Beine, dSpace, 13.10.2009)

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

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

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

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

Testwell CTC++ in der Fachpresse