supported technology: C/C++
testomatio.io
Test Management System 𝘁𝗲𝘀𝘁𝗼𝗺𝗮𝘁.𝗶𝗼 is an all-in-one solution for your automated and manual tests. This testing tool allows managing BA,…
- Rating
- Views
- 1214
theft
theft is a C library for property-based testing. Rather than checking the results with specific input, properties are asserted (“for…
- Rating
- Views
- 2422
MIN
MIN is an advanced unit/integration test framework for Linux/Maemo based devices. MIN can be integrated with standard toolchain in Linux…
- Rating
- Views
- 2440
CPAchecker
CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV’07 paper…
- Rating
- Views
- 2597
Static Analyzer
The goal is to enforce uniform coding habits among software personnel in the engineering department so that reading, checking and…
- Rating
- Views
- 2293
Gcov
gcov is a test coverage program. Use it in concert with GCC to analyze your programs to help create more efficient,…
- Rating
- Views
- 2915
- Rating
- Views
- 2720
QualityGate
QualityGate measures and manages the maintainability of your source code.
- Rating
- Views
- 2236
CU
CU is simple unit testing framework for handling automated tests in C. CU provides a simple interface for defining unit…
- Rating
- Views
- 3674
- Rating
- Views
- 2617