HEATKEYS

Automated embedded software testing for Ada, c+ c. Unit testing and regression perfect for safety critical applications. Get free trial, download specs today.

For Java code security and quality, Parasoft Java Quality Solution provides a fully-integrated suite that automates static code analysis (data flow, rules, metrics), peer code review, and automated unit/component testing.

CrossTest offers a fully integrated platform for automated testing of C and C++ code that accelerates product cycles and yields higher levels of software quality. With CrossTest, agile development teams can rely on a single easy-to-use platform for g...

Cosmic Software is a leading provider of development tools and services for designing microcontroller-based applications. Cosmic Software currently supports microcontroller families from Freescale, Infineon, Motorola, STMicroelectronics and Melexis. ...

GrammaTech develops source-code analysis tools for C, C++, and Ada. GrammaTech CodeSonar identifies complex bugs at compile time.

Test Measurement World

Static source code analysis, static analysis using software quality products to find critical software defects in system architecture & source code programming. Static source code analysis, static analysis using Software Quality products from Cov...