Test- und Analysetools für C und C++ Projekte
|
|
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.
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.
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.
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.
|
|
Die Codekomplexität hat direkten Einfluß auf die Test- und
Wartbarkeit einer Applikation. Zu komplexer Code ist fehlerträchtig.
Testwell CMT++ analysiert die Komplexität Ihrer Applikation in
nur wenigen Minuten. Das Werkzeug gibt ebenfalls wichtige Informationen über
die Wartbarkeit der einzelnen Codeteile.
|
|
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!
|
|
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.
|
|
Conformiq Qtronic generiert basierend auf Designmodellen der zu testenden
Software automatisch Testfälle für den Black-Box-Test.
Bei Bedarf führt Qtronic die Testfälle auch automatisch aus.
Die Modelle können mit Qtronic Modeler im Tool erstellt
oder von "Third Party Tools" importiert werden.
|
Weitere Werkzeuge von Verifysoft Technology
|
|
Tools für Java
Tools für C# (CSharp)
Firmen- und Produktbroschüre (pdf-Format, 3 MB)
|
|
last updated: 12.06.2008
© 2004-2008 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic is a product and a trademark of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products and trademarks of Coverity Inc., San Francisco (USA)
CTC++ for Java and C# Add-on is a product of Verifysoft Technology GmbH
all other trademarks of this site are the property of their respective owners.