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

(Sindelfingen, Offenburg, 3. Dezember 2014)

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

A.I. Corporation (AIC) aus Tokio wird Distributor für Testwell-Tools in Japan

(Tokio/Japan, Offenburg/Deutschland, 26. August 2014)

Die A.I. Corporation aus Tokio und Verifysoft Technology haben eine Vereinbarung über die Distribution der Testwell-Tools in Japan getroffen.
"Wir freuen uns, die Testwell-Tools anbieten zu können. Die Werkzeuge sind einfach zu nutzen und bieten unseren Kunden einen hohen Mehrwert. Bei der Messung der Testabdeckung unterstützt Testwell CTC++ alle Kompiler und alle embedded Targets", führt Hiroshi Ueda, Produktmanager der Embedded-Testing-Abteilung bei AIC aus. "Vor der Evaluierung hatte ich nicht erwartet, dass Code Coverage auf embedded Targets so einfach ist."
"Während meiner Gespräche in Tokio war ich sehr von der Professionalität des AIC-Teams beeindruckt", sagt Klaus Lambertz, Geschäftsführer von Verifysoft. "AIC ist ein kompetenter Partner, um unsere Werkzeuge in Japan zu vertreten. Ich bin davon überzeugt, dass AIC die Erfolgsgeschichte, die wir mit Testwell CTC++ in Deutschland begonnen haben, in Japan fortsetzen wird. Alle Autohersteller, eine Vielzahl ihrer Zulieferer, sowie zahlreiche Firmen aus den Bereichen Medizintechnik und Transport vertrauen in Deutschland auf die Qualität der Testwell-Tools. Unsere Ziele sind ambitioniert: für Japan streben wir eine ähnliche starke Marktdurchdringung wie in unserem Heimatmarkt an, in dem Testwell CTC++ mittlerweile zu den Standardtools gehört."
> AIC-Webseite     > News auf Japanisch     > Verifysoft-Distributoren

Testwell CTC++ Test Coverage Analyser: Version 7.3 verfügbar

(Offenburg/Deutschland, Tampere/Finnland, 21. August 2014)

Verifysoft und Testwell geben die Verfügbarkeit der Version 7.3 von Testwell CTC++ bekannt. Testwell CTC++ ist der führende Test Coverage Analyser für Host- und On-Target-Code-Coverage.
Die neue Version 7.3 enthält die folgenden Verbesserungen:

• Ausweitung der Multicondition-Instrumentatierung auf Assignment-Statements der Art "variable = boolean expression having && or || operators;"
• Verbessertes Handling von Header-Files und weitere Verbesserungen in the ctcxmlmerge-Utility.
• Verbesserungen der ctc2html-Utility, insbesondere beim grafischen HTML-Report.

Testwell CTC++ Qualification Kit deckt ISO 26262, DO-178C, IEC 61508 und EN 50128 ab

(München, Offenburg, Tampere, 20. August 2014)

Normen schreiben vor, dass Softwaretools bei Verwendung in sicherheitskritischen Projekten qualifiziert sein müssen. Verifysoft bietet jetzt ein Qualification-Kit an, um den Qualifizierungsprozess für Kunden, die Testwell CTC++ zur Analyse der Testabdeckung nutzen, zu vereinfachen.
Das Testwell CTC++ Qualification Kit wurde in Zusammenarbeit mit der Testwell Oy aus Tampere (Finnland) und der Validas AG aus München erstellt. Validas ist ein führendes Beratungsunternehmen für die Software-Tool-Qualifizierung.
Das Kit entspricht den Normen ISO 26262, DO-330, DO-178C, IEC 61508 und EN 50128. Aktuell wird die Programmiersprache C abgedeckt. Das Testwell CTC++ Qualification Kit enthält ein Qualification Support Tool, Tausende von Testfällen, eine Test Automation Unit zur Ausführung der Tests, sowie einen Verifikations- und Validierungs-Report für das Kit (V&V Report). Nutzer des Kits profitieren ebenfalls vom "Getting-Started-Support" der Validas AG. Da das Kit bereits existierende Qualifikations-Aktivitäten integriert, können die Anwender es mit minimalen Aufwand nutzen. Durch die Nutzung der von Validas entwickelten modulbasierten Qualifikationsmethodologie kann der Anwender das Testwell CTC++ Qualification Kit durch eigene Tests und Mitigations ergänzen.  
> weitere Informationen

Testwell CTC++ feiert 25 Jahre erfolgreichen Einsatz in der Software Testing Community

Testwell CTC++, das führende Code Coverage Analysetool für On-Target Testing, feiert 25 Jahre erfolgreichen Einsatz in der Software Testing Community.
Verifysoft feiert den 25. Geburtstag von Testwell CTC++ am Donnerstag, den 25. September 2014 im Technologiepark in Offenburg. Wir möchten Sie herzlich dazu einladen mit uns diesen Tag zu verbringen. Es erwarten Sie Präsentationen zu den Anforderungen von Sicherheitsstandards, Code Coverage Leveln und eine Vorführung des CTC ++ Coverage Tools sowie des Qualification Kits.
Knallende Korken und eine Testwell CTC++ Geburtstagstorte dürfen natürlich auch nicht fehlen!   > 25 Jahre Testwell CTC++

CATIA - AUTOSAR Builder von Dassault Systèmes angebunden

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

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

Testwell CTC++ Test Coverage Analyser: Version 7.2 verfügbar

(Offenburg/Deutschland, Tampere/Finnland, 18. März 2014)

Verifysoft und Testwell geben die Verfügbarkeit der Version 7.2 von Testwell CTC++ bekannt. Testwell CTC++ ist das führende Testabdeckungstool für Host- und On-target-Code-Coverage.
Die neue Version verfügt über ein Testfall-Konzept sowie ein ctcxmlmerge-Tool.
Das Testfall-Konzept (test case concept) vereinfacht das Sammeln von Coverage-Daten und gibt diese für nutzerdefinierte Testfälle aus.
Das ctcxmlmerge-Tool ermöglicht die Ausgabe eines kombinierten Coverage-Reports über die gesamte Code-Basis, welche mit verschiedenen Konfigurationen gebaut und getestet worden ist.
Zusätzlich hat Testwell CTC++ 7.2 Verbesserungen beim Handling von verschiedenen anspruchsvollen und extremen Gebrauchssituationen, die bei einigen Kunden genutzt werden, sowie einige Bug-Fixes. Gleichzeitig mit dem Update von Testwell CTC++ v7.2 ist auch eine neue Version (5.1) des Host-Target add-ons (HOTA) herausgegeben worden. HOTA ermöglicht die Messung der Testabdeckung in allen embedded Targets.