Parasoft C/C++ Quality Solution provides a fully-integrated suite for automating a broad range of
best practices proven to improve software development team productivity and software quality.
| Embedded target-based test execution flow | Supports testing on both host or simulator and target hardware. Automates the complete target-based test execution flow, including test case generation, cross-compilation, deployment, execution, and loading results back into the GUI |
| Static code analysis | Facilitates regulatory compliance (FDA, JSF, MISRA, etc.). Ensures that the code meets uniform expectations around security, reliability, performance, and maintainability. Eliminates entire classes of programming errors by establishing preventive coding conventions. |
| Data flow static analysis | Detects complex runtime errors without requiring test cases or application execution. Defects detected include using uninitialized or invalid memory, null pointer dereferencing, array and buffer overflows, division by zero, memory and resource leaks, and dead code. |
| Metrics analysis | Identifies complex code, which is more error-prone and difficult to maintain. |
| Peer code review process automation | Automates and manages the peer code review workflow–including preparation, notification, and tracking–and reduces overhead by enabling remote code review on the desktop. |
| Unit test generation and execution | Enables the team to start verifying reliability and functionality before the complete system is ready, reducing the length and cost of downstream processes such as debugging. |
| Memory error detection | Identifies difficult-to-find errors that could cause the application to behave erratically or crash. |
| Automated regression testing | Generates and executes regression test cases to detect if incremental code changes break existing functionality or impact application behavior. |
| Coverage analysis | Assesses test suite efficacy and completeness using a multi-metric test coverage analyzer, including statement, branch, path, and MC/DC coverage. This helps demonstrate compliance with test and validation requirements, such as DO-178B and FDA. |
| Team deployment and workflow | Establishes a sustainable process that ensures software verification tasks are ingrained into the team's existing workflow and automated so team members can focus on tasks that truly require human intelligence. |
| Error assignment and distribution | Facilitates error review and correction. Each issue detected is prioritized, assigned to the developer who wrote the related code, and distributed to his or her IDE with direct links to the problematic code. |
| Centralized reporting | Ensures real-time visibility into quality status and processes. This helps managers assess and document trends, as well as determine if additional actions are needed for regulatory compliance. |
