Polyspace / la Verifica del配置C / c++

义大利1/3

---

买南工作流Polyspace

Obiettivo:Acquisire familiarita con Polyspace错误发现者e Polyspace代码验证e analizzare联合国esempio introduttivo。

• 工作流di verifica德尔自由配置
• Esecuzione di联合国'analisi错误发现者
• Esecuzione di una verifica di代码验证
• Analisi e di risoluzione problemi软件

Analisi con Polyspace错误发现者

Obiettivo:Analizzare il配置切potrebbe非essere各单体紧密相联的ANSI C标准,valutare l 'ambiente di运行时e correggere difetti e violazioni delle regole di codifica utilizzando Polyspace错误发现者。

• Creazione di联合国progetto Polyspace
• Artefatti diffusi戴尔'ambiente di运行时
• Gestione del配置specifico / il processore
• Impostazione delle informazioni戴尔'hardware目标
• Analisi一些difetti Polyspace错误发现者
• 德拉Analisi delle violazioni regola MISRA C
• Misurazione delle metriche德尔自由配置
• Progetti di modello

Analisi一些risultati Polyspace代码验证

Obiettivo:Acquisire padronanza内尔'interpretazione一些risultati ottenuti con Polyspace代码验证。

• 买黄化'interpretazione astratta
• Analisi delle chiamate ricorsive
• sorgente group Navigazione nel自由配置
• Interpretazione一些risultati Polyspace代码验证
• sorgente group Visualizzazione戴尔'uso delle variabili globali nel自由配置

控制/ la verifica德尔自由配置

Obiettivo:Trovare errori di运行时utilizzando gli strumenti di diagnostica disponibili Polyspace代码验证。

• 买隋控制del sorgente group配置C
• 运行时控制degli errori di di Polyspace代码验证
• 每拉verifica Opzioni disponibili

义大利2/3

---

Gestione delle verifiche e一些risultati Polyspace代码验证

Obiettivo:Gestire我risultati di verifica格瓦拉contengono大人物quantita di控制非verificati。

• 工作流di verifica di代码验证
• 德拉Controllo sequenza di esecuzione del programma
• 运行时arancioni Prioritizzazione ai控制degli errori di

德拉Aumento precisione内尔verifiche con Polyspace代码验证

Obiettivo:Scoprire Polyspace代码来验证tratta il配置mancante杜兰特拉verifica e来influenzare questo comportamento每generare verifiche更有意义的。

• Verifica di robustezza e Verifica contestuale
• stub automatico
• 一些达缇女士Specificazione del范围
• Esecuzione manuale dello存根

Analisi戴尔'integrazione con Polyspace访问

Obiettivo:德拉Scopri gestire我risultati verifica con complessita crescente del配置utilizzando Polyspace访问™e来interpretare e confrontare l 'analisi integrata con l 'analisi di robustezza。

• 工作流successivi所有'invio con Polyspace访问
• Verifica contestuale
• Rilevamento一些difetti di integrazione e degli errori di运行时

Analisi delle applicazioni

Obiettivo:Ripassare le过程e le opzioni utili所以nella verifica delle applicazioni完成。

• Problemi del软件applicativo
• Analisi一些problemi di accesso simultanei艾蒂
• Sostituzione di funzioni di assemblaggio o硬件
• Gestione del配置di terze Polyspace合适的婚姻对象
• 德拉Creazione documentazione

义大利3/3

---

Laboratorio pratico (opzionale)

Obiettivo:Dedicare del节奏al ripasso di cio切si e imparato e所有'utilizzo di Polyspace direttamente nel proprio progetto。Elenco一些potenziali argomenti:

• 控制con Polyspace错误发现者
• c++ Verifica德尔自由配置
• Analisi delle attivita e一些condivisi达蒂
• Verifica del配置与否
• Ripasso del processo di sviluppo
• Integrazione del工作流
• Installazione del客户机/服务器软件
• di Polyspace / il自由配置del progetto
• Interpretazione一些risultati

Appendice F: Analisi戴尔'integrazione con Polyspace桌面

Obiettivo:Scoprire来gestire le verifiche反对自由配置di complessita crescente e来interpretare e confrontare l 'analisi integrata con l 'analisi di robustezza。

• Verifica contestuale
• Creazione di服务模
• Rilevamento一些difetti di integrazione e degli errori di运行时