News

[English][Français]
Firma     Conformiq Tool Suite     Coverity     CMT++/CMTJava     CTC++/CTC for Java and C#     Java Testing Tools     Seminare/Workshops    

 

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 (Juli 2010, 226 KB)

Follow us on
twitter

 

Verifysoft office
 
Verifysoft office

Verifysoft zieht in neue Büroräme um

(17. August 2010)

In den vergangenen Jahren hat Verifysoft Technology durch erfolgreiche Kunden- und Partnerbeziehungen ein stetiges Wachstum erzielt. Hierdurch wurde ein Umzug in neue größere Geschätsräme erforderlich, die auch für die Zukunft beste Bedingungen für die weitere Entwicklung unserer Firma bieten.
Die neue Adresse lautet In der Spöck 10-12, 77656 Offenburg (Deutschland).
Besucheradresse: In der Spöck 12, TPO II (1. Etage).
Unser Team ist weiterhin unter den bekannten Telefon- und Faxnummern erreichbar.

 


Siemens Corporate Technology veröffentlicht Studie über Conformiq Designer und ein weiteres MBT-Tool

(22. Juni 2010)

Siemens Corporate Technology hat die Studie "Model-based testing in industry: a case study with two MBT tools" veröffentlicht.
Conformiq wird als zuverlässig und einfach zu nutzen bezeichnet. weitere Informationen

 


Testwell CTC++ for Symbian Target Devices add-on v4.1 verfügbar

(Tampere/Finnland, 21. Juni 2010)

Eine neue Version von Testwell CTC++ for Symbian Target Devices mit einer Qt-basierten Variante des grafischen Programms "CTC++ Manager" ist jetzt verfügbar (bisher wurde nur die auf Avcon basierende Variante unterstützt).

 


Verifysoft bietet Kompaktseminare "Model Based Testing" an

Model Based Testing (18. Juni 2010)

Mit modellbasiertem Testen lässt sich nach Kundenangaben der Aufwand für die Erstellung von Softwaretests um bis zu 80% senken. Trotzdem schrecken viele Entwicklungsfirmen immer noch vor Einführung modellbasierter Testmethoden zurück, da der Lern- und Einführungsaufwand überschätzt wird. Verifysoft Technology wird deshalb regelmäßig kostengünstige Kompaktseminare über modellbasiertes Testen, Modellerstellung und automatische Testgenerierung anbieten. Die nächsten Seminare finden am 14.10.2010 in Offenburg und am 31.01.2011 in München statt. Danach sollen die Schulungen halbjährlich in verschiedenen Städten angeboten werden. weitere Infos und Anmeldung

 


Schneider Electric spart mit Coverity 2500 Stunden für Fehlersuche ein

Schneider Electric (San Francisco, Seligenstadt, Offenburg, Mai 2010)

Schneider Electric, einer der weltweit größten Anbieter von Energiemanagement-Lösungen, hat sich für die statische Analyse von Coverity entschieden. Im Rahmen eines automatisierten Prozesses ermittelt Coverity Softwaredefekte in der Automatisierungs- und Steuerungssoftware Unity von Schneider. komplette Success-Story

 


Frequentis setzt bei Qualität von sicherheitskritischem Softwarecode auf Coverity

Frequentis (San Francisco, Wien, Offenburg, Mai 2010)

Frequentis, ein in Wien ansässiger führender internationaler Anbieter von Lösungen für Kontrollzentren, setzt zur Suche und Beseitigung von Softwaredefekten in sämtlichen Produktreihen die Coverity Static Analysis ein. komplette Success-Story

 


Conformiq 4.2 als Upgrade von Conformiq Qtronic 2.1 mit Integration in Requirement- und Test-Management-Tools erhältlich

(Espoo/Finnland und Saratoga/USA, 19. Mai 2010)

Conformiq gibt die Verfügbarkeit der Version 4.2 der Conformiq Tool Suite (ehemals Conformiq Qtronic™) bestehend aus dem Conformiq Modeler™ 4.2 und dem Conformiq Designer™ 4.2 bekannt. Conformiq 4.2 ist die vierte Technologiegeneration der seit zehn Jahren entwickelten modellbasierten Testtools von Conformiq. Durch die Namens- und Versionsänderung soll die Reife der Testsuite kommuniziert werden.
Die neue Version enthält weitere Import- und Integrationsmöglichkeiten. Conformiq Designer 4.2 importiert jetzt bestehende TTCN-3-Type-Definitionen. Unter anderem ist jetzt auch die Nutzung von Rational Software Architect Realtime Edition (RSARTE) für das Erstellen der Modelle möglich.
Conformiq Designer 4.2 ermöglicht jetzt den Import von Requirements aus Third Party Tools und publiziert automatisch die generierten Tests in Test-Management-Tools. Folgende Integrationen werden "out of the box" unterstützt:

  • IBM RequisitePro (Requirement-Management-Tool) Version 7.1
  • HP QualityCenter (Requirement- und Test-Management-Tool) version 9 and 10
  • IBM DOORS (Requirement-Management-Tool) Version 9.2
Die Conformiq Tool Suite generiert automatisch funktionale Tests aus (grafischen) Systemmodellen. Der Nutzer kann vorab das Format der Testfälle (unter anderem HTML, XML, Python, Perl, TCL, Visual Basic und TTCN-3) wählen. Das das Erstellen der Modelle ist in einem Bruchteil der Zeit möglich, die bisher für das manuelle Schreiben von Testfällen erforderlich war.

 


Seminar "Testen von Embedded Systems" in Berlin

Vermeiden Sie Risiken und Kosten durch fehlerhafte embedded Software!
Nach dem erfolgreichen Seminar "Testen von Embedded Systems" am 26. und 27. April in München findet diese Schulung mit Professor Dr. D. Fischer am 21. und 22. Juni erstmals in Berlin statt.
Um Kurzentschlossenen noch die Möglichkeit zur Teilnahme am Seminar zu geben, haben wir den günstigen Frühbucherpreis bis zum 20.05.2010 verlängert.
Neben dem Testmanagement werden praxisorientierte Techniken und Vorgehensweise erklärt. Durch Übungen und Beispiele aus der Praxis erlernen Sie die Seminarinhalte in eigenen Projekten umzusetzen.
Weitere Informationen und Anmeldungen: pdf Seminarbroschüre 2010
  Brandenburger Tor Berlin

Sony Center Berlin

 


Logo Spirula
 
Spirula

Kostenloses Seminar CMMI, Model Driven Testing und Capitalisation

Manager müssen in der Lage sein, den Aufwand für Entwicklung und Test von Softwareprojekten zu planen und zu optimieren.
Spirula, Mitautor des Reifegradmodells CMMI, zeigt Ihnen die Anwendung der Capability Maturity Model Integration aus der Sicht des Managers. Sie lernen wie Sie CMMI und dessen Vorteile durch Aufsetzen von nützlichen Indikatoren und Capitalisation nutzen um Ihre Tests zu optimieren.
Ebenfalls werden Möglichkeiten der Qualitätssteigerung und der Kostensenkung durch das automatische Erstellen von Testfällen gezeigt.
kostenloses Seminar am 18. Mai 2010 in Offenburg: Programm und Anmeldung

 


Treffen Sie Conformiq auf der iqnite in Düsseldorf

Die iqnite-Konferenz (ehemals Software & Systems Quality Conference) ist eine der wichtigsten Veranstaltungen für Softwaretest und -qualität. Treffen Sie in der Stadthalle Düsseldorf Experten und lernen Sie mehr über die aktuellen Trends und Erfahrungen aus dem Testbereich .
Conformiq ist Spezialist für Automated Test Design™. Erfahren Sie am Conformiq-Stand wie Sie mit Model Based Testing-Tools Risiken reduzieren, Testkosten senken und Ihre Produktqualität erhöhen.
  iqnite

 


Testwell CTC++ Test Coverage Analyser Version 6.5.6 verfügbar

(Tampere/Finnland, 17. März 2010)

Testwell gibt die Verfügbarkeit einer neuen Version des Code Coverage Tools Testwell CTC++ für alle unterstützten Plattformen (Windows, Linux, Solaris und HP-UX) bekannt. Die Version 6.5.6 bietet Verbesserungen für die Analyse von Symbian- und QT-Code.

 


Embedded World 2010: Testtools und Seminargewinner

Verifysoft at Embedded 2010 Verifysoft at Embedded 2010
Embedded World 2010
    (Nürnberg, 5. März 2010)

Verifysoft Technology informierte auf der Embedded World über das Code Coverage Tool Testwell CTC++, das Softwarekomplexitätsmesstool Testwell CMT++ und den automatischen Testfallgenerator Conformiq Qtronic™.
Unter allen Besuchern wurden zwei Seminare "Testen von Embedded Systems" inkl. Hotelübernachtung verlost. Gewinner sind L. Berndt (E-T-A GmbH) und F. Postl (Bertrandt GmbH).
Anmeldungen für das Seminar am 26. und 27.04.2010 in München sind noch bis zum 26.03.2010 zum günstigen Frühbucherpreis möglich.

 


Partnerschaft mit dem Entwicklungsprozess- und CMMI-Spezialisten Spirula

Logo Spirula (Paris, 11. Februar 2010)

Verifysoft und die Pariser Firma Spirula geben den Abschluß einer Partnerschaft bekannt.
Spirula hielft beim Aufsetzen eines effizienten Entwicklungsprozesses, bei der Implementierung von Dashboards für die Projektkontrolle und bei der Verbesserung der Zuverlässigkeit von Kosten- und Aufwandsplanungen.

Im Rahmen der Partnerschaft bieten Spirula und Verifysoft gemeinsame kostenlose Seminare zum Thema "CMMI und Model Driven Testing" an. Die Veranstaltungen finden am 13. April 2010 in Paris bzw. am 18. Mai 2010 in Offenburg statt.
Programm und Online-Registration:   13.04.2010: Paris (in Französisch)   18.05.2010: Offenburg (in Englisch).

 


Embedded World 2010: Verifysoft verlost zwei 2-Tages-Seminare "Testen von Embedded Systems" inkl. Hotelübernachtungen

Embedded World 2010 Verifysoft Technology stellt auf der Embedded World in Nürnberg in Halle 10 Stand 10-525 vom 2. bis 4. März 2010 Tools für den Test von embedded Software vor.
Wir informieren Sie auf der Messe über das Code Coverage Tool Testwell CTC++ (arbeitet mit allen embedded Targets), das Softwarekomplexitätsmesstool Testwell CMT++, den automatischen Testfallgenerator Conformiq Qtronic™ und das statische Code-Analysetool Coverity Prevent sowie über unser Seminarprogramm.
Unter allen Besuchern an unserem Stand verlosen wir zwei 2-Tages-Seminare "Testen von Embedded Systems" (Seminarleiter Professor Dr.-Ing. Daniel Fischer, Hochschule Offenburg) inkl. zwei Hotelübernachtungen wahlweise in München, Stuttgart oder Berlin im Wert von jeweils 1.138 Euro.
Weitere Informationen: Verlosung von Seminarplätzen         pdf  Embedded World: Produkt- und Seminarflyer (307 KB)

 


Seminare "Testen von Embedded Systems" 2010 in München, Berlin und Stuttgart

Seminar Softwaretest Seminar Softwaretest
Seminar Softwaretest Seminar Softwaretest
      Erfahren Sie in unseren 2-tägigen Seminaren wie Sie embedded Systeme effizient und zuverlässig testen.
Verifysoft Technology bietet die Schulung "Testen von Embedded Systems" mit Professor Dr. D. Fischer von der Hochschule Offenburg im Jahr 2010 an folgenden Terminen an:
  • 26.-27.04.2010 München  (Hotel NH Deutscher Kaiser)
  • 21.-22.06.2010 Berlin           (Hotel Sylter Hof)
  • 25.-26.10.2010 Stuttgart       (ARCOTEL Camino)
Neben dem Testmanagement werden praxisorientierte Techniken und Vorgehensweise erklärt. Durch Übungen und Beispiele aus der Praxis erlernen die Teilnehmer die Seminarinhalte in eigenen Projekten umzusetzen.
Weitere Informationen und Anmeldungen: pdf Seminarbroschüre 2010
Das Seminar ist auch als Inhouse-Schulung buchbar

 


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

Verifysoft Technology sponsort den französischen Softwaretesttag, der am 30. März 2010 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

 


CESI Toulouse
ENSEEIHT Toulouse
 

Hochschulprogramm: Verifysoft mit Vorträgen in Toulouse

(Toulouse, 19 Januar 2010)

Im Rahmen des Hochschulprogramms hat Verifysoft an den Toulouser Universitäten eXia und ENSEEIHT Tools und Testtechniken für die Entwicklung von Software mit höchster Qualität gezeigt.
Über das Hochschulprogramm stellt Verifysoft Testwerkzeuge für Hochschulen zu interessanten Sonderkonditionen zur Verfügung.

 


Coverity 5: erweiterte Toolsuite zur automatisierten Softwareanalyse

(San Francisco, München, 15. Januar 2010)

Coverity 5, die erweiterte Toolsuite zur automatisierten Softwareanalyse, prüft unter anderem, ob sich die gefundenen Fehler im Code tatsächlich negativ auf den späteren Einsatz der Software auswirken.
Durch das neue Feature Defect Impact Mapping werden die Folgen von Defekten aufgrund von Softwareänderungen priorisiert und entsprechend dargestellt. Coverity 5 zeigt auf, wie sich ein Defekt auf mehrere Codebasen, Projekte und Produkte im Portfolio auswirkt.
Die automatische Priorisierung von gefundenen Fehlern leitet den Entwickler zielgenau zu Defekten mit den schwersten Folgen, wodurch businessrelevante Fehler höchst effizient eliminiert werden können. Das webbasierte Defect-Management-Interface ermöglich das gesamte Management der Defekte in C/C++, C# und Java.
Coverity erzielt die industrieweit niedrigste False Positive Rate von durchschnittlich 15 Prozent und erreicht dabei eine hundertprozentige Pfadabdeckung. Millionen von Codezeilen werden in nur wenigen Stunden analysiert.
weitere Informationen: Coverity Prevent       kostenloser Trial

 


 

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


last updated: 17.08.2010

© 2010 Verifysoft Technology GmbH
all company and event logos are © and the property of their respective owners
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are products and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
Coverity Prevent, Coverity Extend, Coverity Integrity Center and Coverity Architecture Analyzer are products and trademarks of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.