Conformiq Qtronic™

Conformiq Qtronic 2.0: Produktivitäts- und Qualitätssteigerung beim Softwaretest
Conformiq gibt die Verfügbarkeit von Conformiq Qtronic 2.0, einem Tool für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest bekannt, die ab sofort über den deutschen Distributor Verifysoft Technology bezogen werden kann.
Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte, können die Tests jetzt mit Conformiq Qtronic automatisch generiert werden.
meditronic-journal 05/2009:   Artikel (148 KB)
Homepage meditronic-journal

Automatisch Testen
Die Firma Conformiq Inc. gibt die Verfügbarkeit von "Conformiq Qtronic 2.0", einem Werkzeug für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest, bekannt. Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte, können die Tests jetzt automatisch generiert werden. ...
OBJEKTspektrum 3/2009       Artikel (243 KB)
Homepage OBJEKTspektrum

iX-Studie "Modellbasiertes Testen"
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.
weitere Informationen und Bestellungen über heise.de

Conformiq Qtronic 2.0: Produktivitäts- und Qualitätssteigerung beim Softwaretest
Conformiq gibt die Verfügbarkeit von Conformiq Qtronic 2.0, einem Tool für die Automatisierung der Testfallerstellung beim funktionalen Software- und Systemtest bekannt, die ab sofort über den deutschen Distributor Verifysoft Technology bezogen werden kann.
Während das Schreiben von Testfällen bisher mühsam und zeitintensiv manuell erfolgte, können die Tests jetzt mit Conformiq Qtronic automatisch generiert werden.
PC & Industrie 04/2009:   Artikel (148 KB)
Homepage PC & Industrie

Messeführer Embedded World 2009: Testfälle automatisch generieren
Eine neue Version des Testfallgenerators "Conformiq Qtronic™" präsentiert Verifysoft. Conformiq Qtronic™ erstellt basierend auf UML-Modellen automatisch Testfälle für den Black-Box-Test von Softwaresystemen.
Desweiteren zu sehen sein wird ein neues Frontend für das Softwarekomplexitäts-Messtool "Testwell CMT++". Entwickler, Qualitätsbeauftragte und Projektmanager können damit alle relevanten Komplexitätsdaten auswählen und sich grafisch anzeigen lassen.
Für Zertifizierungen erforderliche Nachweise liefert das Code-Coverage-Tool "Testwell CTC++". Es deckt alle Abdeckungsstufen bis zur Multicondtion-Coverage ab.
Text übernommen aus (rh) Design & Elektononik 1/2009
Homepage Design & Elektronik

Mitarbeiter des Nokia Research Centers veröffentlichen ein Papier über die Nutzung von Conformiq Qtronic™
Mitarbeiter des Nokia Research Centers haben ein Papier über die Nutzung von Conformiq Qtronic™ veröffentlicht. Der Bericht ist in den Konferenzunterlagen der TESTCOM/FATES 2007, einer in Tallin (Estland) abgehaltenen Konferenz über auf formalen Methoden basiertes Testen erschienen.
Ein kostenpflichtiger Download der Konferenzunterlagen ist unter LNCS 4581 bei Springer erhältlich.
Homepage Springer

Modellbasiertes Testen
Modellbasiertes Testen ist ein Schlagwort, unter dem verschiedenste Techniken zur Nutzung von Modellartefakten im Testprozess verstanden werden. Der Artikel stellt eine Klassifikation und Bewertung bestehender Methoden vor...
Zu den systemmodell-getriebenen Werkzeugen gehöhren:
Conformiq Qtronic™, das über eine Anbindung an existierende UML-Werkzeuge die Testgenerierung aus den Systemmodellen unterstützt,
Leirios Test Generator, ...
Microsoft SpecExplore, ...
OBJEKTspektrum 3/2007, Prof. Dr. Ina Schieferdecker (TU Berlin) Artikel zum Download (kostenpflichtig)
Homepage OBJEKTspektrum

Softwaretest
Das automatische Testtool Conformiq Qtronic™ sowie neue Versionen des Testabdeckungswerkzeuges "Testwell CTC++" und des statischen Codeanalysetools "Coverity Prevent" demonstriert Verifysoft.
Design & Elektononik 1/2007: Ankündigung zur Embedded World 2007
Homepage Design & Elektronik

Testwell CMT++/CMTJava Code Complexity Measures Tools

Messeführer Embedded World 2009:
... Desweiteren zu sehen sein wird ein neues Frontend für das Softwarekomplexitäts-Messtool "Testwell CMT++". Entwickler, Qualitätsbeauftragte und Projektmanager können damit alle relevanten Komplexitätsdaten auswählen und sich grafisch anzeigen lassen. ...
Text übernommen aus (rh) Design & Elektononik 1/2009
Homepage Design & Elektronik

Komplexität und Qualität von Software
Die Softwarequalität und die Wartbarkeit von Applikationen hängt von der Codekomplexität ab. Ein mehrseitiger Artikel in der Ausgabe 01/2007 von MSCoder erklärt am Beispiel von Testwell CMT++ wie man die Komplexität von Quellcode bestimmt und welchen Einfluss diese auf die Wartbarkeit von Programmen hat.
  Artikel aus MSCoder (Ausgabe 01/2007) (738 KB)
Homepage MSCoder

Komplexität messen
Verifysoft hat eine neue Version des Softwaremess-Tools CMT++ (Code Complexity Measures Tool for C/C++) vorgestellt. Es dient zur Messung von Zeilen-, Halstead- und Mc-Cabe-Metriken und deckt komplexe Codeteile auf. Zusätzlich gibt es jetzt auch den Wartbarkeitsindex aus. Dieser gibt z. B. an, wann es kostengünstiger ist, komplexe Codeteile neu zu schreiben oder den existierenden Code zu modifizieren.
CMT++ ist für Windows, Linux, HP-UX und Solaris erhältlich. Mit CMTJava bietet Verifysoft ein entsprechendes Werkzeug zur Komplexitätsmessung von Java-Projekten an.
In Kürze soll ein Code Complexity Measures Tool für C# verfügbar sein.
Elektronik Praxis 04/2005 vom 19.04.2006
Homepage Elektronikpraxis

Testwell CTC++ Test Coverage Analyzer for C/C++     /     CTC++ for Java and C# add-on

Softwaretest und Analyse-Tools: Tool für C, C++, Java und C#
Verifysoft Technology gibt ein Code Coverage Tool für C, C++, Java und C# heraus. Die Software erweitert das bisher bereits für die Sprachen C und C++ verfügbare Testabdeckungs-Analysetool CTC++ des finnischen Herstellers Testwell für die Programmiersprachen C und C++ aud Java und C#. Mit dem Tool läßt sich die Testabdeckung für alle Coverage-Niveaus messen: von der einfachen Function Coverage über Decision-, Condition-/Branch- und Mulitcondition (MCC) bis hin zur höchsten Testabdeckungsstufe Modified-Condition/Decision-Coverage (MC/DC-Coverage). ...
Elektronik Praxis 5/2008 vom 05.03.2008
Homepage Elektronikpraxis

Test Coverage Analyzer auf Java und C# ausgeweitet
Verifysoft Technology, Hersteller und Distributor von Softwaretest- und Analysetools, gab die Verfügbarkeit eines Code Coverage Tools für C, C++, Java und C# bekannt. Das "CTC++ for Java and C# Add-on" erweitert das bisher für die Sprachen C und C++ verfügbare Testabdeckungs-Analysetool CTC++ des finnischen Herstellers Testwell auf Java und C#.
PC & Industrie 12/2007:   Artikel (191 KB)
Homepage PC & Industrie

Code-Analyse: Testwell CTC++-Erweiterung für Java und C#
Der Test Coverage Analyzer for C und C++ von Verifysoft Technology GmbH wurde mit einem jetzt veröffentlichten Addon auf Java und C# ausgeweitet. Das neue "CTC++ for Java and C# Add-on" erweitert das bisher bereits für die Sprachen C und C++ verfügbare Test- und Analysetool CTC++ des finnischen Herstellers Testwell von den Programmiersprachen C und C++ auf Java und C#. Die Softwaretest-Suite Testwel CTC++ (aktuelle Version 6.4) und das neue Add-on für Java und C# arbeiten mit allen Compilern zusammen.
Artikel aus Entwickler.de vom 19.09.2007

CTC++ Test Coverage Analyzer unter die "Best Products 2005" gewählt
Die Leser von E&E, Fachzeitschrift für Elektronik & Entwicklung, haben den Test Coverage Analyzer Testwell CTC++ zu einem der besten Produkte des Jahres im Bereich "Designtools und Software" gewählt.
Der Best-Product-Guide stellt jeweils am Jahresende die besten Produkte aus dem Bereich der Elektronik vor.
E&E Elektronik & Entwicklung
Homepage E&E

Sichere Code-Coverage-Analyse
Das Werkzeug zur Messung der Code Coverage in C- und C++ -Applikationen wurde jetzt für die Anwendung mit dem Echtzeitbetriebssystem für Windows RTX von Ardence angepasst.
CTC++ hilft mittels verschiedener Prüfmechanismen sicherzustellen, dass der gesamte Code eines Softwareprojektes getestet wird. Der Test Coverage Analyzer lässt sich laut Hersteller für sämtliche Targets einsetzen.
Elektronik Praxis 14/2005 vom 21.07.2005
Homepage Elektronikpraxis

Test-Coverage-Analyzer für SW-Entwicklung
Zur Sicherung hoher Codequalität und -zuverlässigkeit bei der Softwareentwicklung von Embedded-Systemen hat Verifysoft in Zusammenarbeit mit Beck IPC den Testwell-CTC++-Test-Coverage-Analyzer für C/C++ in die Entwicklungsumgebung Borland C++ 5.02 integriert. Das Tool hilft, Softwarefehler zu verringern und stellt sicher, dass alle Komponenten eines komplexen Systems intensiv getestet wurden, bevor die Software ausgeliefert wird.
Elektronik Praxis 7/2005
Homepage Elektronikpraxis

CTC++ für Borland C++ 5.02
Zur Sicherung höchster Code-Qualität und -Zuverlässigkeit bei der Softwareentwicklung von Embedded-Systemen hat Verifysoft Technology in Zusammenarbeit mit Beck IPC den Testwell CTC++ Test-Coverage-Analyzer für C/C++ in die Entwicklungsumgebung Borland-C++ 5.02 integriert.
Design & Verification Ausgabe 8/2004: Artikel
Homepage Design & Verification
Homepage Markt & Technik

Coverity Prevent

Aus Platzgründen zeigen wir Ihnen auf dieser Webseite nur die aktuellsten Veröffentlichungen über Coverity Prevent.
Lesen Sie hier alle Presseveröffentlichungen über Coverity.

Verifysoft/Allgemeines

Verifysoft Technology: Sicherheit für alle Softwareprogramme
OFFENBURG. Wenn es bei Areva, Siemens oder RWE Probleme mit der Software gibt, holen sich die Weltkonzerne Hilfe aus der Ortenau: Im Offenburger TPO sitzen Klaus Lambertz und Roland Bär und vertreiben Softwaretest-Tools. "Wir haben Einblick in die Testpraxis bei mehr als 100 Kunden mit sicherheitskritischen Softwareprojekten", sagt Lambertz.
Vor rund fünf Jahren gründet er mit seinen Partner Bär die Verifysoft Technology. Seitdem verdoppeln sie jährlich ihre Umsätze. Während Bär aktiv bei der Entwicklung von Testwerkzeugen mitarbeitet, kümmert sich Lambertz um den Vertrieb. Dabei haben sich die beiden ein vierköpfiges Team aufgebaut, das den europäischen Markt bedient. Ihr Ziel: Umsatz weiter steigern und Personal aufbauen.       (Artikel von Philipp Schneider, Econo)
Übernommen aus Econo 3/2008

Fiese Fehler im System
An Fehlfunktionen aller Größenordnungen hat sich mittlerweile jeder gewöhnt. Vor der völligen Resignation bewahrt oft nur die Aussicht, dass mit der nächsten Version, mit dem nächsten Technologiesprung alles besser werden könne. Oder mit der übernächsten, jedenfalls irgendwann.
 PC-Info Oktober/2005: Titelstory (pdf)
Homepage PC-Info