Parasoft SOAtest vs Polyspace Code Prover comparison

The compared Parasoft and MathWorks solutions aren't in the same category. Parasoft is ranked #21 in FT , with an average rating of 7.0, and holds a 0.8% mindshare in the category. MathWorks is ranked #18 in AS , with an average rating of 7.8, and holds a 1.1% mindshare. Additionally, 92% of Parasoft users are willing to recommend the solution, compared to 83% of MathWorks users who would recommend it.

Parasoft SOAtest

Read 30 Parasoft SOAtest reviews

567 Views
357 Comparison Views

92% willing to recommend

Polyspace Code Prover

Read 6 Polyspace Code Prover reviews

1,609 Views
1,026 Comparison Views

83% willing to recommend

Parasoft SOAtest

Polyspace Code Prover

Comparison Buyer's Guide

Download the report

Executive Summary

We performed a comparison between Parasoft SOAtest and Polyspace Code Prover based on real PeerSpot user reviews.

Find out what your peers are saying about Tricentis, OpenText, BrowserStack and others in Functional Testing Tools.

To learn more, read our detailed Functional Testing Tools Report (Updated: January 2025).

Buyer's Guide

Functional Testing Tools

January 2025

Download the complete report

Helped 838,640 peers since 2012

Review summaries and opinions

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:

Categories and Ranking

Parasoft SOAtest

Average Rating

8.2

Reviews Sentiment

7.1

Number of Reviews

Ranking in other categories

Static Application Security Testing (SAST) (31st), Functional Testing Tools (21st), API Testing Tools (9th), Test Automation Tools (23rd)

Polyspace Code Prover

Average Rating

7.8

Reviews Sentiment

8.8

Number of Reviews

Ranking in other categories

Application Security Tools (18th)

Mindshare comparison

Parasoft SOAtest and Polyspace Code Prover aren’t in the same category and serve different purposes. Parasoft SOAtest is designed for Functional Testing Tools and holds a mindshare of 0.8%, up 0.7% compared to last year.
Polyspace Code Prover, on the other hand, focuses on Application Security Tools, holds 1.1% mindshare, up 0.7% since last year.

Functional Testing Tools

Application Security Tools

Featured Reviews

Ujjwal Gupta

Project Lead at Mphasis

Easy to use and understand with multiple types of testing on offer

It is very easy to understand. We can do a lot with it. Since this is a commercial tool, we can have more functionality in place. It covers more things like ADI and APIs, et cetera. Everything is in one place, right there, so you don't need to go anywhere. With one single tool, you have everything you need. You can even test the UI as well. The initial setup is very easy. There is nice functionality under the Service Virtualization feature. The solution is stable. Technical support is helpful. This product easily scales. Parasoft actually provides very extensive coverage. For example, in SAP applications, we have various EDIs, and integrated development. That also is supported by Parasoft. In the market, we don't have many of the tools there to test those things. It's nice to be able to with this product.

Read full review

Aman Singla

Senior Engineer at a manufacturing company with 10,001+ employees

Easy to setup with reliable outputs and good reliability

It is easy to set up the solution. We can actually modify it using script also. It's pretty easy to link it with our in-house toolchain with the Polyspace configuration settings. If we have small amounts of data, it's quick and you can set it up within ten to 15 minutes. However, depending on the size of the data and the variables, it could take a while since you have to provide a range for all variables. If you have, for example, 500 variables, you'll be configuring a lot. However, the input extremes can be fed using an Excel file or some other format.

Read full review

Quotes from Members

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:

Pros

"Generating new messages, based on the existing .EDN and .XML messages, is a crucial part or the testing project that I’m currently in."

"We do a lot of web services testing and REST services testing. That is the focus of this product."

"Every imaginable source in the entire world of information technology can be accessed and used."

"We can automate our scenarios in a data driven format, which shows there is no rework on scripts. We only need to update the test data and run for a number of scenarios."

"Since the solution has both command line and automation options, it generates good reports."

"Technical support is helpful."

"We have seen a return on investment."

"Parasoft SOAtest has improved the quality of our automated web services, which can be easily implemented through service chaining and service virtualization."

More Parasoft SOAtest pros

"When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts, and null pointer dereferences."

"Polyspace Code Prover is a very user-friendly tool."

"The outputs are very reliable."

"Polyspace Code Prover has made me realize it differs from other static code analysis tools because it runs the code. So it's quite distinct in that aspect."

"The product detects memory corruptions."

Cons

"The summary reports could be improved."

"The feedback that we received from the DevOps of our organization was that the tool was a little heavy from the transformation perspective."

"During the process of working with SOAtest and building test cases, the .TST files will grow. A negative side effect is that saving your changes takes more time."

"Reporting facilities can be better."

"The performance could be a bit better."

"From an automation point of view, it should have better clarity and be more user friendly."

"The product is very slow to start up, and that is a bit of a problem, actually."

"UI testing should be more in-depth."

More Parasoft SOAtest cons

"Automation could be a challenge."

"I'd like the data to be taken from any format."

"One of the main disadvantages is the time it takes to initiate the first run."

"The tool has some stability issues."

"Using Code Prover on large applications crashes sometimes."

Pricing and Cost Advice

"We are completed satisfied with Parasoft SOAtest. The ROI is more than 95%."

"From what I understand, Parasoft SOAtest isn't the cheapest option. But it has a lot to offer."

"The cost of Parasoft seems to have gotten higher with a projection that wasn't really stipulated for our company. They've done a tremendous job at negotiating those deals."

"The price is around $5,000 USD."

"They do have a confusing licensing structure."

"It is an expensive product, so think carefully about whether it fits your purposes and is the right tool for you."

"I think it would be a great step to decrease the price of the licenses."

"The license price is a little expensive, but it provides a better outcome in terms of the end-to-end automation process."

"We use the paid version."

See which vendors are best for you

Use our free recommendation engine to learn which Functional Testing Tools solutions are best for your needs.

See recommendations

838,640 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Financial Services Firm

25%

Manufacturing Company

18%

Computer Software Company

11%

University

Manufacturing Company

38%

Computer Software Company

12%

Transportation Company

Government

Company Size

By reviewers

Large Enterprise

Midsize Enterprise

Small Business

No data available

Questions from the Community

What do you like most about Parasoft SOAtest?

Since the solution has both command line and automation options, it generates good reports.

See all answers

What is your experience regarding pricing and costs for Parasoft SOAtest?

The price is average. It isn't overly expensive.

See all answers

What needs improvement with Parasoft SOAtest?

Tuning the tool takes time because it gives quite a long list of warnings. Going through that is a challenge. It only happens in the initial stage when we are setting up the tool, but it can be imp...

See all answers

What do you like most about Polyspace Code Prover?

When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts,...

See all answers

What is your experience regarding pricing and costs for Polyspace Code Prover?

We use the paid version.

See all answers

What needs improvement with Polyspace Code Prover?

I'm still trying to use constraints with range propagation, but I can't get it to work properly, and I haven't found any documentation. It require support. There could be an issue with range propag...

See all answers

Comparisons

Postman vs Parasoft SOAtest

Compared 23% of the time

SonarQube Server (formerly SonarQube) vs Parasoft SOAtest

Compared 21% of the time

Coverity vs Parasoft SOAtest

Compared 13% of the time

ReadyAPI vs Parasoft SOAtest

Compared 8% of the time

Tricentis Tosca vs Parasoft SOAtest

Compared 7% of the time

More Parasoft SOAtest Competitors

Coverity vs Polyspace Code Prover

Compared 29% of the time

SonarQube Server (formerly SonarQube) vs Polyspace Code Prover

Compared 28% of the time

Klocwork vs Polyspace Code Prover

Compared 18% of the time

CodeSonar vs Polyspace Code Prover

Compared 9% of the time

Veracode vs Polyspace Code Prover

Compared 3% of the time

More Polyspace Code Prover Competitors

Product Reports

Buyer's Guide

Parasoft SOAtest

February 2025

Download Parasoft SOAtest product report

Buyer's Guide

Polyspace Code Prover

February 2025

Download Polyspace Code Prover product report

Also Known As

SOAtest

No data available

Overview

Parasoft SOAtest delivers fully integrated API and web service testing capabilities that automate end-to-end functional API testing. Streamline automated testing with advanced codeless test creation for applications with multiple interfaces (REST & SOAP APIs, microservices, databases, and more).

SOAtest reduces the risk of security breaches and performance outages by transforming functional testing artifacts into security and load equivalents. Such reuse, along with continuous monitoring of APIs for change, allows faster and more efficient testing.

Parasoft

Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases. Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior. You can use it on handwritten code, generated code, or a combination of the two. Each operation is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven.

MathWorks

Sample Customers

Charter Communications, Sabre, Caesars Entertainment, Charles Schwab, ING, Intel, Northbridge Financial, Capital Services, WoodmenLife

Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center

Buyer's Guide

Functional Testing Tools

January 2025

Download Free Report

Find out what your peers are saying about Tricentis, OpenText, BrowserStack and others in Functional Testing Tools. Updated: January 2025.

DOWNLOAD NOW

838,640 professionals have used our research since 2012.

We monitor all Functional Testing Tools reviews to prevent fraudulent reviews and keep review quality high. We do not post reviews by company employees or direct competitors. We validate each review for authenticity via cross-reference with LinkedIn, and personal follow-up with the reviewer when necessary.