News

[English][Français]

Firma     Conformiq Qtronic     Coverity     CMT++     CTC++/CTC for Java and C#     Java Testing Tools    


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

[PDF]  letzter Newsletter (pdf, 312 KB)

 

Seminar "Softwaretest" mit Professor Dr. Fischer wieder ausgebucht: neuer Termin am 19.06.2008

Seminar Softwaretest Seminar Softwaretest
Seminar Softwaretest Seminar Softwaretest

(24. April 2008)

Mit 32 Teilnehmern aus dem gesamten Bundesgebiet war das von Verifysoft organisierte zweite Seminar "Softwaretest" mit Dr. Daniel Fischer (Professor für angewandte Informatik an der Hochschule Offenburg) wieder ausgebucht.
Vorgestellt wurden verschiedene Methoden und Verfahren des Softwaretests, Testfallerstellung, Testprinzpien, Testqualitätsmessung und Senkung der Fehleranfälligkeit.
Aufgrund des großen Interesses wiederholen wir die Veranstaltung am Donnerstag, 19. Juni 2008. Das Seminar findet im Technologiepark Offenburg statt.
Anmeldungen sind ab sofort möglich: weitere Informationen und Online-Anmeldung

 


Conformiq Qtronic Präsentation auf den "Software & Systems Quality Conferences" in Düsseldorf

Conformiq Software präsentiert Conformiq Qtronic auf den "Software & Systems Quality Conferences".
Die Konferenz findet vom 16.-18.04.2008 im Congress Center Stadthalle Düsseldorf statt. Der Eintritt zu der Veranstaltung ist am Freitag 18.04.2008 kostenlos.
Qtronic ist ein Tool für den Black-Box-Test, welches basierend auf einem Designmodell der zu testenden Software automatisch Testfälle für Black Box Tests generiert und bei Bedarf auch automatisch ausführt. Die Designmodelle können im Tool mit dem Qtronic Modeler erstellt bzw. von allen gängigen UML-Werkzeugen importiert werden.
Weitere Informationen:       Conformiq Qtronic       Software & Systems Quality Conferences

 


Automatische Testfallgenerierung: Conformiq Qtronic 1.3 verfügbar

(4. April 2008)

Version 1.3 des automatischen Testfallgenerators Conformiq Qtronic ist ab sofort erhältlich.
Qtronic 1.3 verfügt über einen inkrementellen Test-Generierungs-Algorithmus. Bereits generierte Tests werden für spätere Nutzungen gespeichert. Bei Modifikationen des Modells ist es nicht mehr notwendig, die Testfälle für die unveränderten Spezifikationen neu zu generieren.
Die Performance der Testgenerierung und die Qualität der generierten Testfälle sind weiter verbessert worden.
Weitere Informationen über Conformiq Qtronic, der führenden modellgetriebenen Testlösung erhalten Sie auf den Qtronic Produktseiten.

 


Unit-Test-Tool Testwell CTA++ Version 3.0.4 jetzt verfügbar

(18. März 2008)

Version 3.0.4 von CTA++ C++ Test Aider steht ab sofort zur Verfügung. Das Upgrade ist für Windows, Linux, Solaris und HPUX erhältlich.
Die neue Version verfügt über neue Visual C++ 8.0 und Visual C++ 9.0 IDE-Integrationen sowie Verbesserungen in der CTA++ Laufzeitbibliothek sowie in den ctastub- und cta2html-Modulen.

 


Code Coverage: "CTC++ for Symbian Target Devices add-on" v3.3 herausgegeben

(14. März 2008)

"CTC++ for Symbian Target Devices" Version 3.2 ist jetzt verfügbar. Die neue Version unterstützt jetzt auch GCCE Cross-Compiler. Bisher wurde nur der RVCT Cross-Compiler unterstützt. Durch weitere technische Verbesserungen ist CTC++ for Symbian jetzt noch robuster.

 


Embedded World 2008: Tools für den Test von embedded Software

Verifysoft at Embedded 08  
Verifysoft at Embedded 08  
(26.-28. Februar 2008)

Verifysoft Technology hat auf der Embedded World in Nürnberg neue Versionen von Test- und -analysetools für embedded Software vorgestellt.
Der Code Coverage Analyzer Testwell CTC++ (aktuelle Version 6.5) erlaubt die Messung der Testabdeckung in kleinsten embedded Targets. CTC++ ist das einzige Coveragetool auf dem Markt, welches mit allen embedded Systemen und selbst mit kleinsten Targets arbeitet.
Große Beachtung fand Conformiq Qtronic (Version 1.2). Qtronic generiert auf der Grundlage von grafischen Modellen automatisch Testfälle fü,r den Black-Box-Test.
Mit Coverity Prevent wurde ein statisches Analysetool zur Aufdeckung kritischer Fehler in größern Softwareprojekten vorgestellt.

 


Neue Version 6.5 des Code Coverage Tools Testwell CTC++ verfügbar

(15. Februar 2008)

Die Version 6.5 des Test Coverage Analyzers Testwell CTC++ bietet jetzt XML-Reporting und weiter verbesserte HTML-Ausgaben. Der Support für parallele "ctc-builds" ist leistungsfähiger.
Unsere Kunden mit gültiger Softwarewartung erhalten die neue Version kostenlos.

 


Nächstes Testing-Seminar mit Professor Dr. Daniel Fischer (Hochschule Offenburg) am 24.04.08

Verifysoft Seminar Softwaretest Aufgrund der hohen Nachfrage wiederholt Verifysoft das Seminar "Softwaretest" mit Professor Dr. Daniel Fischer, Professor für angewandte Informatik an der Hochschule Offenburg.
Vorgestellt werden verschiedene Methoden und Verfahren des Softwaretests, Testfallerstellung, Testprinzpien, Testqualitätsmessung und Senkung der Fehleranfälligkeit.
Die Veranstaltung findet am Donnerstag, 24. April 2008, ab 10 Uhr im Technologiepark Offenburg statt.
Hinweis: diese Veranstaltung ist seit dem 4. April 2008 ausgebucht. Sie können sich jedoch für eine Folgeveranstaltung vormerken lassen.
weitere Informationen und Online-Anmeldung


Verifysoft sponsort den französischen Software-Testing-Tag ("Journée Française des Tests Logiciels")

Verifysoft Technology sponsort den französischen Softwaretesttag, der am 17. Juni 2008 vom "Comité Français des Tests Logiciels" (CFTL) in Paris organisiert wird.
Weitere Informationen sind auf der Webseite des CFTL verfügbar.
Paris Front de Seine

 


Embedded World Nürnberg: Coverity CTO Ben Chelf präsentiert "Boolean Satisfiability"

Coverity CTO Ben Chelf präsentiert am 26.02.08 auf der Embedded World in Nürnberg, wie das statische Code-Analysetool Coverity Prevent durch die "Boolean Satisfiability" und die Analyse von multi-threaded Applikationen mit größter Präzision Softwarefehler aufdeckt.
Das statische Code Analysetool Coverity Prevent ist weltweit das erste Tool, mit einer auf der "Boolean Satisfiability (SAT)" basierenden Analyse-Engine arbeitet.
Embedded World Nürnberg:
Coverity Inc.: Halle 11 Stand 11-426
Verifysoft Technology GmbH: Halle 11 Stand 112

 


Viele Teilnehmer beim Software-Test-Seminar mit Professor Dr. D. Fischer

(Offenburg, 7. Februar 2008)

Dr.-Ing. Daniel Fischer, Professor für angewandte Informatik an der Hochschule Offenburg, referierte am 7. Februar im Technologiepark Offenburg über verschiedene Methoden und Verfahren des Softwaretests, Testfallerstellung, Testprinzpien, Testqualitätsmessung und Senkung der Fehleranfälligkeit.
Klaus Lambertz und Roland Bär von Verifysoft erklärten in der Folge Möglichkeiten der Softwarequalitätssicherung mit Werkzeugen wie Testwell CMT++, CTC++, Coverity Prevent und Conformiq Qtronic.
Die von Verifysoft Technology organisierte Veranstaltung war mit mehr als dreißig Entwicklern und Projektmanagern bis auf den letzten Platz besetzt. Aufgrund des regen Interesses wird das Seminar in Kürze wiederholt.
Seminarprogramm vom 7.2.08     aktuelle Veranstaltungen von Verifysoft
Verifysoft Seminar Softwaretest


Automatische Testfall-Generierung: Conformiq Qtronic 1.2 released

(11. Januar 2008)

Die Version 1.2 des automatischen Testfall-Generators Conformiq Qtronic ist ab sofort verfügbar.

Hier die Verbessungen in QTRONIC 1.2 :

  • Modell-Import jetzt auch von Sparx Systems Enterprise Architect möglich.
  • Die "Model-Debugging-Functionality" ist sowohl in den Online-Testing- als auch in den Script-Generation-Modus integriert.
  • Neuer auf Open-Source Nullsoft Scriptable Install System basierender Windows-Installer.
  • Zusätzlicher Scripter für die Generierung von Testskripten in TCL .
  • TTCN-3 und HTML-Skript-Genertoren (Erweiterungen und Verbesserung).
  • Verbesserte Nutzung von Qtronic und Qtronic Modeler.

 


Verifysoft gibt die Verfügbarkeit eines Code Coverage Tools für J#/Visual J#/JSharp bekannt

(4. Januar 2008)

Verifysoft hat das "CTC++ for Java and C# Add-on" für die Messung der Testabdeckung bei Entwicklungen mit der Programmiersprache J#/Visual J#/JSharp ausgeweitet.
"CTC++ for Java and C# Add-on" ist ein Zusatzmodul zum Test Coverage Tool Testwell CTC++ Test Coverage Analyzer for C and C++.
Die neue Version von "CTC++ for Java and C# Add-on" erlaubt wie das Basistool CTC++ die Messung der Testabdeckung für alle Coverage-Niveaus von der einfachen Function Coverage über Decision-, Condition-/Branch- und Multicondtion-Coverage bis hin zur höchsten Testabdeckungsstufe Modified Condition/Decision-Coverage.
Mit dem neuen Add-on kann CTC++ zum Nachweis höchster Code-Qualität bei der Entwicklung von sicherheitskritischen Projekten in C, C++, Java, C# und jetzt auch für J#/Visual J#/JSharp eingesetzt werden.
J#/Visual J#/JSharp ist eine von Microsoft entwickelte objektorientierte Programmiersprache, die Java- und J++-Programmierern den Um- bzw. Einstieg in die .NET-Umgebung erleichtern soll.

 



News-Archiv: 2007, 2006, 2005, 2004, 2003


last updated: 30.04.2008

© 2007-2008 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator and Conformiq Qtronic are products and a trademarks of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products and trademarks of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.