News

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

Firma     Testwell CMT++/CMTJava     Testwell CTC++     Elvior TestCast     GrammaTech     Imagix     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.

 

Testwell CTC++ Version 8.0.1 herausgegeben

(Offenburg/Deutschland, Tampere/Finnland, 30. Juni 2016)

Unser Entwicklungspartner Testwell in Finnland hat die Version 8.0.1 des Code Coverage Analysers Testwell CTC++ herausgegeben. Die neue Version hat vor allem Korrekturen in einigen extremen C++ "use cases" für C++11 und C++14. Eine Liste weiterer Verbesserungen und Bug-Fixes ist hier verfügbar.

 


Lean Testing für C++-Programmierer

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

(Heidelberg, Offenburg, 8. Juni 2016)

Das im dpunkt-Verlag erschienene Buch "Lean Testing für C++-Programmierer" von Andreas Spillner und Ulrich Breymann zeigt praxisorientierte Ansätze um die "richtige" Balance zwischen "zu viel" und "zu wenig" Softwaretest zu finden.
Statische Testverfahren, Testentwurf und Testdurchführung sowie Strukturbasierte Testverfahren werden ausführlich besprochen. Die verschiedene Testtiefen beim Test komplexer Entscheidungen werden anhand von Code-Beispielen, die mit dem Code-Coverage-Tool Testwell CTC++ analysiert wurden, gezeigt. Abgerundet wird das Buch durch ein Kapitel zum neuen Softwareteststandard ISO 29119. >Rezension

 

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

 


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

  Cem Özdemir mit Verifysoft-Geschäftsführer Klaus Lambertz
Cem Özdemir im Gespräch mit Verifysoft-Gründer Klaus Lambertz

 


Nachfrage nach Seminaren "Testen von Embedded Software" weiter hoch:
Verifysoft ehrt Professor Dr. Daniel Fischer für 60 erfolgreiche Seminare

-
-
  (Offenburg, 2. Mai 2016)

Berlin, Hamburg, München, Köln, Mannheim, Stuttgart, Offenburg, Bludenz, Magdeburg, Kassel, Jena, Aalen, ... Dies sind nur einige der zahlreichen Städte in denen Professor Dr. Daniel Fischer Techniken für effizientes Testen von Embedded Software vermittelt hat.
Das Klientel bei den zweitägigen Seminaren ist oft sehr gemischt: Projektleiter, Testverantwortliche, Entwickler, erfahrene Leute, die neuen Input bekommen und auf den aktuellen Stand der Technik gebracht werden wollen, sowie neue Mitarbeiter die schnell auf Niveau gebracht werden sollen.
Das Premium-Seminar "Testen von Embedded Software" wird seit 2008 regelmäßig als öffentliches Seminar in Offenburg und weiteren Städten angeboten. Bereits ab fünf bis sechs Teilnehmern einer Firma lohnt sich ein Inhouse-Seminar. Zahlreiche Firmen haben ihre Wettbewerbsfähigkeit bereits in diesen "Vor-Ort-Seminaren" mit Professor Fischer erhöht. Unsere Seminarkunden verteilen sich über den gesamten deutschsprachigen Raum. Eine Landkarte mit den bisherigen Seminarstandorten hat Verifysoft jetzt aus Anlass des sechzigsten Seminars an Professor Fischer überreicht. Obwohl es nur noch wenige "weiße Flecken" auf der Seminarlandkarte gibt, stehen uns noch ausreichend Nadeln für weitere Schulungen zur Verfügung ...
Erfahren Sie in unserem Seminarfilm mehr, informieren Sie sich hier über die kommenden Seminartermine oder vereinbaren Sie mit uns einen Termin für Ihr Inhouseseminar.

 


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.

 


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 herausgegebne 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®.


 

GrammaTech CodeSonar 4.1 zertifiziert durch SGS-TÜV Saar GmbH

CodeSonar Certificate   (Ithaca, New York/USA, 1. März 2016)

GrammaTech CodeSonar 4.1 Wurde von dem Certification Body for Functional Safety of SGS-TÜV Saar GmbH zertifiziert. Die Zertifizierung umfaßt die Standards ISO 26262 bis einschließlich ASIL D, IEC 61508 bis einschließlich SIL 4 und EN 50128 bis einschließlich SW-SIL 4.
CodeSonar ist eines der führenden Tool im Bereich der statischen Codeanalyse. Es identifiziert Bugs, die zu unerwartetem Verhalten führen, System Abstürze verursachen und Sicherheitsverstöße hervorufen können. Es ist erwiesen, daß CodeSonar die tiefste statische Analyse bereitstellt. Das Tool findet mehr kritische Fehler als andere statische Analysetools, die sich auf dem Markt befinden.
> [PDF]  SGS-TÜV Saar Zertifikat

 


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

 


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

  Imagix Logo

 


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
  Screenhot Testwell CTC++ 8.0

 


 

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


last updated: 30 June 2016
© 2013-2016 Verifysoft Technology GmbH
all company and event logos are © and the property of their respective owners
Testwell CTA++, CTC++, CMT++ and CMTJava are tools and trademarks of Verifysoft Technology GmbH, Offenburg (Germany)
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)
Imagix4D is a product and a trademark of Imagix Corp., San Luis Obispo (USA)
all other trademarks of this site are the property of their respective owners.