Embedded Software Testing and Code Verification

Jay Abraham, MathWorks
Steve Barriault, Vector Software

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

Product Focus

  • Polyspace Bug Finder

Recorded: 17 Aug 2010