| 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  Embedded World: Produkt- und Seminarflyer (307 KB)
|
|
|
(Sindelfingen, 9.-10. Dezember 2009)
Auf dem ESE-Kongress in Sindelfingen, dem mit ca. 600 Teilnehmern größten deutschen Kongress für Embedded Software Engineering, hat Verifysoft ein neues grafisches Frontend (Verybench) für die Software-Komplexitäts-Messtools Testwell CMT++ und CMTJava vorgestellt. Verybench bereitet Software-Metriken für unterschiedliche Zielgruppen wie Manager, Projektleiter, Entwickler, Reviewer und Tester auf.
Ebenfalls auf großes Interesses stieß das Code Coverage Tool Testwell CTC++, welches die Messung der Testabdeckung in kleinsten embedded Targets ermöglicht. Gezeigt wurden auch der automatische Testfallgenerator Conformiq Qtronic™ sowie die statische Code-Analyse mit Coverity Prevent.
Webseite ESE-Kongress
|
(19. November 2009)
Testwell gibt die Verfügbarkeit einer neuen Version des Host-Target Add-ons für Testwell CTC++ bekannt.
Version 4.0 vereinfacht das Kompilieren und das Handling von DLLs.
Mit Hilfe des Host-Target Add-ons ist es möglich die Testabdeckung in allen embedded Targets zu messen.
Kunden mit gültiger Softwarewartung können das Update kostenlos herunterladen.
|
(11. November 2009)
Verifysoft wird Mitglied im ASQF (Arbeitskreis Software-Qualität und -Fortbildung).
Der ASQF ist ein gemeinnütziger Verein zum Austausch von Erfahrungen, Kenntnissen und Ideen auf den Gebieten Software-Entwicklung und Qualitätsmanagement.
|  |
|
|
| 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: Seminarbroschüre 2010
Das Seminar ist auch als Inhouse-Schulung buchbar |
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.
|  |
(13. Oktober 2009)
Testwell gibt das Release einer neuen Version des Testwell CTC++ for Symbian Target Devices add-ons bekannt. Die Version 4.0 bietet eine deutlich besser Performance bei instrumentiertem Code. Desweiteren besteht jetzt die Möglichkeit Coverage-Daten auf einfache Weise automatisch und periodisch abzuspeichern. Dieses Feature ist vor allem bei langen Testläufen mit unstabilen Systemen hilfreich.
Testwell CTC++ for Symbian Target Devices add-on: weitere Informationen
(7. Oktober 2009)
Testwell gibt die Verfügbarkeit der Version 6.5.5 des Code Coverage Analysers Testwell CTC++ für alle unterstützten Plattformen (Windows, Linux, Solaris und HP-UX) bekannt.
Die neue Version bietet ein robusteres Handling von bestimmten GCC-Extensions. Die Windows-Version verfügt über eine verbesserte Integration in Visual Studio (Express Edition, Visual Studio 2010).
Testwell CTC++ 6.5.5 hat zahlreiche weitere Verbesserungen und Bug-Fixes unter anderem für einige extreme C++-Anwendungsfälle wie beispielsweise mit Boost-C++-Bibliotheken.
Unsere Kunden mit gültiger Softwarewartung erhalten die neue Version kostenlos.
|
| Vermeiden Sie Risiken und Kosten durch fehlerhafte Embedded Software!
In einem zweitägigen Seminar (02. und 03.11.09) zeigt Professor Dr. D. Fischer im Hotel Lyskirchen Köln wie eingebettete Software effektiv und effizient getestet werden. Neben dem Testmanagement werden praxisorientierte Techniken und Vorgehensweisen erklärt, die durch Übungen und Beispiele abgerundet werden.
Anmeldungen sind noch bis zum 30.09.2009 zum Frühbucherpreise von 980 Euro bzw. 780 Euro ab dem zweiten Teilnehmer einer Firma möglich (Verlängerung der Frühbucherperiode um einen Monat).
Das Seminar "Testen von Embedded Systems" wird übrigens auch als Inhouse-Schulung angeboten.
Schulungsinhalte und Anmeldung: pdf-Formular
|
|
|
(Stuttgart, 21.+ 22. September 2009)
Mit 14 Teilnehmern ausgebucht war das zweiägige Seminar "Testen von Embedded Systems" im ARCOTEL Camino Stuttgart.
Themen der Schulung mit Professor Dr. Daniel Fischer waren unter anderem Echtzeitsysteme, Code-Design, Architektur von Embedded Systems, Parallelität und Nebenläufigkeit, RTOS, Anforderungsmanagement, agile Softwareentwicklungsprozesse, dynamische und statische Testverfahren, Abnahme-, System- und Entwicklertests, Testplan, Entwicklertests, White- und Black-Box-Tests, Anforderungen und Tracebility, Code-Inspektionen, Qualitätsstandards und Normen, grundlegende Techniken wie Äquivalenzklassen, Grenzwertanalyse, Testen besonderer Werte, paarweises Testen, CRUD Testing, Back-to-Back Testing, Stresstesting, zufallsgesteuertes Testen und Regressionstests, kontrollflußorientiertes Testen, MISRA-Regeln, SiL, HiL, Systemtests, Analyse der Qualität von Tests, Software Defect Tracking etc.
Das Seminar ist auch als Inhouse-Schulung buchbar und wird am 2. und 3.11. in Köln wiederholt.
Schulungsinhalte und Anmeldung: pdf-Formular
|
(31. August 2009)
Verifysoft bietet ab sofort ein Seminar "Professionelles Programmieren mit ANSI C" an.
Das von Professor Dr. Fischer (Hochschule Offenburg) geleitete dreitägige Seminar kann von Firmen aus Deutschland, Österreich, Liechtenstein und der Schweiz als Inhouse-Schulung gebucht werden.
weitere Informationen: Professionelles Programmieren mit ANSI C
(Saratoga, Kalifornien, 13. Juli 2009)
Conformiq Inc. gibt die Verfügbarkeit der Version 2.1 des automatischen Testfallgenerators Conformiq Qtronic™ bekannt. Die neue Version nutzt die Vorteile von multi-core, distributed und parallel Computing für eine schnellere automatische Generierung von Testfällen. Conformiq Qtronic™ kann in Grid- und Cloud-Computing-Plattformen eingesetzt werden. Durch die Verteilung der Rechenleistung auf Multi-Core-Systeme bzw. zusammenhängende Rechnersysteme kann der Tester die Testfallgenerierung beschleunigen und die Kosten für den Softwaretest weiter senken.
Mit Conformiq Qtronic™ wird das Erstellen von Testfällen für den funktionalen Test (Black-Box-Test) automatisiert. Grundlage der Testfallgenerierung ist ein Modell der Software bzw. des zu testenden Systems. Dieses in Java und UML geschriebene Modell kann in einem Bruchteil der Zeit modelliert werden, die für das Schreiben der Testfälle "von Hand" erforderlich ist. Durch Nutzung von Conformiq Qtronic™ ist bis zu zwanzig mal weniger Zeit für die Testfallgenerierung erforderlich – bei höherer Testqualität und besserer Testabdeckung. Benchmarks bei Conformiq-Kunden zeigen selbst beim ersten Einsatz von Conformiq Qtronic™ eine über fünf mal schnellere Testgenerierung im Vergleich zu herkömmlichen Methoden.
Conformiq Qtronic™ kann problemlos mit Umgebungen für die Testausführung integriert werden.
Weitere Informationen über Conformiq Qtronic™
|
|
(Friedrichshafen, 1. Juli 2009)
In einer gemeinsamen Präsentation zeigten Mitarbeiter der Daimler AG und der QTronic GmbH auf dem Internationalen VDI Kongress "Getriebe in Fahrzeugen" die modellbasierte Entwicklung eines Doppelkupplungsgetriebes.
Neben den Werkzeugen Silver und TestWeaver der Berliner QTronic GmbH kommt für die Messung der Code-Coverage bei Daimler Testwell CTC++ zum Einsatz.
Die Präsentation ist über die Webseiten der QTronic GmbH in deutsch und englisch verfügbar.
|
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
|
| Sicherheitskritische Software, die in der Luftfahrt zum Einsatz kommt, muß von den Entwicklungsfirmen intensiv geprüft werden. Die amerikanische Federal Aviation Administration (FAA) erkennt die Norm DO-178B als Nachweis für ausreichend getestete Software an. DO-178B ist eine der strengsten Normen für die Entwicklung von Software, deren Ausfall katastrophale Folgen haben kann.
Wegen der Gründlichkeit der Norm, wird diese auch häufig außerhalb der Luftfahrtindustrie eingesetzt, so zum Beispiel in den Bereichen Kernenergie, Bahn- und Automobilindustrie, sowie in der Medizintechnik.
Coverity hat jetzt ein Dokument veröffentlicht, welches beschreibt wie die Verifikation nach DO-178B mit dem Coverity Integrity Center erreicht werden kann.
Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center. |
|
(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: 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003
last updated: 10 Jan 2012
© 2009-2010 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, news of 27.05.2009 SQS Software Quality Systems AG, news of 01.07.2009 Daimler AG/QTronic 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 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}
