ビデオ

  • Prove the absence of run-time errors in software using Polyspace Code Prover ™ .
  • Identify software defects via static analysis using Polyspace Bug Finder ™ .
  • Prove the existence and absence of critical run-time errors in source code with static analysis that is based on formal methods.
  • Verify embedded software, both at model and code level, to identify errors earlier in the development cycle. In complex systems, handwritten and auto generated code will be integrated together and...
  • Learn how to use Polyspace products in the first step of your embedded software development workflow. You can enforce coding rules with Polyspace Bug Finder™ early in the coding process from within...
  • Learn how to use Polyspace products in the second step of your embedded software development workflow. You can detect bugs as early as in the coding phase and fix them within your IDE with the help...
  • Learn how to use Polyspace products in the third step of your software development workflow. Reduce the amount of necessary testing by verifying the absence of runtime errors. This saves costs and...
  • Use the ToolTip feature in Polyspace Client™ for C/C++ to get information about data ranges, and use data flow graphs to see a visual representation of the data dictionary and control flow.
  • Explore how to use Polyspace ® to comply with security standards and detect a variety of critical software defects and security vulnerabilities.
  • Use the Polyspace ® plug-in for Eclipse™ to ease your workflow during the setup and launching phase.
  • Use the Polyspace ® plug-in for Microsoft ® Visual Studio ® to ease your workflow during the setup and launching phase.
  • Quickly create a project using Polyspace Bug Finder™ to find defects, and then import the project into Polyspace Code Prover™ to perform detailed code verification.
  • Document your Polyspace ® results using Polyspace Bug Finder™ and Polyspace Code Prover™ report generation capabilities. Default templates help standardize your workflow, while the web dashboard...
  • Set up a Polyspace ® project automatically from your build configuration using the Polyspace configure feature.
  • Hear about the benefits of applying MATLAB ® , Simulink ® , and code generation and verification design flows for reducing development time and finding and eliminating problems earlier and faster.
  • Hear why Ford chose to replace their current static analysis tool with Polyspace ® products, the advantages Polyspace products provided over other tools, and how they deployed the tool to a large and...
  • The automotive standard AUTOSAR provides a standardized basis for ECU software development consisting of a layered software architecture with over 80 software modules and libraries accompanied by an...
  • Explore how Solar Impulse uses Polyspace ® static analysis to ensure the software in their solar plane complies with DO 178B.