Jay Abraham, MathWorks
Do you need evidence that your code will not cause safety hazards or security issues? Polyspace® products allow you to achieve the highest levels of software quality with reduced testing effort. Using formal methods-based static code analysis, Polyspace can prove that your code is free from certain critical run-time errors. The analysis can be done interactively by software developers during code development to quickly find coding defects and violations of safety and security standards like MISRA® and CERT C/C++. When used with continuous integration tools such as Jenkins™, Polyspace helps improve software quality, safety, and security across your projects. Results are published for web browser-based code review with tracing information to identify the root cause of defects. Polyspace supports modern team collaboration dashboards to show quality metrics for project and safety managers. Integration with defect tracking tools, such as Jira, help manage issues across your development enterprise.
Recorded: 23 Apr 2019
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.