|
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
|
|
Verifysoft Technology stellt auf der Embedded World in Nürnberg in Halle 11 Stand 11-112 vom 3. bis 5. März 2009 Tools für den Test von embedded Software vor.
Wir informieren Sie ü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.
Unter allen Besuchern an unserem Stand verlosen wir pro Messetag ein 2-Tages-Seminar "Testen von Embedded Systems"
(Seminarleiter Professor Dr.-Ing. Daniel Fischer, Hochschule Offenburg) inkl. zwei Hotelübernachtungen wahlweise in München, Stuttgart, Köln oder Hamburg
im Wert von jeweils 1.432 Euro.
Weitere Informationen:  Embedded World: Produkt- und Seminarflyer (806 KB)
|
(18. Dezember 2008)
Mit dem von Verifysoft Technology entwickelten Bitcov-Add-on für das Test Coverage Tool Testwell CTC++
ist jetzt das Messen der Testabdeckung auf kleinsten Targets und Microcontrollern möglich.
Im Vergleich zu Coverageanalysen auf normalen Host-Rechnern wird mit dem Bitcov-Add-on etwa 40 mal weniger RAM benötigt.
Code-Coverage-Messungen auf den GPUs der Nvidia-Grafikkarten und ATI-Grafikkarten sind jetzt mit dem CTC++ for CUDA Add-on möglich.
Interessant ist dies für Anwendungen die GPUs als Slaveprozessoren für Berechnungen verwenden, Spiele-Entwickler und Number-Crunching.
Testwell CTC++ ist ein technisch führendes Test-Coverage-Tool welches alle Testabdeckungsstufen bis C3 unterstützt und für
Zertifizierungen in sicherheitskritischen Projekten in Luft- und Raumfahrt, Medizintechnik und Automotive eingesetzt werden kann.
(28. November 2008)
Version 3.0.5 des Unittesttools CTA++ C++ Test Aider
steht ab sofort zur Verfügung.
Das Upgrade ist für Windows, Linux, Solaris und HPUX erhältlich.
Neben einigen kleineren Verbesserungen hat die neue Version eine bessere CTA++ Codestruktur, um "veraltete" Warnings neuerer C++ Compiler zu vermeiden.
Unsere Kunden mit gütiger Softwarewartung erhalten die neue Version des Unittesttools kostenlos zugestellt.
|
(Offenburg, 24. November 2008)
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)
|
|
(San Francisco, 17. November 2008)
Coverity Architecture Analyzer™ stellt automatisch die Hierarchien und Abhängigkeiten in C/C++- und Java-Codebasen dar.
Diese neue Version der Architektursoftware setzt auf dem Software DNA Map-Analysesystem von Coverity auf und bietet Entwicklungsteams dadurch zahlreiche Vorteile
wie teamübergreifende Sicherstellung der Integrität von Anwendungsarchitektur, Analyse der Komplexität und Abhängigkeiten von Softwaresystemen
und Ermittlung von Fehlern, die zum das System zum Absturz bringen oder Sicherheitsschwachstellen zur Folge haben können.
Der Coverity Architecture Analyzer hilft sicherzustellen, dass Änderungen am Code im Einklang mit den ursprünglichen Entwicklungsvorgaben erfolgen.
Das Werkzeug unterstützt eine webbasierte Schnittstelle und ein IDE-Plug-In für Java, welches die Navigation im Code, die Überprüfung der Architektur auf
Präzision sowie die Korrektur von Abhängigkeitsdefekten und das Definieren von Komplexitätsgrenzen ermöglichen.
Das Werkzeug erweitert die Coverity-Suite mit hochentwickelten Produkten, die Entwickler bei der Gewährleistung der Integrität ihrer Software unterstützen.
Das Produkt nutzt zudem Coverity Prevent™, die führende statische Analyselösung für große Codebasen.
Weitere Informationen:
Coverity Architecture Analyzer for C/C++
Coverity Architecture Analyzer for Java
|
|
|
(San Francisco, 11. November 2008)
Coverity gibt die Verfügbarkeit der Version 4.2 seiner "Software Integrity Suite" bekannt.
Die neue Version bietet eine Reihe neuer Checker für C/C++ und C# sowie Performance- und Stabilitätsverbesserungen.
Weitere Informationen: Coverity Prevent kostenloser Trial
|
|
Die Software Quality Days 2009 inkl. Austrian Testing Day und STEV-Fachtagung vom 20.-22.1.2009 im
Arcotel Wimberger Wien ist DIE Veranstaltung für die Software-Quality- und Testing-Szene.
Mit Keynotes, Praxis-Vorträgen, wissenschaftlichen Beiträgen, Fach-Ausstellung, Tutorials etc. bieten die Software Quality Days viele umfassende und hochwertige
Möglichkeiten für die fachliche Weiterbildung, neue Ideen und das Networking (
Programm).
Verifysoft Technology präsentiert in Wien State-of-the-Art-Testtools für die automatische Testgenerierung, Code-Coverage, Metriken und statische Code-Analyse.
"Österreich zählt zu unseren wichtigsten Märkten. Viele Firmen in Österreich arbeiten bereits erfolgreich mit Test- und Analysewerkzeugen von Verifysoft.
Wir freuen uns gleichermaßen auf das positive Feedback unserer Kunden und auf die Möglichkeit unsere Technologien in Wien weiteren Firmen bekannt zu machen",
sagt Klaus Lambertz, Vertriebsmanager bei Verifysoft.
Weitere Informationen über die Software Quality Days finden Sie auf der Webseite der Veranstaltung.
Teilnahmepakete für beide Konferenztage beginnen schon bei 330 Euro: Anmeldung.
Für Tutorials und Workshops gibt es noch bis zum 30.11.2008 attraktive Frühbucherrabatte.
|
|
|
Unser Partner Conformiq Software zeigt auf der EuroSTAR 2008
den automatischen Testfallgenerator Conformiq Qtronic™.
Conformiq Qtronic™ ist das führende Werkzeug für "Automated Test Design™".
Die EuroSTAR 2008 findet vom 10.-13. November im World Forum Convention Center, Den Haag, Niederlande statt.
Verifysoft Technology zeigt Conformiq Qtronic™ auf folgenden Veranstaltungen:
Software QS-Tag Model Based Testing, Nürnberg, 6. November 2008
Software Quality Days 2009, Wien, 20.-22. Jänner 2009
Embedded World, Nürnberg, 3.-5. März 2009
Workshop Automated Test Design™, Offenburg, 26. März 2009
|
|
Vom 5.-7. November 2008 fand in Nürnberg der 16. Software-QS-Tag statt.
Namhafte Fachexperten berichteten dort über den aktuellen Stand des
"Model Based Testing" (MBT), einer wesentlichen Zukunftstechnologie im Bereich Test.
Am ersten Konferenztag wurde die neue iX-Studie zum Thema
"Model Based Testing" mit verschiedenen
modellbasierten Testwerkzeugen vorgestellt.
In der Ausstellung informierte Verifysoft Technology am 06.11. über
Conformiq Qtronic™ einer
fortschrittlichen Lösung für Automated Test Design™.
weitere Informationen
|
|
|
|
(Offenburg, 23. Oktober 2008)
Mehr als 20 Teilnehmer informierten sich am 23. Oktober im Technologiepark Offenburg bei einem von Professor Dr. Daniel Fischer
von der Hochschule Offenburg geleiteten Seminar über Grundlagen des Softwaretests.
Damit haben sich im laufenden Jahr weit über einhundert Softwareentwickler und Projektmanager aus dem gesamten deutschsprachigen Raum schulen lassen.
Aufgrund der hohen Nachfrage wird die Veranstaltung, die jetzt bereits zum vierten mal stattgefunden hat, auch im kommenden Jahr wiederholt.
Termine werden demnächst bekanntgegeben. Interessenten können sich ab sofort vormerken lassen:
Seminarprogramm und Online-Anfrage
Parallel zum kostenlosen Grundlagenseminar wird 2009 in vier Städten ein zweitägiges Seminar
"Testen von Embedded Systems" angeboten.
|
|
|
(San Francisco, 21. Oktober 2008)
Coverity hat neue Symbian C++-spezifische Fehlererkennungsfunktionen in das statische Code-Analysetool Coverity Prevent integriert.
Somit deckt Prevent jetzt auch Softwaredefekte automatisch auf, die speziell bei Symbian OS auftreten können.
Die Symbian C++-spezifischen Features wurden in den Checkern "Symbian OS Clean-up Stack"
und "Symbian C++-Naming" gebündelt, die die Software auf eine Vielzahl möglicher Probleme untersuchen.
Coverity Prevent vereinfacht die Entwicklung komplexer Software durch automatisierte Identifizierung von kritischen Softwarefehlern und
Sicherheitslücken.
Für Entwicklungsprojekte mit mindestens 300.000 Codezeilen kann
Coverity Prevent im Rahmen eines kostenlosen
Trials genutzt werden.
|
|
|
|
(Offenburg, 1. Oktober 2008)
Am 30.09. und 01.10.2008 fand im Hotel Palmengarten Offenburg das Seminar Testen von Embedded Systems statt.
Professor Dr. Daniel Fischer von der Hochschule Offenburg gab den Teilnehmern einen Überblick über wichtige Trends im Umfeld von Embedded Systems,
Entwicklungsprozesse, Testtechniken, Testumgebung, Organisatorische Maßnahmen und Testmanagement.
Im kommenden Jahr findet das Seminar Testen von Embedded Systems unter anderem in München, Stuttgart, Hamburg und Köln statt.
Anmeldungen sind ab sofort über unser pdf-Formular möglich.
Das Seminar kann - auch kurzfrisitg - als Inhouse-Seminar gebucht werden.
Mehrere Firmen in Deutschland und Österreich haben bereits die Möglichkeit genutzt, ihre Mitarbeiter von kompetenter Seite schulen zu lassen.
|
|
|
(San Francisco, 22. September 2008)
Coverity gibt die Verfügbarkeit einer neuen Software Integrity Suite bekannt, die für Kunden ab sofort zum Download bereit steht.
Die neue Version bietet unter anderem weitere Checker sowie Performance- und Stabilitätsverbesserungen der Module Prevent 4.1, Architecture Analyzer 4.1 und Thread Analyzer 1.2.
Coverity Prevent for C/C++ ist das genaueste Source-Code-Analyse-Tool, welches zur Zeit auf dem Markt erhältlich ist.
Das Werkzeug identifiziert bereits in einer frühren Phase der Softwareentwicklung automatisch kritische Software-Defekte, Sicherheitslücken und Concurrency-Defekte.
weitere Informationen: Coverity Prevent kostenloser Trial
|
|
|
(15. September 2008)
Verifysoft Technology gibt weitere Termine und Orte für das Seminar "Testen von Embedded Systems"
mit Professor Dr.-Ing. D. Fischer bekannt.
Im kommenden Jahr wird dieses Seminar in München, Hamburg, Stuttgart und Köln
angeboten.
Anmeldungen sind ab sofort möglich: weitere Informationen
Das Seminar vermittelt die notwendigen Kenntnisse, um qualitativ hochwertige und
zuverlässige Embedded Systems effizient und effektiv testen zu können.
Neben dem Testmanagement werden im Rahmen des 2-tägigen Seminars praxisorientierte
Techniken und Vorgehensweisen vermittelt.
|
Über die Anforderungen der FDA und die Möglichkeiten
statischer Analysetools
referiert Ben Chelf, CTO von Coverity, am Donnerstag, 25.9. um 10:45 Uhr auf dem
MedCon Kongress (NH Hotel, München-Dornach).
Als erste Konferenz zu Software- und Systementwurf für Medical Devices fokussiert die MedCon neben Qualitäts-
und Risikomanagement auch allgemeine Aspekte des Software-Engineerings (Methoden, Prozesse und Werkzeuge).
Insbesondere bei medizinischen Geräten spielt Software eine zunehmend entscheidende Rolle.
Wegen der zunehmenden Komplexität von Software empfielt die FDA (Food and Drug Administration USA)
den Einsatz von statischen Analysetools, um Defekte bereits früh aufzudecken und zu vermeiden.
Die Erfüllung der FDA Norm ist eine Voraussetzung für Unternehmen, die im Medical Markt weltweit Fuß fassen wollen.
|
|
(Offenburg, 11. September 2008)
Während eines Workshops im Offenburger Technologiepark informierten sich Testmanager
über die Vorteile des "Automated Test Design™" wie
schnelleres Testdesign, höhere Testqualität, bessere Testcoverage,
bessere Testmaintenance und einfachere Wiederverwendung von Softwaretests.
Spezialisten der Firma Conformiq zeigten
Conformiq Qtronic™,
das führende Werkzeug für automatisiertes Testdesign und automatische
Testfallgenerierung auf der Basis von System-Requirements.
Firmen, die ihre Softwaretestprozesse effizienter machen wollen, können uns
kontaktieren um eine Inhouse-Präsentation zu vereinbaren.
Verifysoft Technology stellt Conformiq Qtronic™ auf folgenden Veranstaltungen vor:
Software QS Tag Nürnberg, 06.11.2008
Workshop "Model Based Testing" Technologiepark Offenburg, 26.03.2009
|
|
(28. Juli 2008)
Das Seminar "
Testen von Embedded Systems" mit Professor Dr. Ing.
Fischer von der Hochschule Offenburg findet am 30.09. und 01.10.08 im
Hotel Palmengarten in Offenburg und nicht wie ursprünglich
angekündigt im Technologiepark statt. Das Seminar vermittelt die
notwendigen Kenntnisse, um qualitativ hochwertige und zuverlässige
Embedded Systems effektiv testen zu können. Momentan stehen noch einige
Plätze zur Verfügung. Für Seminarteilnehmer steht im
"Palmengarten" (500m vom ICE Bahnhof) eine begrenzte Anzahl von Zimmern
zu Sonderkonditionen zur Verfügung.
Dieses Seminar wird übrigens auch als In-House-Seminar angeboten.
Für den
Workshop
"Model Based Testing" am 11.09.2008 und das
Grundlagenseminar "Softwaretest" am 23.10.2008
nehmen wir ebenfalls noch Anmeldungen entgegen. Beide Veranstaltungen sind
kostenlos und finden im Technologiepark Offenburg
statt.
Seminar- und Veranstaltungsprogramm
|
|
|
|
(9. Juli 2008)
Mit "Coverity Prevent for C#" wird das führende statische Code-Analysetool
Coverity Prevent neben C/C++ und Java jetzt auch für C# angeboten.
Das Werkzeug analysiert automatisch große und komplexe C#-Projekte und deckt
dabei kritische "must-fix" Defekte auf, die ansonsten zu Systemausfall,
Speicherproblemen, unvorhersehbarem Verhalten und Performance-Einbrüchen führen.
weitere Informationen
|
(4. Juli 2008)
Die neue Version des Test Coverage Analyzers Testwell CTC++ verfügt
über folgende Verbesserungen:
optimierte Multicondition-Coverage-Instrumentation,
deutlich schnellere CTC++ Präprozessor (ctc) Komponente,
arbeitet jetzt auch mit Microsoft C++/CLI Extension "for each",
Eclipse-Integration unter Windows, etc.
|
(19. Juni 2008)
Neben dem kostenlosen
Grundlagenseminar "Softwaretest" bietet Verifysoft
Technology jetzt ein zweitägiges
Seminar "Testen von Embedded Systems" an.
Professor Dr. Ing. Fischer von der Hochschule Offenburg vermittelt im Rahmen des
am 30.09. und 01.10.08 im
Hotel Palmengarten Offenburg stattfindenden Seminars die notwendigen
Kenntnisse, um qualitativ hochwertige und zuverlässige Embedded Systems effektiv
testen zu können.
Vorgestellt werden verschiedene Methoden und Verfahren des Softwaretests, Testfallerstellung, Testprinzpien,
Testqualitätsmessung und Senkung der Fehleranfälligkeit.
Conformiq Software (Finnland) zeigt am 11.09.2008 im Technologiepark Offenburg
beim
Workshop
"Model Based Testing" wie beim modellbasiertem Testen mit Conformiq Qtronic™
Einsparungen und Qualitätssteigerungen in der Testphase erreicht werden können.
Seminarprogramm
|
|
|
|
(4. Juni 2008)
Unsere aktualisierte Firmenbroschüre mit Informationen zum automatischen
Testfallgenerator Conformiq Qtronic™, unseren statischen Codeanalyse-
und Software-Komplexitätsmesstools sowie Code Coverage Analysen ist ab sofort verfügbar.
Download:
Deutsch
English
Français
|
(22. Mai 2008)
Coverity, führend bei der automatischen Optimierung der
Qualität und Sicherheit von Software in C/C++ und Java, gibt die
Übernahme von Codefast bekannt.
Hierdurch erhält Coverity Zugriff auf die Codefast-Technologie,
um Entwicklern das Verständnis und die Beschleunigung des
Software-Build-Prozesses zu erleichtern.
|
|
(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 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.
Conformiq 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 Conformiq Qtronic™ Modeler erstellt bzw.
von allen gängigen UML-Werkzeugen importiert werden.
Weitere Informationen:
Conformiq Qtronic™
Software & Systems Quality Conferences
(4. April 2008)
Version 1.3 des automatischen Testfallgenerators Conformiq Qtronic™ ist ab sofort
erhältlich.
Conformiq 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
Conformiq Qtronic™ Produktseiten.
(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.
(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.
|
|
(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).
Conformiq 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.
|
(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.
|
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 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.
|
|
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
(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
|
|
|
(11. Januar 2008)
Die Version 1.2 des automatischen Testfall-Generators
Conformiq Qtronic™ ist ab sofort
verfügbar.
Hier die Verbessungen in Conformiq 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 Conformiq Qtronic™ und Conformiq Qtronic™ Modeler.
(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: 24.01.2009
© 2007-2009 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic™ is a product and a trademark of Conformiq Inc., Saratoga (USA)
Coverity Prevent, Coverity Extend 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.
|
![[English]](flaggeUK.jpg){kind=small}
![[Français]](flaggeF.jpg){kind=small}
