supported technology: C/C++

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

Continuous Code Quality

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

BMOCK is a C++ library supporting Mock Objects. Lets you create mocks for C functions and member functions – including constructors and…

Read More