supported technology: C/C++

CU is simple unit testing framework for handling automated tests in C. CU provides a simple interface for defining unit…

Read More

CUnit is a lightweight system for writing, administering, and running unit tests in C.  It provides C programmers a basic testing…

Read More

CUnitWin32 is a unit testing framework for C/C++ for Microsoft Windows

Read More

Static code analysis finds defects and security vulnerabilities in source code without executing the code. Also known as Static Application…

Read More

DynamoRIO is a runtime code manipulation system that supports code transformations on any part of a program, while it executes.…

Read More

Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++…

Read More

SmartTester automates the creation of unit and component test harnesses, test stubs and test drivers. Inunit testing, SmartTester stubs all…

Read More

Parasoft Development Testing Platform (DTP) enables Continuous Testing. Leveraging policies, DTP consistently applies software quality practices across teams and throughout…

Read More

The fully integrated standalone wiki and acceptance testing framework

Read More

FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling…

Read More