Polyspace / la Verifica del配置C / c++
Dettagli一些柯西
Questo corso pratico德拉durata di由于giorni illustra l 'utilizzo di Polyspace代码验证™/ verificare correttezza德尔自由配置,migliorare le metriche苏拉qualita del软件e assicurare l 'integrita del产品。Questo corso e pensato每gli ingegneri格瓦拉sviluppano软件o modelli mirati sistemi嵌入式。Il terzo义大利e opzionale ed e disponibile独奏/ le sessioni di formazione现场。
Elenco degli argomenti:
- Creazione di联合国progetto di verifica
- Visualizzazione e comprensione一些risultati di verifica
- Emulazione degli ambienti di esecuzione目标
- Gestione di funzioni e mancanti达蒂
- Gestione di配置非testato (contrassegnato木豆也arancione nei装饰Polyspace®)
- Applicazione delle regole MISRA-C®
- Documentazione一些risultati戴尔'analisi
义大利1
买南工作流Polyspace
Obiettivo:Acquisire familiarita con Polyspace错误发现者e Polyspace代码验证e analizzare联合国esempio introduttivo。
- 工作流/ lo sviluppo con Polyspace di软件
- 单纯的esempio di verifica
- Analisi一些difetti e degli errori di运行时
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错误发现者。
- Artefatti diffusi戴尔'ambiente di运行时
- Gestione del配置specifico / il processore
- Definizione del contesto di esecuzione
- Impostazione delle informazioni戴尔'hardware目标
- Analisi e gestione一些difetti di Polyspace错误发现者
- Individuazione delle violazioni delle regole di codifica
- Misurazione delle metriche德尔自由配置
Analisi一些risultati Polyspace代码验证
Obiettivo:Acquisire padronanza内尔'interpretazione一些risultati ottenuti con Polyspace代码验证。
- 买黄化'interpretazione astratta
- Analisi del调用树
- sorgente group Navigazione德尔自由配置
- Percorsi di esecuzione
- 范围delle variabili
- Variabili globali
控制/ la verifica德尔自由配置
Obiettivo:Trovare errori di运行时utilizzando gli strumenti di diagnostica disponibili Polyspace代码验证。
- 买隋控制del sorgente group配置C
- sorgente group Localizzazione一些控制nel自由配置
- 描写一些控制
- 每拉verifica Opzioni disponibili
义大利2
Gestione delle verifiche e一些risultati Polyspace代码验证
Obiettivo:Gestire我risultati di verifica格瓦拉contengono大人物quantita di控制非verificati。
- Definizione del costo di una verifica
- Esecuzione di una revisione快速的
- 在arancione Esecuzione di una revisione selettiva一些控制
- 德拉Impostazione precisione德拉verifica
- 在arancione Priorita ai控制
- 在arancione Revisione一些控制
德拉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 di funzioni
- 一些达缇女士Specificazione del范围
- Esecuzione manuale dello存根
Analisi戴尔'integrazione
Obiettivo:Scoprire来gestire le verifiche反对自由配置di complessita crescente e来interpretare e confrontare l 'analisi integrata con l 'analisi di robustezza。
- Gestione一些模德尔自由配置
- Analisi一些difetti delle integrazioni e delle violazioni delle regole con Polyspace错误发现者e Polyspace代码验证
- Importazione一些commenti
Analisi delle applicazioni
Obiettivo:Ripassare le过程e le opzioni utili所以nella verifica delle applicazioni完成。
- 德拉Configurazione verifica di联合国'applicazione
- 德拉Miglioramento一些risultati verifica di联合国'applicazione
- Rilevamento一些problemi di simultaneita
- Confronto交易verifica di robustezza e contestuale
- 德拉Creazione documentazione
义大利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
Livello:Intermedio
Prerequisiti:
- Conoscenza avanzata di C o C + +
Durata:2 giorni
Lingue:英语,日本語,한국어,中文
