Conformiq Qtronic

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.

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)

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

Testwell CMT++/CMTJava Code Complexity Measures Tools

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

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

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

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

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

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

Coverity Prevent

About the developers´s dream to write the perfect piece of code
Don´t you love looking at a good piece of code? I´m talking about the kind of code where the design is so sound that it practically wrote itself, where there were no nasty surprises upon implementation, where it was 100% feature-complete and bug-free and you didn´t have to patch it up a bunch of times? Maybe I´m squarely in the land of Santa Claus ...
  ECE Embedded Control Europe (October 2007)

Software Qualität: Ein Tool, das den Überblick behält
Die US-Firma Coverity, gegründet von jungen Forschern der Stanford-Universität, hat sich auf die Analyse großer Quellcode-Bestäde spezialisiert. Bei umfangreichen Software-Projekten mit mehreren Millionen Zeilen Code ist es praktisch unmöglich, manuell einen Überblick über die Abhängigkeiten zwischen den Modulen und Dateien zu behalten. Die Werkzeuge von Coverity decken Fehler und Schwachstellen auf, die sich ins Code-Dickicht eingeschlichen haben.
Elektronik (04.09.2007)

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)