Advanced Static Analysis
Detect reliability, security and coding-standard violations.
Comprehensive Test Automation for C/C++ Software
Parasoft C/C++test
A unified testing solution for embedded, safety- and security-critical C/C++ software, combining static analysis, unit testing, code coverage, requirements traceability and compliance reporting.
AnalysisStatic code analysis
TestingUnit / component
CoverageStatement to MC/DC
ComplianceSafety & security
Capabilities
Core Capabilities
Capabilities and terminology aligned to the current partner portfolio and target application.
Unit Testing
Create and execute unit/component tests with stubs and supported host/target workflows.
Structural Code Coverage
Collect statement, branch, condition, call and MC/DC coverage according to workflow.
Requirements Traceability
Connect tests and results to requirements.
Target & Runtime Analysis
Extend verification into supported target and runtime workflows.
Compliance Reporting
Generate verification and standards-oriented reports.
Standards & Compliance
Standards and Regulatory Context
Relevant standards, coding guidelines and assurance frameworks for the technology and its application areas.
MISRA C/C++
AUTOSAR C++14
CERT C/C++
CWE
ISO 26262
ISO/SAE 21434
IEC 61508
IEC 62304
DO-178C
EN 50716
Industries
Industry Applications
Industry connections are included where the technology addresses a defined engineering, verification or product-security requirement.
Integrations & Deployment
Toolchain and Deployment
Connect the technology with the existing engineering environment, lifecycle tools, CI/CD platform and target architecture.
Toolchains
ARM, GCC, Green Hills, IAR, TASKING, Keil, Renesas and many others
IDEs
Eclipse, Visual Studio and supported editor integrations
CI/CD
Command-line and automated pipeline execution
Reporting
Parasoft DTP