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

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)

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

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)
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

Automatische Testfallerzeugung
Mit dem Testgenerator "Conformiq" zeigt Verifysoft ein Werkzeug für die automatische Testfallgenerierung und Testfallausführung, das in kurzer Zeit eine hohe Testabdeckung erreicht ...
Design & Elektononik 1/2006: Ankündigung zur Embedded World 2006

Tool automatically generates software tests
Verifysoft Technology will exhibit a number of new products at Embedded World.
Conformiq Test Generator replaces the time consuming process of writing test scripts with the building of a test model.
... The test generator analyses this model and generates automatically a large number of relevant tests that cover all combinations and aspects of the model. ...
Embedded Systems EUROPE January/February 2006: Article

Verifysoft: automatic software testing tool
Conformiq Test Generator replaces the time-consuming process of writing test scripts with the building of a test model. This releases the burden of writing manual test cases and script programming from the test engineers.
Embedded Control Europe (February 2006)

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)

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

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)

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

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