Judy ZemanQA Manager at Carrier Global Corp.
We asked business professionals to review the solutions they use. Here are some excerpts of what they said:
"There is a cost involved to doing it, but once you get over the initial cost, then you'll start reaping the benefits and seeing that testing is getting done more quickly and efficiently. We are still early on with it, but the expectation and what we're seeing is that we will start seeing some savings coming out on the back-end once we have this done."
"The price is in line with everyone else's in the market. They are not cheaper nor more expensive than anyone else who was in our RFP."
"The initial investment is probably a little high. It was a little hard for me to sell, but it was a one-shot deal and that's why it's so high. All we are doing now is paying annual maintenance, which we don't have to do if we don't want upgrades, but we do."
"Purchasing and licensing are okay. Go for the perpetual licenses. In that way, you own a license, then you can purchase maintenance and support on top of that, so you don't have to pay every year for it. Even if you don't want it a contract with Worksoft Certify in the future, you will have your own license of it. Then, if your usage is not that much, you can have one or two perpetual licenses. However, if you want to run your processes, you will need more licenses, e.g., using the run-only licenses. They are really cheap compared to the full licensing."
"They do have a confusing licensing structure."
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.
Parasoft SOAtest is ranked 16th in Functional Testing Tools with 1 review while Polyspace Code Prover is ranked 24th in Application Security. Parasoft SOAtest is rated 9.0, while Polyspace Code Prover is rated 0.0. The top reviewer of Parasoft SOAtest writes "Creates tests automatically based on recorded traffic". On the other hand, Parasoft SOAtest is most compared with SonarQube, Postman, SoapUI Pro, Coverity and Micro Focus UFT One, whereas Polyspace Code Prover is most compared with Coverity, SonarQube, Klocwork, Checkmarx and HCL AppScan.
See our list of .
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.