Test- und Analysetools für C und C++ Projekte

Testwell CTC++ Test-Coverage-Analyse

Testwell CTC++ ist ein Tool zur Messung der Testüberdeckung.
Das Werkzeug unterstützt alle Testcoveragestufen von der Function-Coverage über Decision-, Statement-, Condition-, Multi-Condition- (MCC) bis hin zur Modified Condition / Decision Coverage (MC/DC) und gehört damit zu den leistungsfähigsten Coveragetools auf dem Markt.
Testwell CTC++ kann zur Coverage-Analyse im Host, als auch (mit dem Zusatzmodul "Host-Target-Coverage") im laufenden Systemkernel (Kernelcoverage) und für eingebettete Systeme in allen Targets verwendet werden.
Testwell CTC++ erfüllt u.a. den technischen Standard DO-178B für die Softwarezertifizierung in der Luftfahrtindustrie und wird in mehreren Projekten für TÜV-Zertifizierungen eingesetzt.
Testwell CTC++ ist unter anderem in die Entwicklungsumgebungen Microsoft Visual C++ 5.0/6., Microsoft Visual Studio .NET, Borland, Metrowerks CodeWarrior und WindRiver Tornado integriert.
Mit dem CTC++ for Java and C# Add-on wird die Funktionalität von CTC++ auf die Programmiersprachen Java und C# ausgeweitet.

Testwell CMT++ Softwarekomplexitätsanalyse

Testwell CTA++ (C++ Test Aider) Unit Tests

Unit-Tests sind der effektivste Weg zur Aufdeckung möglichst vieler Fehler im Code. Studien haben gezeigt, daß Unit-Tests im Vergleich zu anderen Softwaretests das höchste Kosten-Nutzen-Verhältnis haben.
Erleichtern Sie sich Ihre Testphase und nutzen Sie Testwell CTA++ für die Erstellung Ihrer Unit-Tests!

Conformiq Qtronic™

Coverity Prevent / Coverity Extend

Coverity Prevent™ ist das weltweit fortschrittlichste statische Analyse-Tool für die Garantie sicherer und zuverlässiger Software. Mit Coverity Prevent&trade steht Entwicklern und QA-Beauftragten die beste Technologie zur Aufdeckung und Beseitigung von Softwarefehlern und somit für eine schnellere Markteinführung ihrer Produkte zur Verfügung. Coverity Prevent vermindert desweiteren das Risiko von potentiellen Sicherheitslücken.
Coverity Extend™ erlaubt Entwicklern die Leistungfähigkeit der Coverity-Analysis-Engine voll zu nutzen. Mit Covertity Extend können schnell und einfach an eigene Bedürfnisse angepasste Prüfungen durchgeführt werden. Dies erleichtert die Suche nach bestimmten Bugs und die Überprüfung der für das jeweilige Projekt wichtigsten Programmierrichtlinien.

Coverity Architecture Analyzer

Coverity Architecture Analyzer automatically maps hierarchies and dependencies in C/C++ and Java code bases, providing the visibility and control development teams need to detect potential defects and ensure code modifications align with original design specifications.
The tool supports a web-based interface and IDE plug-in for Java, allowing teams to navigate code, check for architectural accuracy, correct dependency defects and set complexity limits.

Weitere Werkzeuge von Verifysoft Technology

Tools für Java

Tools für C# (CSharp)

 Firmen- und Produktbroschüre

 Company and Products (Slide-Presentation, English)