Setting Up a Verification Project

---

• Creating a Project

• Specifying Options to Match Your Quality Goals

• Setting Up Project to Check Coding Rules

• Setting up Project to Automatically Test Orange Code (C Only)

• Setting Up Project to Generate Metrics

• Configuring Polyspace Project Using Visual Studio Project Information

Sample Workflows for Polyspace Verification

Creating a Project

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS