CTC++ Test Coverage Analyser

[English][Français]

Produktpräsentationen auf der Embedded World 2007:

Kurzübersicht/Pressemitteilungen

 

 

Conformiq Qtronic mit automatischer Testfallgenerierung und -ausführung

Verifysoft Technology, Toolspezialist für den Softwaretest von embedded Systemen, präsentiert auf der Embedded World mit Qtronic ein neues automatisches Testtool. Conformiq Qtronic ersetzt das mühsame Schreiben von Testfällen durch automatische Testfallgenerierung und -ausführung. Die Testfallgenerierung basiert auf einem Designmodell der Software. Qtronic ist in alle wichtigen CASE-Tools und UML-Editoren integriert. Vorhandene Modelle können in das Tool importiert werden.

automatic test generation Eigenschaften:
  • Automatische Testgenerierung auf der Basis von Designmodellen
  • arbeitet mit allen Systemen zusammen
  • unterstützt Echtzeit und Nebenläfigkeit (Concurrency)
  • UML-Modell-Import von allen führenden Tools
  • Analyse und Validierung der Modelle, XML- und HTML-Ausgaben
  • Integration in Testmanagementwerkzeuge
Vorteile:
  • Automatische desginmodellbasierte Tests sparen Zeit und Mühen
  • Modellvalidation beschleunigt den Entwicklungsprozeß
  • vollständige Reports liefern alle notwendigen Informationen
  • liefert eine Vielzahl verschiedener Testfälle
  • schnelles Auffinden von Defekten durch die generierten Tests
Technische Spezifikationen:
  • verfügbar für Windows 2000/XP und die wichtigsten Linux-Distributionen
  • offene Systemadapterbiblitheken für gängige Programmiersprachen verfügbar

weitere Informationen:
http://www.verifysoft.com/de_qtronic.html
Verifysoft Technology, Halle 10, Stand 10-115

 

Testwell CTC++: Code Coverage in kleinsten Targets
Testwell CTC++
     click for high resolution 		Verifysoft stellt auf der Embedded World die neueste Version des Code Coverage Tools Testwell CTC++ vor.
CTC++ ist ein für alle Compiler und alle embedded Targets einsetzbares Test Coverage Tool. Das Werkzeug kann für alle Code Coverage Niveaus bis zur Modified Condition/Decision Coverage (MC-DC-Coverage) eingesetzt werden und erfüllt damit höchste Qualitätsnormen, wie zum Beispiel DO-178B für die Luftfahrtindustrie.
Die neue Version erlaubt die Messung der Testabdeckung in kleinsten Targets. CTC++ ist im Automotivbereich für die Messung der Code Coverage in Targets mit deutlich unter 100 Bytes freiem RAM im Einsatz.

weitere Informationen:
http://www.verifysoft.com/de_ctcpp.html
Verifysoft Technology, Halle 10, Stand 10-115

 

Statische Codeanalyse mit Coverity Prevent deckt schnell und einfach Programmierfehler auf

Verifysoft Technology stellt auf der Embedded World die neue Version des führenden Quellcodeanalysetools Coverity Prevent vor.
Coverity Prevent ist ein statisches Analysetool zur Aufdeckung von kritischen Softwareproblemen.
Durch Coveritys Innovationen im Bereich der Meta-Compilation wird eine zuverlässige Quellcodeanalyse in einem Bruchteil der Zeit ermöglicht, den herkömmliche Quellcodeanalysetools benötigen.

Code Complexity and Quality
Interessierte Firmen erhalten über Verifysoft Technology einen kostenlosen Code Check mit detaillierter Fehlerausgabe.
Coverity Prevent überprüft Ihren Quellcode unter anderem auf die folgenden Probleme:
  • Speicherleaks
  • Systemresourcenleaks
  • Dereferenzierung (null pointer dereferences)
  • "Dangling-Stack-References"
  • Nutzung von freigegebenen Resourcen und uninitialisierten Daten
  • logische Fehler
  • fehlerhafte Logik in Bezug auf Verzweigungen
  • Arrayüber- und -unterläufe (buffer underflows)
  • Angriffe auf den Stack (stack smashing)
  • Stapelüberläufe (stack overflow)
  • "Stackstring-Overruns"
  • schlechte Typenkonvertierung von negativen Integern
  • etc ...
Die neue Version 3.0 überprüft neben C/C++ Code auch Java-Projekte.

weitere Informationen:
http://www.verifysoft.com/de_coverity_main.html
Verifysoft Technology, Halle 10, Stand 10-115

 

Diese Pressemitteilungen dürfen kostenfrei abgedruckt und verarbeitet werden.
Pressekontakt: Klaus Lambertz (Verifysoft Technology GmbH), Telefon +49 781 6392-027

last updated: 11.12.2006

© 2006 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator and Qtronic are products of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.