Инструментальная панель

Панель Dashboard обеспечивает статистику по результатам анализа в графическом формате.

Когда вы открываете файл результатов в Polyspace®, эта панель отображена по умолчанию. Можно просмотреть следующие графики:

  •  Код покрыт анализом

  •  Дефектное распределение ударом

  •  Дефектное распределение по категориям или файл

  •  Кодирование нарушений правила по правилу или файлу

Можно также выполнить следующие действия с этой панелью:

  • Выберите элементы на графиках, чтобы отфильтровать результаты панели Results List. Смотрите Результаты Фильтра и Группы.

  • Просмотрите настройку, используемую, чтобы получить результат. Выберите ссылку Configuration.

  • Просмотрите моделирование многозадачной настройки вашего кода. Выберите ссылку Concurrency modeling.