logo

News

15 June 2016
News
Links auf weitere News: Firma    Testwell CMT++/CMTJava    Testwell CTC++    Elvior TestCast    GrammaTech    Imagix    Events/Seminare    ALLE NEWS




Testwell CTC++ in Cobertura, Jenkins und SonarQube integriert

(Offenburg, 17. November 2016)

Verifysoft Technology hat jetzt ein Add-on für Testwell CTC++ herausgegeben (ctc2cob), welches Testwell CTC++-Reporte in Cobertura-XML-Reports konvertiert.
Hierdurch ist die Integration von Testwell CTC++ in Jenkins und SonarQube, sowie in fast alle CI-Server, die Cobertura unterstützen, auf einfache Weise möglich.
Testwell CTC++-Nutzer haben somit einen Überblick über den Trend der Code Coverage in automatisierten Umgebungen.
Durch die Integration in Jenkins sind mit Testwell CTC++ jetzt unter anderem automatische E-Mail-Benachrichtigungen, automatisierte Builds, so wie automatisierte GitHub-Commits möglich. Sobald ein Build fertiggestellt ist, zeigt das Cobertura-Plugin die Ergebnisse direkt in Jenkins als Code-Coverage-Trend an.
Testwell CTC++ ist der technisch führende Code-Coverage-Analyser für C, C++, Java und C#.
Das Werkzeug arbeitet mit allen Kompilern und allen embedded Zielsystemen. Testwell CTC++ ist in viele Entwicklungsumgebungen und Werkzeugketten integriert.   > mehr erfahren

GrammaTech CodeSonar 4.4 verfügbar

(Ithaca, New York/USA, Offenburg/Deutschland, 2. November 2016)

Version 4.4 des Statischen Codeanalysetools GrammaTech CodeSonar ist jetzt verfügbar. Das Release hat folgende Verbesserungen:
  • 18 neue Warning-Klassen für MISRA C/C++
  • Neue Versionen von FindBugs und PMD führen neue Warnings für Java ein.
  • Besseres Handling von C++14-Konstrukten
  • Compiler-Vendor-Extensions (unter anderem für die Microsoft Visual Studio 2015-Toolchain).

Imagix 4D Version 8.1.4 verfügbar

(San Luis Obispo/USA, Offenburg/Deutschland, 6. Oktober 2016)

Imagix hat die Version 8.1.4 von Imagix 4D herausgegeben. Das Release hat folgende Verbesserungen:
  • Support for Java Edition 8
  • Addition of MSVC 2015 to user interface and compiler configuration file
  • Improvements to Delta Analysis symbol matching and reports
  • Various small improvements and fixes to GUI, graphs, reports, etc.
  • C/C++ source analyzer enhancements for GCC #include_next, MSVC #import, IAR "@" operator, and C++14

Elvior hat Version 6.10.1 von TestCast T3 herausgegeben

(Tallin/Estland, Offenburg/Deutschland, 1. Juni 2016)

Elvior hat eine neue Version des Testausführungstools TestCast mit den folgenden Features herausgegeben:
  • Expand template - tool for writing TTCN-3 code, which can be used to expand and fill all fields of a structured template.
  • Add template wizard - TTCN-3 editor tool, which can be used to generate a template of a chosen type with default values.
  • Code snippets - tool for writing TTCN-3 code, which enables to enter predefined blocks of codes from context menu or by a quick key.
  • New TTCN-3 script wizard - a wizard for creating a new TTCN-3 script which allows to choose a predefined module and a name for the script.
  • Snippet/Module Editor - editor for modifying and creating custom snippets or modules.
  • Option for displaying a message box when a TTCN-3 action command is executed
SC2-Logo

Verifysoft zeigt Testools auf der Software-Centric Systems Conference in Eindhoven

(Offenburg/Deutschland, Eindhoven/Niederlande, 10 Mai 2016)

Verifysoft Technology stellt auf der Software-Centric Systems Conference am 25. Mai in Eindhoven vor. Auf der Software-Centric Systems Conference (ehemals Bits&Chips Software Engineering) kommen Experten von Thales, Saab,Ferrari, Volvo, Lely, Altran und anderen wichtigen Firmen aus unterschiedlichen Industriezweigen zusammen.Die Konferenz ermöglicht Erfahrungs- und Wissensaustausch im Bereich der Softwareentwicklung und bietet zahlreiche interessante Vorträge. Kontaktieren Sie uns: als Aussteller stellen wir Ihnen Tickets zum Sonderpreis zur Verfügung. Treffen Sie in Eindhoven Spezialisten von Verifysoft und erfahren Sie wie Sie mit unseren Werkzeugen die Qualität Ihrer Softwareentwicklung verbessern.   > weitere Informationen
Cem Özdemir mit Verifysoft-Geschäftsführer Klaus Lambertz

Cem Özdemir zu Besuch bei Verifysoft

(Offenburg, 4. Mai 2016)

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

Verifysoft mit Vortrag zur statischen Analyse auf der Embedded Testing München

(Offenburg, 13. April 2016)

Verifysoft ist vom 28. bis 30. Juni auf der Embedded Testing Konferenz in München.
Die Embedded Tesing ist eine Konferenz, bei der das Testen im embedded Umfeld im Vordergrund steht. Royd Lüdtke, Direktor für statische Analysetools bei Verifysoft, gibt bei seinem Votrag "Wegweiser zur Auswahl eines Werkzeugs zur Statischen Codeanalyse" wertvolle Hilfestellungen für Firmen, die statische Codeanalyse einsetzen wollen. Neben Vorträgen zur statischen Codeanalyse bietet die Konferenz auch zahlreiche Präsentationen zur dynamischen Analyse und zum Thema Clean Code. Im Rahmen der Fachausstellung können sich die Teilnehmer über aktuelle Trends im Testing und effiziente Testtools informieren. > weitere Informationen

Verifysoft kündigt Testwell CTC++-Interface für MATLAB Simulink an

(Offenburg, 12. April 2016)

Verifysoft wird in Kürze eine Schnittstelle zwischen Testwell CTC++ Test Coverage Analyser und MATLAB Simulink herausgeben. Vor dem Release wird dieses Interface durch ausgewählte Kunden gemäß deren Anforderungen validiert werden.
Testwell CTC++ ist ein führendes Code Coverage Tool. Das Werkzeug unterstützt alle Compiler und alle embedded Zielsysteme. Der Coverage Analyser arbeitet mit allen Unit-Test-Tools, analysiert alle Testabdeckungsstufen bis zur MC/DC- und Multicondition-Coverage und kann für Software in C, C++, Java und C# eingesetzt werden.
Testwell CTC++ ist in zahlreiche Tool-Chains, Testumgebungen und Softwarequalitätstools wie dSPACE SystemDesk, dSPACE TargetLink, Imagix 4D, SonarQube, CATIA Systems AUTOSAR Builder (DASSAULT SYSTEMES), PikeTec Time Partition Testing (TPT), QTronic TestWeaver u.a. integriert.
Ebenfalls ist Testwell CTC++ in eine Vielzahl von Entwicklungsumgebungen integriert. Das Erstellen von Integrationen und Schnittstellen von Testwell CTC++ ist sehr einfach. Die wichtigste Voraussetzung ist, dass die IDEs (Menüs, Prozesse, ...) angepasst werden können.
Simulink von The Mathworks ist ein sehr anpassbares Standard-Tool. Dank der einfachen und effizienten skript-basierten Technology von Testwell CTC++, waren für die Entwicklung der Schnittstelle keine speziellen Features oder ´Patches´ erforderlich. Anpassungen von Testwell CTC++ an andere Tools erfordern oft nur dokumentierte Parameter.
Unser Video Testwell CTC++ (Verifysoft) and MATLAB /Simulink liefert einen kompletten Proof Of Concept sowie eine Demo über das Sammeln von Coverage-Daten mit Testwell CTC++ in MATLAB Simulink von The Mathworks.
Embedded-Japan

A.I. Corporation (AIC) zeigt Testwell Tools auf der Embedded Technology 2016 in Japan

(Offenburg/Deutschland, Yokohama/Japan, 12. April 2016)

AIC, unser Distributor in Japan, präsentiert vom 16. bis 18. November die Testwell Tools auf der Embedded Technology in Yokohama (Japan).
Auf der Embedded Testing gibt es neben professionellen Ausstellungen auch Konferenzen, die sich mit den innovativen Embedded Technologies und Solutions befassen.Die Embedded System Technologies werden immer mehr in den verschiedensten Bereichen genutzt. Sowohl seitens Verbraucher als auch in der Industrie. > weitere Informationen

Elvior veröffentlicht die 3. Generation von TestCast MBT

(Offenburg/Deutschland, Tallinn/Estland, 23. März 2016)

TestCast MBT ist ein modelbasierendes Testtool, mit dem das erwartete Verhalten des "Systems under Test" (SUT) mit UML-Statecharts modelliert wird. Die gewünschten Testcoverage-Kriterien werden im Modell angegeben. Abstrakte Testfälle werden durch das Tool automatisch als TTCN-3-Testskripte erzeugt und mit dem TestCast T3 Tool, welches im TestCast-MBT-Bundle enthalten ist, ausgeführt.Die erste (früher MOTES) und die zweite Generation von TestCast MBT nutzten ein Third-Party-UML-Tool zur Modellierung der Tests. Die jetzt herausgegebene dritte Generation von TestCast MBT verfügt über einen eingebauten Modellierungseditor, welcher auf das TTCN-3-Datenmodell abgestimmt ist. Die neue Version von TestCast MBT hebt die Testautomatisierung durch Elvior dank des nutzerfreundlichen Interfaces und der leistungsstarken TTCN-3-Plattform auf die nächste Stufe. TestCast MBT kann in vielen verschiedenen Anwendungsbereichen genutzt werden: von Embedded Systemen bis hin zum Webtesting. weitere Informationen

Testwell CTC++ verfügbar für IBM AIX 7 PowerPC

(Offenburg, 21. März 2016)

Verifyoft Technnology gibt die Verfügbarkeit von Testwell CTC++ v8.0 auf IBM AIX Power PC bekannt.Die Binaries der Version für AIX wurden auf dem IBM AIX, gcc 4.6.3 Compiler gebaut.Wir danken unserem Shell-Provider von Polarhome aus Schweden, dass sie dies ermöglicht haben.
Testwell CTC++ ist das führende Code-Coverage-Tool zur Messung der Testabdeckung auf dem Host und auf allen (selbst kleinsten) embedded Targets. Hunderte von Firmen auf der ganzen Welt nutzen Testwell CTC++ mit großem Erfolg.Das Tool wird vielen verschiedenen Safety Standards gerecht. Testwell CTC++ ist weltweit die erste Wahl zum Nachweis der Testabdeckung in Luft- und Raumfahrt, Automotive, Transport, Medizintechnik und anderen Industrien.
AIX® ist ein auf Unix System V basierendes Betriebssystem der Firma IBM®.

Webinar: Real-world Implementation on the Industrial Internet

Das "Industrial Internet" verändert unsere Sicht auf die Verbindung von Technologie und Geschäftsprozessen. Allerdings stehen wir noch vor großen Herausforderungen um das volle,sich bietende Potential von Industrie 4.0 umzusetzen. Welche Netzwerktechnologien eignen sich am besten für die "Connected Industry" und wie stellt man IT/OT Interoperabilität sicher? Was sind die effektivsten Mittel für die Datenverwaltung? Wie werden kritische Systeme geschützt?
Unsere Industrieexperten vermitteln Ihnen ihre Vorstellung vom "Industrial Internet" und demonstrieren anwendungsnahe Technologien, die Sie sich für Ihre Einsatzbereiche des "Internet der Dinge" nutzbar machen können.
Datum und Uhrzeit: Donnerstag, 10. März 2016 um 18:00 Uhr
  > Jetzt anmelden!

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

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

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

Jetzt zum Static Code Analysis Day am 1. März 2016 anmelden und von hochkarätigen Vorträgen profitieren

Beim diesjährigen Static Code Analysis Day am Dienstag, den 1. März 2016 in Offenburg präsentieren wir den Teilnehmern wieder hochkarätige Vorträge zur Qualitäts- und Produktivitätsverbesserung durch statische Codeanalyse. Themen in diesem Jahr sind Softwarequalitätsfehler (Professor Dr. Daniel Fischer, Hochschule Offenburg), Gefährliche Softwarefehler und Methoden zu deren Vermeidung sowie Advanced Static Analysis für das Internet der Dinge (Dr. Paul Anderson, Vice President of Engineering bei GrammaTech New York) und Bessere Performance durch statische Codeanalyse (Royd Lüdtke, Director Static Analysis bei Verifysoft).
Verifysoft Technology organisiert den Static Code Analysis Day nach 2014 (Programm) und 2015 (Rückblick) bereits zum dritten mal.
Erfahrungsgemäß ist mit zahlreichen Teilnehmern zu rechnen, so dass wir eine rechtzeitige Anmeldung empfehlen. Weitere Informationen und Anmeldung zum Static Code Analysis Day 2016 hier.

Die Termine für das Seminar Unittest und das Testwell CTC++-Training stehen fest

(Offenburg, 15. Januar 2016)

Verifysoft Technology bietet einaml pro Quartal das Seminar Effiziente Unit-Tests für Embedded Systeme sowie ein Training für Testwell CTC++-Anwender (und solche, die es werden wollen) an.
Die diesjährigen Termine lauten:
Effiziente Unit-Tests für Embedded Systeme: jeweils Montags 07.03., 06.06., 19.09. und 12.12.2016
Testwell CTC++ Training: jeweils Dienstags 08.03., 07.06., 20.09. und 13.12.2016
Eine Buchung beider Seminare im "Package" ist möglich.

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

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

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

Testwell CTC++ 8.0 mit verbesserten Reports und Annotierungen verfügbar

(Offenburg/Deutschland, Tampere/Finnland, 1. Dezember 2015)

Version 8.0 des Test Coverage Analysers Testwell CTC++ ist ab sofort erhältlich. Die neuen Funktionalitäten umfassen unter anderem:
  • Verbesserte Architektur des HTML-Coverage-Reports
  • Anzeige der Zeilenabdeckung ("Line-Coverage") im HTML-Report
  • Möglichkeit von Annotierungen
  • Verbessertes Reporting von Headerdateien
  • Verbessertes Merging der Testabdeckungsdaten von unabhängig voneinander getesteten Quellcodedateien
> weitere Information