Average Ratings 126 Ratings
Average Ratings 0 Ratings
Description
Parasoft's mission is to provide automated testing solutions and expertise that empower organizations to expedite delivery of safe and reliable software.
A powerful unified C and C++ test automation solution for static analysis, unit testing and structural code coverage, Parasoft C/C++test helps satisfy compliance with industry functional safety and security requirements for embedded software systems.
Description
Polyspace Code Prover serves as a static analysis tool aimed at ensuring that critical runtime errors are absent in C and C++ code without the need for execution. By employing formal methods, it examines every code path and possible input scenario to detect issues such as overflows, division by zero, and out-of-bounds accesses. The tool offers valuable insights into the ranges of variables and highlights unreachable code, which aids developers in enhancing software performance and maintaining quality. Additionally, Polyspace Code Prover adheres to safety standards including IEC 61508, ISO 26262, and DO-178C, making it an excellent choice for industries that demand strict software certification. Its comprehensive analysis capabilities enable teams to deliver reliable and robust software solutions.
API Access
Has API
API Access
Has API
Integrations
C
C++
SonarQube Server
Android
Apache Tomcat
Appium
BMC Compuware File-AID
Confluent
CucumberStudio
Docker
Integrations
C
C++
SonarQube Server
Android
Apache Tomcat
Appium
BMC Compuware File-AID
Confluent
CucumberStudio
Docker
Pricing Details
$125/user/mo
Free Trial
Free Version
Pricing Details
No price information available.
Free Trial
Free Version
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Vendor Details
Company Name
Parasoft
Founded
1987
Country
United States
Website
www.parasoft.com/products/parasoft-c-ctest/
Vendor Details
Company Name
MathWorks
Founded
1984
Country
United States
Website
www.mathworks.com/products/polyspace-code-prover.html
Product Features
API Testing
Functional Testing
Fuzz Testing
Load Testing
Penetration Testing
Runtime and Error Detection
Security Testing
UI Testing
Validation Testing
Automated Testing
Hierarchical View
Move & Copy
Parameterized Testing
Requirements-Based Testing
Security Testing
Supports Parallel Execution
Test Script Reviews
Unicode Compliance
Functional Testing
Automated Testing
Interface Testing
Regression Testing
Reporting / Analytics
Sanity Testing
Smoke Testing
System Testing
Unit Testing
Load Testing
API Load Testing
Database Load Testing
Load Test Performance Reporting
Mail Load Testing
Multilocation Load Testing
Multiple Protocol Support
Test Script Customization
Web Application Testing
Performance Testing
API Testing
Benchmarking
Cross Browser Testing
Debugging
Historical Reporting
Load Testing
Mobile Testing
Parallel Testing
Regression Testing
UI Testing
Web Testing
Software Testing
Automated Testing
Black-Box Testing
Dynamic Testing
Issue Tracking
Manual Testing
Quality Assurance Planning
Reporting / Analytics
Static Testing
Test Case Management
Variable Testing Methods
White-Box Testing
Static Application Security Testing (SAST)
Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management
Product Features
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management