supported technology: C/C++

Software Analytics Platform

Read More

Static analysis of C/C++ code

Read More

The Coco code coverage tool is a complete, cross-platform, cross-compiler tool chain allowing to analyze the test coverage of C,…

Read More

Embedded Unit is unit testing framework for Embedded C System. It’s design was copied from JUnit and CUnit and more,…

Read More

BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e.…

Read More

QtUnit is a unit testing framework for c++, originally based on CppUnit 1.5 written by Michael Feathers. All code has been…

Read More

Testwell CTC++ is a Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool…

Read More

UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages.…

Read More

LDRAcover is a stand-alone code coverage tool that doesn’t require investment in a complete tool chain. LDRAcover addresses the rigorous…

Read More

C++ unit test framework, allowing you to write tests with minimal effort. Scales to large projects with thousands of tests.…

Read More