VectorCAST
VectorCAST is a comprehensive test-automation suite designed to streamline unit, integration, and system testing across the embedded software development lifecycle. It automates test case generation and execution for C, C++, and Ada applications, supports host, target, and continuous-integration environments, and offers structural code coverage metrics to help validate safety- and mission-critical systems. It integrates with simulation workflows such as software-in-the-loop and processor-in-the-loop, links to model-based engineering tools like Simulink/Embedded Coder, supports white-box testing features like dynamic instrumentation, fault injection, and test harness generation, and can combine static-analysis results (e.g., from Polyspace) with dynamic test coverage for full-lifecycle verification. Key capabilities include linking requirements to tests, managing and reporting coverage across configurations.
Learn more
RKTracer
RKTracer is a code-coverage and test-analysis tool that enables teams to assess the quality and completeness of their testing across unit, integration, functional, and system-level testing, without altering a single line of application code or build workflow. It supports instrumentation across host machines, simulators, emulators, embedded devices, and servers, and covers a broad array of programming languages, including C, C++, CUDA, C#, Java, Kotlin, JavaScript/TypeScript, Golang, Python, and Swift. It provides detailed coverage metrics such as function, statement, branch/decision, condition, MC/DC, and multi-condition coverage, and even supports delta-coverage reports to show which newly added or modified portions of code are already covered. Integration is seamless; simply prefix your build or test command with “rktracer”, run your tests, then generate HTML or XML reports (for CI/CD systems or dashboards like SonarQube).
Learn more
Parasoft dotTEST
Save time and money by finding and fixing defects earlier. Reduce the effort and cost of delivering high-quality software by preventing more complicated and expensive problems down the line. Ensure your C# or VB.NET code complies with a wide range of safety and security industry standards, including the requirement traceability mandated and the documentation required to verify compliance. Parasoft's C# testing tool, Parasoft dotTEST, automates a broad range of software quality practices for your C# and VB.NET development activities. Deep code analysis uncovers reliability and security issues. Code coverage, requirements traceability, and automated compliance reporting helps achieve compliance for security standards and safety-critical industries.
Learn more
BullseyeCoverage
BullseyeCoverage is an advanced C++ code coverage tool used to improve the quality of software in vital systems such as enterprise applications, industrial control, medical, automotive, communications, aerospace and defense. The function coverage metric gives you a quick overview of testing completeness and indicates areas with no coverage at all. Use this metric to broadly raise coverage across all areas of your project. Condition/decision coverage provides detail at the control structure level. Use this metric to attain high coverage in specific areas, for example during unit testing. C/D coverage provides better detail than statement coverage or branch coverage, and provides much better productivity than more complex coverage metrics.
Learn more