logo


Test Coverage auf Microcontrollern und Grafikkarten

(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.
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.

Unit-Test-Tool Testwell CTA++ Version 3.0.5 verfügbar

(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.

Software QS-Tag in Nürnberg: iX-Studie "Model Based Testing" mit Conformiq Qtroniq™ vorgestellt

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 einer fortschrittlichen Lösung für Automated Test Design™.     weitere Informationen

Seminar "Testen von Embedded Systems" jetzt im Hotel Palmengarten Offenburg

(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 dasGrundlagenseminar "Softwaretest" am 23.10.2008 nehmen wir ebenfalls noch Anmeldungen entgegen. Beide Veranstaltungen sind kostenlos und finden im Technologiepark Offenburgstatt.
Seminar- und Veranstaltungsprogramm

Testwell CTC++ Test Coverage Analyzer: Version 6.5.3 verfügbar

(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.

Verifysoft erweitert Seminarangebot zum Thema "Softwaretest"

(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 Einsparungen und Qualitätssteigerungen in der Testphase erreicht werden können.
Seminarprogramm

Conformiq Präsentation auf den "Software & Systems Quality Conferences" in Düsseldorf

Conformiq Software präsentiert Conformiq 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 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 Modeler erstellt bzw. von allen gängigen UML-Werkzeugen importiert werden.
Weitere Informationen:     Conformiq     Software & Systems Quality Conferences

Automatische Testfallgenerierung: Conformiq 1.3 verfügbar

(4. April 2008)

Version 1.3 des automatischen Testfallgenerators Conformiq ist ab sofort erhältlich.
Conformiq 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, der führenden modellgetriebenen Testlösung erhalten Sie auf den Conformiq Produktseiten.

Unit-Test-Tool Testwell CTA++ Version 3.0.4 jetzt verfügbar

(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.

Code Coverage: "CTC++ for Symbian Target Devices add-on" v3.3 herausgegeben

(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.

Neue Version 6.5 des Code Coverage Tools Testwell CTC++ verfügbar

(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.

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

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.

Viele Teilnehmer beim Software-Test-Seminar mit Professor Dr. D. Fischer

(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++, statischer Codeanalyse und Conformiq.
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

Automatische Testfall-Generierung: Conformiq 1.2 released

(11. Januar 2008)

Die Version 1.2 des automatischen Testfall-Generators Conformiq ist ab sofort verfügbar.
Hier die Verbessungen in Conformiq 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 und Conformiq Modeler.

Verifysoft gibt die Verfügbarkeit eines Code Coverage Tools für J#/Visual J#/JSharp bekannt

(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.