Tools for C# / CSharp

CTC++ for Java and C# Add-on

CTC++ for Java and C# is an add-on for Testwell CTC++ Test Coverage Analyzer.
The add-on extends the Code Coverage capabilities of CTC++ from C and C++ to Java, C# and J#/Visual J#/JSharp.
The tool analyses for all coverage levels as required in "critical" software projects: Function-Coverage, Decision-, Statement-, Condition-, Multi-Condition- (MCC), and Modified Condition / Decision Coverage (MC/DC).
"CTC++ for Java and C#" helps to obtain certifications, i.e. DO178-B.

Conformiq Qtronic

Conformiq Qtronic is a revolutionary solution for design model driven test and quality assurance automation. It enables automated, thorough and cost-efficient black box testing of complex systems.
With Conformiq Qtronic you do not need to write any test scripts. Instead, Conformiq Qtronic automatically generates and executed tests based on design models. The tool integrates with major CASE tools and UML editors.

Coverity Prevent for C# (static Code Analysis)

Coverity Prevent for C# automatically analyzes large, complex C# code bases and detects critical, must-fix defects that could lead to system failures, memory corruption, unpredictable behavior, and performance degradation.

Tools for other programming languages

Tools for C and C++

Tools for Java

Company and Product Overview (pdf, 3 MB)

last updated: 09.07.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.