AdaControl
Rule-based static analysis tool for Ada source code
Parasoft C/C++test
C and C++ static analysis and unit testing tool
Tool overview
Parasoft C/C++test is a testing tool for C and C++. It performs static analysis against coding standards such as MISRA, AUTOSAR C++14 and CERT, unit and integration testing, and code coverage, with support for embedded targets.
It is used for safety-critical software certified to standards such as ISO 26262 and DO-178C. It is a commercial product.
Useful links
Official website
Screenshots & video
Community reviews
Login to Write Your ReviewThere are no reviews yet.
Source & attribution
Original contributor
Jean-Baptiste CROUIGNEAU
Original listing URL
External references
https://www.parasoft.com/products/parasoft-c-ctest/
NUnit
Unit testing framework for all .NET languages
cfix
xUnit unit testing framework for C/C++ on Windows, including kernel mode
FindBugs
Static analysis tool finding bugs in Java bytecode (succeeded by SpotBugs)
depunit
Java testing framework where unit tests depend on each other
Quilt
Java code coverage tool for JUnit