Test Tools
From Static Analysis to Unit Testing, "In One Solution"
Detect software defects early in the development stage.
Automate compliance verification for major standards including MISRA, ISO 26262, and AUTOSAR.
Detect software defects early in the development stage. Automate compliance verification for major standards including MISRA, ISO 26262, and AUTOSAR.
Why You Need This
Facing These Challenges
in SW Quality Assurance?
Are many defects found in the testing phase, resulting in high correction costs?
Defects found late in development increase correction costs by more than 10x. Static analysis finds defects at the coding stage, saving significant cost and time.
Is coding rule compliance verification for MISRA, ISO 26262, etc. taking too much time?
Manually verifying thousands of coding rules is difficult. Without automated tools, standards compliance evidence is also difficult.
Are you using different tools for static analysis, unit testing, and coverage analysis?
Configuring environments separately for each tool and managing results separately is inefficient. Integrated solutions enable consistent quality management.
Product Introduction
Parasoft C/C++test
Parasoft C/C++test provides static analysis, unit testing, coverage analysis, and runtime analysis in one solution.
It provides an intuitive workflow so developers can focus on code quality.
Integrated Testing Solution
Static analysis, unit testing, integration testing, and coverage analysis performed on one platform. Work in a consistent environment without separate tool integration.
Industry-Leading Standards Support
Supports various industry standards including MISRA, AUTOSAR, CERT, ISO 26262, DO-178B/C, and IEC 61508. Standards compliance reports are automatically generated.
CI/CD Integration
Integrates with CI/CD tools like Jenkins and Azure DevOps. Continuous quality verification can be automated.
TUV Certified
Tool Qualification completed up to ISO 26262 ASIL D for direct application to functional safety projects.
Key Functions
Static Analysis
(Static Analysis)
Most Comprehensive Static Code Analysis
- Pattern-based analysis: Coding rule violation detection
- Data flow analysis: Variable usage error detection
- Abstract interpretation: Runtime error prediction
- Code metrics: Complexity, duplication measurement
Supported Coding Standards
| Standard | Description |
|---|---|
| MISRA C/C++ | Automotive industry standard coding rules |
| AUTOSAR C++14 | AUTOSAR coding guidelines |
| CERT C/C++ | Security coding standards |
| CWE | Common Weakness Enumeration |
Unit & Integration Testing
Complete Testing Framework
- Test case auto-generation support
- Built-in Stub and Mock framework
- Cross-platform test execution
- IDE integration (Eclipse, VS Code, etc.)
Test Efficiency
- Quick test writing with test generation wizard
- Automatic detection and execution of existing tests
- Test execution on both host and target
Coverage & Traceability
Multi-Metric Coverage Analysis
- Statement Coverage
- Branch Coverage
- MC/DC Coverage
- Function Coverage
Requirements Traceability
- Requirements-test case linking
- Coverage results and requirements mapping
- Traceability report auto-generation
Runtime Analysis
Runtime Error Detection
- Memory Leak
- Null pointer dereference
- Buffer overflow
- Uninitialized memory usage
Host and Target Environment Support
- Test execution on host PC
- Test execution on actual embedded target
Security Testing
Security Vulnerability Detection
- CERT C/C++ security coding rule verification
- CWE vulnerability detection
- DISA-ASD-STIG compliance verification
- OWASP guideline application
Supported Standards
Functional Safety Standards
| Standard | Application | Parasoft Support |
|---|---|---|
| ISO 26262 | Automotive | ASIL A~D full support, TUV Certified |
| DO-178B/C | Aerospace | Level A~E support |
| IEC 61508 | Industrial Automation | SIL 1~4 support |
| IEC 62304 | Medical Devices | Class A~C support |
| EN 50128 | Railway | SIL 1~4 support |
Security Standards
| Standard | Description | Parasoft Support |
|---|---|---|
| CERT C/C++ | Security Coding Guidelines | Full support |
| CWE | Common Weakness Enumeration | CWE Compatible Certified |
| UL 2900 | IoT Security | Vulnerability detection support |
Expected Benefits
Practical Benefits
- Early Defect Discovery
- Find defects at the coding stage, not the testing stage. Late-discovered defects increase correction costs exponentially. Static analysis is the most effective way to reduce those costs.
- Standards Compliance Automation
- Manually verifying thousands of MISRA rules is impossible. Verify with automated tools and automatically generate assessment reports.
- Integrated Environment Efficiency
- Static analysis, unit testing, and coverage analysis performed on one platform. Reduce inefficiency of configuring separate environments and managing results separately for each tool.
- Quality Verification as Routine
- CI/CD integration automatically verifies quality with every build. Quality verification becomes part of development, not a special activity.
Implementation Support
SeonENS, as a Parasoft certified partner, provides the following services:
- Implementation Consulting : Establish implementation strategy suited to your environment
- Installation and Setup : Installation and initial configuration matched to development environment
- Training : User training and utilization guide
SW Quality - Secure It with Automated Tools
SW Quality
- Secure It with Automated Tools
Secure quality from early development with Parasoft C/C++test.
Through implementation consulting, we’ll guide you on utilization methods suited to your environment.
Secure quality from early development with Parasoft C/C++test. Through implementation consulting, we’ll guide you on utilization methods suited to your environment.