Follow us on
|
Informationen über unsere Updates etc. sind jetzt auch über
twitter
verfügbar.
Hier die letzten Twitter-Meldungen (Stand 1. Juli):
- Trying to get a HTC Magic Today, look here http://bit.ly/mobiFlip :) about an hour ago
- Minor update of the Renesas add-on to v0.3 level. Added the nc30 compiler, works now with compiler given response files. about 5 hours ago
- Just released v0.2 of the CTC++ for Renesas add-on (nc308 compiler). Making code coverage the easy way for Renesas µControllers :) 2 days ago
- Putted the ancient, but still working CTC++ for Borland C++ 5.0.2 code coverage IDE integration in our attic download. Paradigm may work. 8 days ago
|
|
(Düsseldorf, 27. Mai 2009)
Die Software-Quality-Management und Software-Testing-Community
hat sich zum vierzehnten mal auf den
Software & Systems Quality Conference Germany in Düsseldorf
getroffen.
Conformiq hat dort das führende Automated Test Design™ Tool
Conformiq Qtronic™
vorgestellt.
Conformiq Qtronic™ nutzt ein Anforderungsmodell als Input
um auf dieser Basis automatisch Testskripten zu generieren.
Firmen, die sich für die Automatisierung von funktionalen Softwaretests
mit Conformiq Qtronic™ interessieren können uns für eine
Inhouse-Präsentation kontaktieren.
Foto: Klaus Lambertz und Frank Erdrich (Verifysoft) im Kundengespräch am Conformiq-Stand
Publication with friendly permission of SQS Software Quality Systems AG
|
|
|
Vermeiden Sie Risiken und Kosten durch fehlerhafte Embedded Software!
In zweitägigen Seminaren zeigt Professor Dr. D. Fischer wie Sie
eingebettete Software effektiv und effizient testen.
Neben dem Testmanagement werden praxisorientierte Techniken und Vorgehensweisen erklärt, die durch Übungen und Beispiele
abgerundet werden.
Anmeldungen sind ab sofort über unser pdf-Formular möglich.
Für das Seminar am 15. und 16. Juni im MARITIM Hotel Reichshof Hamburg
bieten wir einen Preisnachlaß von 20% auf den Frühbucherpreis an.
Sie zahlen netto 784 Euro (statt 1.180 Euro) bzw.
ab dem zweiten Teilnehmer einer Firma/Organisation 624 Euro (statt 940 Euro).
Bitte beachten Sie, dass der Sonderpreis nur für das Seminar in Hamburg gilt!
Das Seminar kann übrigens - auch kurzfrisitg - als Inhouse-Seminar gebucht werden.
Hier einige Teilnehmerstimmen vom Seminar am 27. und 28.04. in München:
"Ein ganz herzliches Dankeschön für die super Schulung. Ich hab so einiges Neues erfahren und bin in meinem Vorhaben,
wie wir unser Testing verbessern können, bestärkt worden."
"Praxis und Theorie in gutem Verhältnis - Organisation und Inhalt hervorragend"
Verbessern auch Sie Ihre Softwaretests und melden Sie sich hier für eines unserer
Seminare an (bitte bei Anmeldung für HAMBURG Preis auf dem Formular von Hand ändern).
|
|
|
(Lyon, 25. Mai 2009 / Colmar, 4. Juni 2009)
Auf einer von der technischen Abteilung der Universität Lyon (Frankreich)
organisierten Veranstaltung referierte Marketingleiter Klaus Lambertz Ende Mai
vor mehr als dreißig Professoren von zahlreichen französischen
Universitäten über "Prinzipien, Techniken und Werkzeuge für
den Softwaretest". Eine weitere Präsentation fand am 4. Juni in Colmar (Elsaß) statt.
Die Kosten für fehlerhafte Software belaufen sich nach einer Studie
der Kingston University London alleine in Europa auf bis zu 150 Milliarden
Euro jährlich.
Um diese Situation zu verbessern empfiehlt die Studie
in das "Know-how" der Programmierer zu investieren.
Um die Ausbildung zukünftiger Entwicklergenerationen zu unterstützen,
hat Verifysoft deshalb ein Hochschulprogramm
aufgestellt, welches Hochschulen und Universitäten Testtools zu
besonderen Konditionen zur Verfügung stellt.
Weiterhin können Studenten in der
Verifysoft-Testing-Library
Dokumente einstellen und abrufen.
|
|
(6. Mai 2009)
Verifysoft Technology bietet jetzt einen neuen kostenlosen Service für
Softwareentwickler, Testteams und Qualitätsmanager an: die
"Verifysoft Software Testing Papers Library".
Nach Registrierung haben Interessierte Zugang zu einer Reihe von Ausarbeitungen
und White-Papers aus dem Bereich Softwaretest und Softwarequalität.
Autoren, die interessante Abhandlungen wie Studienarbeiten
und Arbeiten aus der Praxis wie Berichte über Testtechniken,
Erfahrungsberichte, Untersuchungen von Softwaretesttools usw.
einem breiten Fachpublikum zugänglich machen und über
die Verifysoft-Webseiten veröffentlichen wollen,
sollten den Softwarettestspezialisten kontaktieren.
Bei Aufnahme in die Liste bedankt sich Verifysoft mit Fachbüchern.
Weitere Informationen:
Verifysoft Software Testing Papers Library
|
|
|
(21. April 2009)
|
Eine neue Version von Conformiq Qtronic™ (2.0.3) steht ab sofort zum Download bereit.
In den meisten Softwareentwicklungsprojekten werden Testfälle bisher mühsam und zeitintensiv manuell erstellt.
Conformiq Qtronic™, ein Eclipse-basierter automatischer Testfallgenerator, generiert Tests jetzt schnell und präzise.
Hierfür benötigt das Tool lediglich ein Systemmodell in UML oder Java, welches die Anforderungen an die Software abbildet.
Für das Modellieren ist im Vergleich zu den bisherigen Methoden nur einem Bruchteil der Zeit erforderlich.
Nach Wahl des Nutzers gibt Conformiq Qtronic™ Testscripts in TTCN-3, TCL, Java, XML, C++ und Python aus.
Diese Testfälle können im weiteren Testprozess wie bisher üblich ausgeführt werden.
Unabhängig von der Programmiersprache testet Conformiq Qtronic im "Black-Box-Test-Verfahren" beliebige Applikationen.
Das Werkzeug kann für den funktionalen Test, sowie für System-, Integrations- und Akzeptanztests eingesetzt werden.
weitere Informationen
|
(San Francisco, 14. April 2009)
Das Coverity® Integrity Center, eine Toolsuite von Software-Analyse-Produkten, ist ab sofort verfügabr.
Dieses Paket ermöglicht schnellere Softwareänderungen bei geringerem Risiko, steigert die Produktivität
und führt dank hocheffizienter Entwicklung zu einer schnelleren Markteinführung von Softwareprodukten.
|
Coverity Integrity Center liefert die folgenden Analysemöglichkeiten:
Architektur-Analyse:
Analysiert das Design der Software, um einfache Modifikation und Wiederverwertung sicherzustellen und maximale
Flexibilität zu garantieren. Das Tool analysiert die Architketur und identifiziert versteckte
Sicherheitsschwachstellen (backdoors).
Statische Analyse:
Analysiert den Code nach Fehlern und vermeidet somit Verzögerungen in der Auslieferung und teure Rückrufaktionen.
Build-Analyse
Analysiert Software-Builds, um Probleme und Leistungsschwächen aufzuspüren.
Die Analyse garantiert ebenfalls, dass alle Open-Source-Komponenten im Produkt dokumentiert und sicher sind.
Dynamische Analyse
Deckt während der Ausführung unter anderem komplexe Gleichzeitigkeitsfehler in multi-threaded Anwendungen und
Crash-verursachenden Probleme auf.
weitere Informationen: Coverity Integrity Center
|
|
(3. April 2009)
Modellierungstechniken werden nicht nur in der eigentlichen Softwareentwicklung,
sondern auch beim Softwaretest immer wichtiger.
Die knapp 390 Seiten starke iX-Studie
"Modellbasiertes Testen: Modellierung und Generierung von Tests
Grundlagen, Kriterien für Werkzeugeinsatz, Werkzeuge in der
Übersicht" stellt nach einer ausführlichen Erörterung
der Grundlagen des modellbasierten Testens neun Werkzeuge ausführlich vor.
Neben dem durch Verifysoft Technology vertriebenen automatischen Testfallgenerator
Conformiq Qtronic™ haben die Autoren Helmut Götz, Markus Nickolaus,
Thomas Roßner und Knut Salomon die Werkzeuge Expecco (eXept Software AG),
MaTeLo (ALL4TEC), Rhapsody TestConductor/Automatic Test Generator (Telelogic),
Smartesting Test Generator (Smartesting), TDE/UML (Siemens AG),
TestBench/MBT (imbus AG), TPT (PikeTec GmbH) und TT-Suite
(Testing Technologies IST GmbH) im Detail untersucht.
Bei einer
Bestellung bis zum 1. Mai dieses Jahres gewährt der Verlag 10 Prozent
Rabatt auf den Preis von 390 Euro. Ausgeliefert wird die Studie im Mai.
|
(San Francisco, 2 April 2009)
Coverity Inc. (San Francisco) blickt auf das erfolgreichste Quartal in der Firmengeschichte zurück.
Im ersten Quartal 2009 erzielte Coverity eine Umsatzsteigerung von 47% im Vergleich zum entsprechenden Zeitraum in 2008.
Dieses Ergebnis wurde durch Neukunden als auch mit der Ausweitung des Geschäts mit bestehenden Kunden erzielt,
welche die Coverity-Software-Integrity-Produkte jetzt firmenweit einsetzen um Softwarefehler zu vermeiden und ihre Produkte
schneller zur Marktreife zu bringen.
Die Technologien von Coverity werden mit großem Erfolg in Software-intensiven Industrien wie beispielsweise Medizintechnik,
Telekommunikation, Verteidigung und Luftfahrt, Gaming und Enterprise-Software eingesetzt.
Aktuell arbeiten mehr als 100.000 Entwickler in über 600 Firmen mit Coverity, um die
die Lieferung bester Software zu garantieren.
(9. März 2009)
Testwell gibt die Verfügbarkeit von
Testwell CTA++ Version 3.0.6 bekannt.
Die neue Version hat einige kleinere Verbesserungen:
In externen .dat-Dateien werden jetzt einfache Berechnungen unterstützt.
Änderung im ASSERT_MEMEQ-Verhalten.
Ein Bugfix im Data-File-Handling.
Unsere Kunden mit Softwarewartung erhalten die neue Version ohne Zusatzkosten
zugestellt.
|
|
|
(Nürnberg, 5. März 2009)
Verifysoft Technology informierte auf der Embedded World über das Code Coverage Tool
Testwell CTC++, das Softwarekomplexitätsmesstool
Testwell CMT++,
den automatischen Testfallgenerator
Conformiq Qtronic™
und das statische Code-Analysetool
Coverity Prevent.
Unter allen Besuchern wurde pro Messetag ein Seminar inkl. Hotelübernachtung verlost.
Die Gewinner B. Mausz (Vector Informatik GmbH), M. Richter (Silver Atena GmbH) und
B. Spindler (Ingenieurbüro Spindler) haben die Wahl zwischen dem 2-Tages-Seminar
"Testen von Embedded Systems "
(Professor Dr. D. Fischer, Hochschule Offenburg) in München, Stuttgart, Köln oder Hamburg
bzw. dem Tagesseminar "Zertifizierung technischer Steuerungen und deren Software"
mit Dr. Günter Glöe (TÜV Nord) in Stuttgart.
Für beide Seminare sind noch Plätze verfügbar. Eigens für Besucher der Embedded World wurde
der Frühbucherrabatt für das Seminar
"Testen von Embedded Systems" am 27. und 28.04.2009 in München
bis zum 16.03.2009 verlängert.
|
Coverity Prevent ist auf der Messe mit dem Embedded World Award in der
Kategorie Software ausgezeichnet worden.
Hiermit würdigte die Jury die erfolgreichen Bemühungen,
Qualität und Sicherheit schon früh im Entwicklungszyklus zu steigern.
Coverity Prevent überzeugte besonders durch die Innovationen in der
Meta-Compilierung, der Boolean Satisfiability und der Analyse von
Multithread-Anwendungen, die für bisher unerreichte Effizienz und
Genauigkeit sorgen.
(27. Februar 2009)
Testwell gibt die Verfügbarkeit einer neuen Version von
Testwell CTC++ bekannt.
Die Version 6.5.4 bietet zahlreiche Verbesserungen, unter anderem
Support für 64-bit-Code-Testing auf allen unterstützten Plattformen
(Windows, Linux, Solaris, HP-UX) und ein besseres Handling zum Erhalt von
Coveragedaten bei "nicht endenden Prozessen".
Unsere Kunden mit gültiger Softwarewartung erhalten die neue Version
kostenlos.
|
(16. Februar 2009)
Unsere aktualisierte Produkt- und Firmenbroschüre steht ab sofort
zum Download zur Verfügung.
Insbesondere wurden in der Broschüre die erweitereten Produkteigenschaften
des automatischen Testfallgenerators Conformiq Qtronic™ berücksichtigt.
Download:
 Deutsch
English
|
|
(13. Februar 2009)
Trotz Wirtschaftskrise erhält Conformiq drei Millionen Euro zur weiteren Produktentwicklung.
|
Die von Nexit Ventures und "Finland´s Industry Investment Ltd." (Suomen Teollisuussijoitus Oy)
angeführte Investorengruppe europäischer und amerikanischer Kapitalgeber
ist vom Erfolg des "Model based Testing" überzeugt.
Um den stark wachsenden amerikanischen Markt besser bedienen zu können, hat Conformiq kürzlich seinen Firmensitz
nach Saratoga im kalifornischen Silicon Valley verlegt. Die Produktentwicklung verbleibt in Espoo (Finnland), wo die Firma
Ende der 1990er-Jahre gegründet wurde.
Conformiq ist auf modellbasierte Testtools spezialisiert.
Mit der von Conformiq entwickelten Technologie ist es möglich, Testfälle für den funktionalen Test
(Black Box Test) automatisch auf der Basis eines Designmodelles der Software
bzw. des zu testenden Systems generieren zu lassen, statt diese mühsam und zeitintensiv "von Hand" zu erstellen.
Die neueste Version des automatischen Testfallgenerators Conformiq Qtronic™ verfügt über ein Eclipse-basiertes Frontend.
Conformiq Qtronic™ kann unabhängig von der Programmiersprache beliebige Applikationen testen.
Grundlage für die Testgenerierung ist ein Designmodell, welches
textuell in Java oder grafisch mit UML erstellt werden kann.
"Warum Testfälle schreiben, wenn ein Werkzeug diese Aufgabe
übernehmen kann? Unser Ansatz besteht darin, ein Testmodell basierend auf den Anforderungen an die Software zu erstellen,
anstatt Testfälle zu definieren", so A.K. Kalekos, CEO von Conformiq.
"Diese Vorgehensweise spart Zeit und Geld."
Weitere Informationen über Conformiq Qtronic™
|
|
(Offenburg, 3. Februar 2009)
Verifysoft Technology hat sich zum Ziel gesetzt, die in der professionellen Softwareentwicklung eingesetzten Werkzeuge Universitäten und Hochschulen durch
sehr interessante Sonderkonditionen zugänglich zu machen.
Im Rahmen unseres Hochschulprogramms statten wir Labors und Klassenräume
in Deutschland, Österreich und der Schweiz mit den Tools
Testwell
CTC++,
CMT++,
CMTJava
und/oder
CTC++ for Java and C#
aus.
Die Lizenzen im Rahmen unseres Hochschulprogramms haben vollen Funktionsumfang,
dürfen jedoch nur für die nicht-kommerzielle Nutzung in Forschung und Lehre eingesetzt werden.
Zahlreiche Hochschulen setzen unsere Tools bereits erfolgreich in ihren Lehrveranstaltungen ein
und schulen Studenten mit den in der Industrie eingesetzten Werkzeugen.
Weitere Informationen: Verifysoft Hochschulprogramm
|
|
(23. Januar 2009)
Conformiq Software gibt die Verfügbarkeit von Conformiq Qtronic™ 2.0,
dem führenden Tool für die Automatisierung modellbasierter Testfallerstellung bekannt.
Conformiq Qtronic™ 2.0 bietet jetzt eine Client-Server-Architektur mit einer
leistungsfähigen Test Generation Engine als Server und
einem Eclipse basierten Plug-in auf Clientseite.
Hier einige der wichtigsten Neuerungen:
- Separation von User-Workspace und Testgenerierung in zwei verschiedene Komponenten:
(Conformiq) Qtronic Computational Server (QCS) und (Conformiq) Qtronic Eclipse Client (QEC).
- Redesign der Conformiq Qtronic™-Benutzeroberfläche als Eclipse-Plug-in
mit Verfübarkeit für verschiedenen Plattformen wie
Linux, Window und Solaris (gemäß Eclipse-Verfügbarkeit).
- Support für zahlreiche Testdesignkonfigurationen bzw. -profile
(jeweils mit eigenen Einstellungen für Coverage und Backend-Skript-Generation).
- Inkrementielle Testfallgenerierung mit lokalen Testfallbezeichnungen
- Testfallanalyse jetzt auch im User-Interface
(der Export eines HTML-Testplans ist nicht mehr erforderlich)
- Vereinfachte Erstellung von Plug-in-APIs mit Java
- Online-Testing wird momentan nur durch Conformiq Qtronic™ 1.X unterstützt,
Ausweitung auf Conformiq Qtronic™ 2.X in Zukunft.
(20. Januar 2009)
Coverity kündigt die Verfügbarkeit neuer Features in
Coverity Prevent für Entwickler an, die mit Microsoft-Produkten arbeiten.
Die neueste Version von Coverity Prevent bietet Support für Windows Vista, Integrierbarkeit mit Microsoft Visual Studio und Modellierung für Win32 Concurrency APIs.
Zusätzlich wurde Coverity Prevent um mehrere Qualitäts- und Concurrency-Checker für C# erweitert.
Hiermit können Entwickler kritische Defekte in ihrer bevorzugten Entwicklungsumgebung identifizieren,
priorisieren und korrigieren.
Mit zunehmendem Einsatz von Multicore-Prozessoren setzen Entwickler vermehrt
auf Coverity Prevent, um Fehler wie Race Conditions oder Deadlocks ausfindig zu machen. Die neueste Version von Prevent ermöglicht auch die Analyse Win32-basierten Codes und die präzise Lokalisierung dieser schwer auffindbaren Defekte.
Die aktuelle Version des statischen Codeanalysetools von Coverity bietet folgende
Microsoft-spezifischen Erweiterungen:
- Visual Studio Support
- C# Concurrency Defect Detection
- Support für Win32 Concurrency
- umfassender Support für alle Microsoft Plattformen
(9. Januar 2009)
Version 2.2 des Softwarekomplexitätsmesstools von Testwell CMTJava ist jetzt verfügbar.
Der sogenannte CMTJava "long report" wird jetzt in XML ausgegeben und bietet damit neue Möglichkeiten der Integration in Toolchains.
Weiterhin gibt es Verbesserungen im Tool selber und in der HTML-Ausgabe.
Unsere Kunden mit gültiger Softwarewartung erhalten die neue Version kostenlos.
|
In einem von Verifysoft Technology organisierten Workshop stellen Professor Dr. Bernd Steinbach und seine Mitarbeiter ein Konzept für den modellbasierten Softwaretest
sowie die an der Technischen Universität Bergakademie Freiberg (Sachsen) in partieller Zusammenarbeit mit Bayer Business Services Leverkusen entwickelten Werkzeuge vor.
Die Veranstaltung findet am Donnerstag, 12.02.2009, im Technologiepark Offenburg statt.
Neben dem Konzept und der Werkzeugübersicht erhalten die Teilnehmer Informationen zum Modellierungswerkzeug UML2-Designer, dem Testfallgenerierungstool GETECA,
MOCCA (Werkzeug zur automatischen Codegenerierung) und dem .NET-Tester, einem Tool für die automatische Testdurchführung.
Programm und Online-Anmeldung
|
|
(Offenburg, 5. Januar 2009)
Verifysoft kündigt Verybench, ein grafisches Frontend für das Softwarekomplexitätsmesstool Testwell CMT++
an.
Das Add-on zum Metrikentool CMT++ bietet verschiedene Ansichten für Entwickler, Reviewer, Tester, Management und Controlling.
Neben den aus CMT++ bekannten Ausgaben in Text, HTML, XML und CSV können mit Verybench zusätzlich PDF-Reporte erzeugt werden.
Das Release ist für Februar 2009 geplant.
Weitere Informationen: Produktbroschüre (1 MB)
|
|
(2. Januar 2009)
Seit Ende Dezember ist die Version 4.3 von Coverity Prevent, dem führenden
Testtool für die statische Analyse von Software verfügbar.
Die neue Version bietet unter anderem neue Checker für C/C++, Java und C#
sowie weitere Verbesserungen im Coverity Defect Manager.
Weitere Informationen: Coverity Prevent kostenloser Trial
|
Firmenprofil 2009
Firmenprofil (Stand 2009)
News-Archiv:
2008,
2007,
2006,
2005,
2004,
2003
last updated: 02.07.2009
© 2009 Verifysoft Technology GmbH
© photos: Verifysoft Technology GmbH,
exept: news of 03.02.09 Stephen Coburn Fotolia.com,
Hamburg Harald Bolten,
fotopro - Fotolia.com,
news of 04.06.2009 QTronic GmbH
and news of 27.05.2009 SQS Software Quality Systems AG
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 Qtronic™ is a product and a trademark of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent, Coverity Extend, Coverity Integrity Center and Coverity Architecture Analyzer are products and trademarks of Coverity Inc., San Francisco (USA)
TestWeaver is a product of QTronic GmbH, Berlin (Germany)
all other trademarks of this site are the property of their respective owners.
|
![[English]](flaggeUK.jpg){kind=small}
![[Français]](flaggeF.jpg){kind=small}
