IPL. Coverage, static, and dynamic software testing for Ada Apps
AutomatedQA. Profiling toolkit for thorough analysis of Delphi, Visual Basic, Visual C++, C++ Builder, Intel C++, GCC and Visual Fortran applications. It offers over two dozen performance and memory usage profilers and productivity tools that work in unison to give you an unrivaled level of information on the state of your software projects - from inception to delivery.
BoundsChecker http://www.compuware.com/products/devpa ... isualc.htm
Compuware. Run-time error detection and debugging tool for C++ developers. Supports C/C++,.net,ASP,ASP.net.
Bullseye Testing Technology. C/C++ code coverage
Testwell. Static analysis/metric tool for C and C++ code
DMS. DCC reinvents code coverage. Without recompiling or relinking, function, line, decision and branch coverage information is gathered. Full source code annotation is given. Information from multiple runs can be aggregated.
Abraxas Software. Measures maintainability, portability, complexity, and standards compliance of C and C++ source code
ParaSoft. C++ analysis tool
Testwell. Test harnessing tools for unit testing C and C++ code
Anticipating Minds. Create custom C# coding standards. Detects and corrects for .NET best practices.
Vidak Quality. Implements a unique patented technology aimed at measuring the control and data diversity given by a test suite for C/C++/C# and VB code. Higher control and data diversity higher the probability of problem detection. Also gives conditional coverage, as a special case of conditional diversity.
Electric Software. Memory and resource leak detection, code profiler, function call trace, and report tools for Win32 programs
http://www.parasoft.com/jsp/products/ho ... /index.htm
Parasoft. Runtime error detection tool for C and C++
LDRA. Static and code coverage analysis tool for C/C++, C#, Ada83, Ada95, Java, Visual Basic, Cobol, Coral66, Fortran, Pascal, PL/Mx86, PL/1, Algol and Intel, Motorola, Texas Instruments and PowerPC Assemblers. Static analysis features include code visualization, programming standards enforcement and complexity metrics. Code coverage is available for different coverage levels including MC/DC level A for D0-178B standard, regression testing and availability on any host/target environment.
DMS. Quality tool used for finding memory leaks. No recompile or relink is required! Application code and 3rd party code can be checked. Innovative Leak Pinpointing gives both the allocation stack and the spot of the leak
Telelogic. Source code analysis tools
Knowledge Software. Checks applications, written in C for conformance to company coding standards, International standards, and conformance to the C standard
McCabe Software. Using McCabe IQ, you will identify, objectively measure, and report on the complexity and quality of your code at the application and enterprise level. McCabe IQ's robust and easy to understand test coverage solution shows you what has been tested, how thoroughly, and if the code has been tested after changes have been made.
PolySpace Detects run-time errors and non-deterministic constructs in applications at compilation time. The Suite is available for ANSI C, C++ and Ada 83/95.
ism. Code analyzer that predicts defects in C, C++, Java or C# source code, based on proven industry standards.
Coverity. Static source cod analysis tool to automate the detection of catastrophic software defects at compile time. Developed at Stanford University, Coverity's technology is used at nearly 80 companies to ensure that code is secure and high quality.
Rational Software. Run-time error and memory leak detector
Testwell. Test harnessing tool for unit testing Ada code
Software Research. TCAT C/C++ is a fully automated tool for static analysis and code coverage at the unit, sub-system, system and integration testing levels. With TCAT C/C++ available testing efforts can focus on untested code, rather than generating redundant tests. The resulting data is displayed in coverage reports, color-annotated call-trees and digraphs with capabilities of viewing the source code. Using recursive descent compiler technology, TCAT C/C++ produces many reports from which you can access current, past and cumulative test results.
Testwell. Test coverage and execution profiling tool for Ada code
Semantic Designs. Family of test coverage tools for a wide variety of languages (C, C++, C#, COBOL, Java, more...). Very low probe overhed. Independent of compiler. Useful for application and embedded contexts. Graphical display of coverage over source code; text and XML summaries.