|
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: 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003
last updated: 10 Jan 2012
© 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}
