News

[English][Français]
Links auf weitere News:

Firma     Conformiq Tool Suite     CMT++/CMTJava     CTC++/CTC for Java and C#     Elvior TestCast     GrammaTech     QMetry     Software Diagnostics     Events/Seminare     ALLE NEWS

 

Verifysoft-Newsletter-01.jpg  
Sie möchten in Zukunft (ca. 2-4 mal jährlich) über Entwicklungen von Verifysoft informiert werden?
Kein Spam, keine Weitergabe Ihrer Daten an Dritte!
Bleiben Sie informiert, abonnieren Sie unseren Newsletter hier

Newsletter hier lesen.

 

Elvior gibt die Version 6.8 von TestCast T3 heraus

(Tallinn/Estland, Offenburg/Deutschland, 9. April 2014)

Elvior hat TestCast T3 Version 6.8 herausgegeben. Das Update enthät folgende neuen Features:

  • Komplettunterstützung für TTCN-3:2014
  • Unterstützung von externen Logger-Prozessen, die über TCP/IP kommunizieren (C++, C#)
  • XSD-Dateien werden automatisch konvertiert, wenn die -rb-Flag im Kommandozeientool gesetzt ist
  • zahlreiche andere Verbesserungen

 


Verybench 2.1: Neues grafisches Interface für Metrikenanalyse Testwell CMT++

Verybench for CMT++   (Offenburg, 8. April 2014)

Verifysoft gibt das Release der Version 2.1 von Verybench for Testwell CMT++ bekannt.
Verybench ist eine grafische Benutzeroberfläche für das Code-Komplexitäts-Messtool Testwell CMT++. Aussagekräftige Dashboards- und Metrics-Views ermöglichen es Managern, Entwicklern und Testern die Qualität, Komplexität und Wartbarkeit des Quellcodes zu beurteilen. Die klare und verdichtete Darstellung von Verybench erlaubt es, gezielte Verbesserungs- und Refactoringsmaßnahmen einzuleiten und somit Kosten einzusparen.
Verybench 2.1 wird ab sofort mit allen CMT++-Evaluationen herausgegeben. Kunden mit gütiger Softwarewartung für Testwell CMT++ erhalten die neue CMT++-Oberfläche kostenlos.     > weitere Informationen

 


GrammaTech CodeSonar: Version 4.0 verfügbar

(Ithaca, New York/USA, 4. April 2014)
GrammaTech hat die Verfügbarkeit der neuen CodeSonar-Version 4.0 bekanntgegeben.
Die Version 4.0 bietet neue Vorteile wie die Analyse des Drittanbieter-Codes, Einhaltung von Standards, Beseitigung von anspruchsvollen Multi-Core-Problemen und die Verbesserung der Codesicherheit durch Handling fehlerhafter Datenströme.
CodeSonar setzt damit neue Standards in der automatisierten Code-Analyse. Die Entwicklungsteams von Embedded Systems gewährleisten damit verbesserte Code-Qualität und schützen die Software einfacher und schneller von den steigenden Bedrohungen durch komplexe Sicherheitslücken.
  Focus on Quality

 


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

DASSAULT SYSTEMES - CATIA Systems - AUTOSAR Builder   (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

 


Prof. Dr. Daniel Fischer, Klaus Lambertz, Polina Handzhiyska
Verifysoft Seminar Offenburg 20130326
 

Erfolgreicher Softwaretest-Seminar-"Marathon" in Offenburg

(Offenburg, 27. März 2014)

Professor Dr. Daniel Fischer von der Hochschule Offenburg und das Team von Verifysoft Technology konnten Ende März zahlreiche Teilnehmer bei den Seminaren Effiziente Unit-Tests für Embedded Systeme, Effizientes Testmanagement und Testen von Embedded Software begrüßen.

Knapp 50 Personen reisten aus allen Teilen Deutschlands, Österreichs und der Schweiz, unter anderem aus Dresden, Wien, Zürich und Regensburg in den Technologiepark Offenburg an.
Hervorragend besucht war vor allem die Schulung zum Test von Embedded Software.
Hier gab es wie auch bei den anderen Seminaren Bestnoten: 88% der Teilnehmer empfehlen unsere Seminare weiter.
Die Erwartungen wurden bei allen erfüllt und bei 59% der Teilnehmer sogar übertroffen.
Mehr über die Bewertungen unserer Kunden hier.

 


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

Testwell CTC++   (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.

 


Visuelle Fehleranalyse von CodeSonar entdeckt gefährliche Datenströme im Code

(Nürnberg/Deutschland, 24.-26. Februar 2014)
 
GrammaTech hat auf der Embedded World in Nürnberg den Einsatz Statischer Codeanalyse für Embedded Systeme gezeigt. Dr. Paul Anderson von GrammaTech berichtete in seinem Vortrag über Visuelle Fehleranalyse.
Dank der visuellen Darstellung der fehlerhaften Datenströme sehen die Entwickler die Auswirkungen gefährlicher Eingaben auf das Verhalten ihres Codes. Während andere Tools nur einfache Warnungen für Fehlerwerte ausgeben, zeigt die Visualisierungsengine von CodeSonar bereits bestehende Schwachstellen.
Die visuelle Fehleranalyse zeigt schwer auffindbare und fehlerhafte Datenpfade in den Embedded Anwendungen an, die auf C/C++ basieren. Sie steigert die Geschwindigkeit und Genauigkeit bei der Verfolgung der Datenflüsse. Die Lösung analysiert sowohl Quellcode als auch Binärcode um schwerwiegende Sicherheits- und Qualitätsprobleme zu identifizieren, die Systemabstürze, Speicherschäden, Datenlecks, Data Races oder unerwartete Schwachstellen verursachen.
  CodeSonar Visualization
click to enlarge

 


Gewinner unserer Verlosung auf der Embedded World

Verifysoft Embedded World 2014 (Nürnberg, 27. Februar 2014)

Unter den zahlreichen Besuchern an unserem Messestand auf der Embedded World in Nürnberg haben wir die Gewinner gezogen.
Der Hauptpreis, ein Seminar Testen von Embedded Software geht an R. Liebscher (TomTom Development).
Jeweils ein Fachbuch Software-Test für Embedded Systems von Stephan Grünfelder erhalten D. Richter (ACD) und A. Gopalan (Rohmann GmbH).
Für unsere Seminare Ende März stehen übrigens noch einige Plätze zur Verfügung.

 


Elvior gibt TestCast T3 Version 6.7.4 heraus

(Tallinn/Estland, Offenburg/Deutschland, 28. Januar 2014)

This major release of TestCast T3 includes support for TTCN-3 extension package: Support of interfaces with continuous signals and modifications for Extended TRI support. Users can gain also of extended command line support to control TestCast features from command line. The release is available for Windows and Linux platforms.

 


Static Code Analysis Day 2014 in Offenburg

Verifysoft Technology veranstaltet am Dienstag, 4. März 2014 im Technologiepark Offenburg den "Static Code Analysis Day 2014" mit Fachvorträgen von Dr. Paul Anderson (Entwicklungsleiter beim Toolhersteller GrammaTech, New York) und Dr. Daniel Fischer (Professor für Informationstechnologie an der Hochschule Offenburg).
Static Code Analysis Wir zeigen, wie Sie durch Einsatz von statischer Codeanalyse Ihre Softwarequalität effizient verbessern. Sie erfahren mehr über die Vorteile von Advanced Static Code Analysis-Tools im Vergleich zu herkömmlichen Werkzeugen wie Lint. Sie sehen, wie komplexe Softwaredefekte problemlos aufgedeckt werden und wie Sie Checker für individuelle Prüfungen erstellen.
Vorträge:
- Bug-Hunting mit Statischer Codeanalyse
- Tücken von Multi-Core-Software: Nebenläufigkeiten sind gefährlich
- Suche nach der optimalen Balance zwischen tatsächlichen Fehlern und False-Positives
- Visualisierung von Programmstrukturen mit statischer Codeanalyse
> weitere Infos   [PDF]   Seminarflyer

 

ERTS2 in Toulouse und Embedded World Nürnberg: Verifysoft stellt aus

ERTS2 logo
Embedded World logo
Vom 5. bis 7. Februar 2014 wird Verifysoft Technology auf der ERTS2 in Toulouse (Frankreich) Lösungen für den Test von embedded Software vorstellen. Der ERTS2-Kongress ist eine einzigartige branchenübergreifende europäische Konferenz, die hochrangige Forscher, sowie Vertreter von Universitäten und der Wirtschaft zusammenbringt. Die letzten Konferenzen in Toulouse hatten jeweils mehr als 500 Teilnehmer, 100 Vorträge und 60 Austeller. > weitere Infos

Verifysoft stellt ebenfalls vom 25. bis 27. Februar auf der Embedded World in Nürnberg aus. Mit über 22.000 Besuchern ist die Embedded World die führende Messe für eingebettete Hard- und Software. Sie treffen uns in Halle 4 am Stand 322. Wir informieren Sie über Code Coverage, Komplexitätsmessungen, Unit Tests, Test Management, automatische Testfallgenerierung und Statische Codeanalyse. > weitere Infos

 


 

News-Archiv:
2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003


last updated: 12 April 2014
© 2013-2014 Verifysoft Technology GmbH
all company and event logos are © and the property of their respective owners
CTA++, CTC++, CMT++ and CMTJava are tools of Testwell Oy, Tampere, Finland
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are tools and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
CodeSonar is a tool and a registered trademark of GrammaTech Inc., Ithaca/New York (USA)
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
QMetry is a product and a trademark of QMetry, Santa Clara (USA)
all other trademarks of this site are the property of their respective owners.