ConceptBase is a multi-user deductive and object-oriented database system for metamodeling and method engineering. The system includes a graphical client that builds upon the logic-based features of the ConceptBase server. The data model is O-Telos. ConceptBase is distributed under a FreeBSD-style copyright license.
Conformiq Qtronic generates tests automatically from system models. Tests are generated by deriving useful inputs and the expected outputs by mathematical methods using the system model as source. The tests can be deployed and executed in many different ways, based on open plug-in APIs for test deployment.
Analyze source code for defects with Coverity Prevent to find and eliminate the root-cause of product delays or costly product recalls. Expose security flaws early in the lifecycle so security audit teams don’t slow you down with rework, and help the rest of your team improve the quality of their code early in the application lifecycle. Coverity supports C/C++/Java and C#.
COVTOOL is an open source test coverage analyzer for C++ programs. It lets you dynamically instrument your source code as you compile. An instrumented program keeps track of the lines of code that were executed during its run and produces a log of the same upon program termination. Multiple program runs will produce multiple logs.
Large C++ programs with multiple authors tend to decay and become hard to maintain as the source-base evolves, unless project structure is controlled by strictly enforcing a modular architecture. The goal of this project is to alleviate this problem by providing tools to analyse the architecture of a C++ program and aid in improving its modularity.
CppChecker is a smart and fast checker for C/C++ Files. It uses the outputs generated by gcc, PC-Lint or doxygen and generates markers. The markers are intuitively set, so that in most cases the marker corresponds to the location where the actual error or warning appears. Also a resolution is added - is it is known from JDT - in cases a solution was implemented or exists
CppClean attempts to find problems in C++ source that slow development particularly in large code bases. It is similar to lint; however, CppClean focuses on finding global inter-module problems rather than local problems similar to other static analysis tools.
CppSpec is a behavior driven development (BDD) framework for C++. BDD is a refinement of TDD which turns the focus from writing the tests to the process of defining the behavior of the software using tests.