Improving the Quality of Embedded Software

Anmelden, um das Video zu sehen

Jay Abraham, MathWorks

Testing alone cannot prove the absence of defects in critical embedded software. In this webinar we discuss the application of new tools and techniques that can be applied to improve robustness of critical systems. See how software engineers and quality managers can measurably improve the quality of code during the software development lifecycle process.

Through technical demonstrations learn how to:

  • Identify faulty software
  • Improve the quality and reliability of software
  • Prove that certain types of software defects will never occur in the code
  • Ensure that quality objectives are met along software development lifecycle

About the Presenter: Jay Abraham’s expertise is in software tools for the verification of critical embedded applications. He has over 20 years software and hardware design experience.

Die Arbeitsweise der folgenden Werkzeuge wird gezeigt

  • Polyspace Code Prover
  • Polyspace Bug Finder

Aufgezeichnet: 17 Nov 2010