视频与网上研讨会

Embedded Software Testing and Code Verification

注册并观看视频

This webinar will introduce new embedded software verification techniques that help create high quality code. Using testing and code verification solutions from Vector Software and MathWorks, learn how you can attain your software quality objectives. Through technical demonstrations attendees will see how they can:

  • Test and verify C/C++ and Ada
  • Improve the quality and reliability of software
  • Streamline and automate certification of code to DO-178B
  • Prove that certain types of defects can never occur in your code

主題包括

  • Polyspace Bug Finder

录制的: 2010年8月17日